共 50 条
- [22] High-level design for asynchronous logic PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 431 - 436
- [23] The Effect of Compiler Optimizations on High-Level Synthesis for FPGAs 2013 IEEE 21ST ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2013, : 89 - 96
- [24] Search-space optimizations for high-level ATPG MTV 2005: SIXTH INTERNATIONAL WORKSHOP ON MICROPRESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2006, : 84 - +
- [26] Formal verification of peephole optimizations in asynchronous circuits FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS, 2001, 69 : 219 - 234
- [27] Reconciling High-Level Optimizations and Low-Level Code in LLVM PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [28] Using high-level performance prediction in compiling for distributed systems PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL VII: SOFTWARE TECHNOLOGY TRACK, 1998, : 554 - 563
- [29] Reconciling High-Level Optimizations and Low-Level Code in LLVM PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
- [30] High-Level Task Descriptions for Industrial Robots THIRTEENTH SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (SCAI 2015), 2015, 278 : 191 - 192