共 50 条
- [2] Automatic differentiation for message-passing parallel programs FIRST MERGED INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, 1998, : 98 - 104
- [3] AUTOMATED SCALABILITY ANALYSIS OF MESSAGE-PASSING PARALLEL PROGRAMS IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1995, 3 (04): : 21 - 32
- [4] Checkpointing Message-Passing Interface (MPI) parallel programs PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 1997, : 147 - 152
- [6] Structural testing criteria for message-passing parallel programs CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2008, 20 (16): : 1893 - 1916
- [7] Towards Deductive Verification of Message-Passing Parallel Programs PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, 2018, : 59 - 68