共 50 条
- [2] Sequential debugging of parallel message passing programs CIC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMMUNICATIONS IN COMPUTING, 2000, : 55 - 61
- [3] A Type Discipline for Message Passing Parallel Programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (04):
- [4] ParFuse: Parallel and Compositional Analysis of Message Passing Programs LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2016, 2017, 10136 : 24 - 39
- [5] Collective Contracts for Message-Passing Parallel Programs COMPUTER AIDED VERIFICATION, PT II, CAV 2024, 2024, 14682 : 44 - 68
- [6] Systematic macrostep debugging of message passing parallel programs FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2000, 16 (06): : 609 - 624
- [7] Automatic differentiation for message-passing parallel programs FIRST MERGED INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, 1998, : 98 - 104
- [9] AUTOMATED SCALABILITY ANALYSIS OF MESSAGE-PASSING PARALLEL PROGRAMS IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1995, 3 (04): : 21 - 32