共 50 条
- [21] AutoMine: Harmonizing High-Level Abstraction and High Performance for Graph Mining PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19), 2019, : 509 - 523
- [22] System-level veri cation on high-level synthesis of dataflow graph 2006 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, PROCEEDINGS, 2006, : 807 - +
- [23] SynDFG: Synthetic Dataflow Graph Generator for High-level Synthesis PROCEEDINGS OF THE SIXTH ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN ASQED 2015, 2015, : 50 - 55
- [24] Control and data flow graph extraction for high-level synthesis VLSI 2004: IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS, 2004, : 187 - 192
- [25] A graph-based framework for High-level test synthesis WORLD CONGRESS ON ENGINEERING 2007, VOLS 1 AND 2, 2007, : 486 - +
- [26] Graph Structuring of Skeleton Object for Its High-Level Exploitation IMAGE ANALYSIS AND RECOGNITION (ICIAR 2015), 2015, 9164 : 419 - 426
- [28] Constraints and application conditions: From graphs to high-level structures GRAPH TRANSFORMATIONS, PROCEEDINGS, 2004, 3256 : 287 - 303
- [29] High-Level Abstractions for Simplifying Extended String Constraints in SMT COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 23 - 42