共 50 条
- [43] Automatic High-Level Programs Mapping onto Programmable Architectures PARALLEL COMPUTING TECHNOLOGIES (PACT 2015), 2015, 9251 : 474 - 485
- [44] Synthesis of high-level requirements models for automatic test generation EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 76 - 82
- [45] Automatic High-Level Hardware Checkpoint Selection for Reconfigurable Systems 2015 IEEE 23RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM), 2015, : 155 - 158
- [46] High-level specification and automatic generation of IP interface monitors 39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 129 - 134
- [47] Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore EVOLVING OPENMP IN AN AGE OF EXTREME PARALLELISM, 2009, 5568 : 28 - +