共 50 条
- [15] On-chip Data Security against Untrustworthy Software and Hardware IPs in Embedded Systems 2018 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2018, : 644 - 649
- [16] Mechanized Verification of Efficient Iterative Data-flow Algorithm Ruan Jian Xue Bao/Journal of Software, 2022, 33 (06): : 2115 - 2126
- [17] SCHEDULING SYNCHRONOUS DATA-FLOW GRAPHS FOR EFFICIENT LOOPING JOURNAL OF VLSI SIGNAL PROCESSING, 1993, 6 (03): : 271 - 288
- [18] Delay and energy efficient data transmission for on-chip buses IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, 2006, : 355 - +
- [19] Efficient Data Streaming with On-chip Accelerators: Opportunities and Challenges 2011 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE (HPCA), 2011, : 312 - 320
- [20] Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2023, 2023, 13881 : 177 - 202