共 50 条
- [31] Multi-objective design strategy for high-level low power design of DSP systems ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1: VLSI, 1999, : 80 - 83
- [33] Automatic Parallelism through Macro Dataflow in High-level Array Languages PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT'14), 2014, : 489 - 490
- [34] SIMD Parallel Execution on GPU from High-Level Dataflow Synthesis 2021 IEEE 14TH INTERNATIONAL SYMPOSIUM ON EMBEDDED MULTICORE/MANY-CORE SYSTEMS-ON-CHIP (MCSOC 2021), 2021, : 62 - 68
- [36] Operation net system: A formal design representation model for high-level synthesis of asynchronous systems based on transformations APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 435 - 453
- [37] High-Level Synthesis of Dynamic Dataflow Programs on heterogeneous MPSoC platforms PROCEEDINGS OF 2016 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING AND SIMULATION (SAMOS), 2016, : 227 - 234
- [38] System safety through automatic high-level code transformations: an experimental evaluation DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 297 - 301
- [39] An approach to high-level synthesis system validation using formally verified transformations IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 80 - 85