共 50 条
- [21] Checkpointing Message-Passing Interface (MPI) parallel programs PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 1997, : 147 - 152
- [22] 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
- [23] Structural testing criteria for message-passing parallel programs CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2008, 20 (16): : 1893 - 1916
- [24] Trace-based simulation of message passing parallel programs PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 2437 - 2443
- [25] Benchmark evaluation of the message-passing overhead on modern parallel architectures PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 411 - 418
- [28] Communication-Sensitive Static Dataflow for Parallel Message Passing Applications CGO 2009: INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, PROCEEDINGS, 2009, : 1 - 12
- [29] A performance analysis tool for performance debugging of message passing parallel programs 2004 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS, 2004, : 546 - 554
- [30] OPTIMAL TRACING AND REPLAY FOR DEBUGGING MESSAGE-PASSING PARALLEL PROGRAMS JOURNAL OF SUPERCOMPUTING, 1995, 8 (04): : 371 - 388