共 50 条
- [1] Symbolic Verification of Message Passing Interface Programs 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), 2020, : 1248 - 1260
- [2] Checkpointing Message-Passing Interface (MPI) parallel programs PACIFIC RIM INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 1997, : 147 - 152
- [3] Common mechanisms for supporting fault tolerance in DSM and message passing systems Concurrent Information Processing and Computing, 2005, 195 : 175 - 183
- [5] Design, implementation and performance of fault-tolerant message passing interface (MPI) PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, 2004, : 145 - 150
- [6] Design, implementation and performance of Fault-Tolerant message passing interface (MPI) SEVENTH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND GRID IN ASIA PACIFIC REGION, PROCEEDINGS, 2004, : 120 - 129
- [7] Message analysis for concurrent programs using message passing ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (04): : 715 - 746
- [8] Analyzing nondeterminacy of message passing programs SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 547 - 549
- [9] Notes on nondeterminism in message passing programs RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2002, 2474 : 357 - 367