共 50 条
- [21] High-Level Stream Parallelism Abstractions with SPar Targeting GPUs PARALLEL COMPUTING: TECHNOLOGY TRENDS, 2020, 36 : 543 - 552
- [23] High-Level Abstractions for Simplifying Extended String Constraints in SMT COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 23 - 42
- [24] Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore EVOLVING OPENMP IN AN AGE OF EXTREME PARALLELISM, 2009, 5568 : 28 - +
- [25] VALID, A HIGH-LEVEL FUNCTIONAL PROGRAMMING LANGUAGE FOR DATA FLOW MACHINES REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1984, 32 (05): : 793 - 802
- [27] A HIGH-LEVEL APPROACH TO PROGRAMMING A ROBOT INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 1987, 27 (01): : 57 - 63
- [29] High-level data structures in CACSD example: Programming with graphs in Scilab PROCEEDINGS OF THE 1996 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 1996, : 424 - 429