共 50 条
- [2] Efficient high-level parallel programming [J]. THEORETICAL COMPUTER SCIENCE, 1998, 196 (1-2) : 71 - 107
- [4] Detecting High-Level Synchronization Errors in Parallel Programs [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2011, 2011, 6652 : 17 - 30
- [5] Detection of High-Level Synchronization Anomalies in Parallel Programs [J]. International Journal of Parallel Programming, 2015, 43 : 656 - 678
- [6] Extending High-Level Synthesis for Task-Parallel Programs [J]. 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 [J]. 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 [J]. SIGPLAN NOTICES, 1993, 28 (07): : 119 - 128
- [9] Daino: A High-level Framework for Parallel and Efficient AMR on GPUs [J]. 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 [J]. ANAIS DA ACADEMIA BRASILEIRA DE CIENCIAS, 1977, 49 (01): : 71 - 90