共 50 条
- [4] Detection of High-Level Synchronization Anomalies in Parallel Programs International Journal of Parallel Programming, 2015, 43 : 656 - 678
- [5] Detecting High-Level Synchronization Errors in Parallel Programs RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 17 - 30
- [6] Extending High-Level Synthesis for Task-Parallel Programs 2021 IEEE 29TH ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES (FCCM 2021), 2021, : 204 - 213
- [7] High-level specification and efficient implementation of pipelined circuits PROCEEDINGS OF THE ASP-DAC 2001: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2001, 2001, : 655 - 661
- [8] TRANSFORMING HIGH-LEVEL DATA-PARALLEL PROGRAMS INTO VECTOR OPERATIONS SIGPLAN NOTICES, 1993, 28 (07): : 119 - 128
- [9] Daino: A High-level Framework for Parallel and Efficient AMR on GPUs SC '16: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2016, : 621 - 632
- [10] USE OF VERY HIGH-LEVEL LANGUAGES FOR DESIGN AND IMPLEMENTATION OF RELIABLE PROGRAMS ANAIS DA ACADEMIA BRASILEIRA DE CIENCIAS, 1977, 49 (01): : 71 - 90