共 50 条
- [3] Message Passing on Data-Parallel Architectures 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 918 - +
- [4] Static Provenance Verification for Message Passing Programs STATIC ANALYSIS, SAS 2013, 2013, 7935 : 366 - 387
- [5] Sequential debugging of parallel message passing programs CIC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN COMPUTING, 2000, : 55 - 61
- [6] A Type Discipline for Message Passing Parallel Programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (04):
- [8] PARALLEL POLYGON RENDERING FOR MESSAGE-PASSING ARCHITECTURES IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1994, 2 (02): : 17 - 28
- [9] Scheduling with communication delays and data routing in message passing architectures PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 438 - 451
- [10] ParFuse: Parallel and Compositional Analysis of Message Passing Programs LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2016, 2017, 10136 : 24 - 39