共 50 条
- [1] Systematic macrostep debugging of message passing parallel programs [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2000, 16 (06): : 609 - 624
- [2] A performance analysis tool for performance debugging of message passing parallel programs [J]. 2004 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS, 2004, : 546 - 554
- [3] OPTIMAL TRACING AND REPLAY FOR DEBUGGING MESSAGE-PASSING PARALLEL PROGRAMS [J]. JOURNAL OF SUPERCOMPUTING, 1995, 8 (04): : 371 - 388
- [4] Debugging message passing programs using invisible message tags [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 1997, 1332 : 295 - 302
- [5] Trace-driven debugging of message passing programs [J]. FIRST MERGED INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, 1998, : 753 - 762
- [7] Detection of first races for debugging message-passing programs [J]. 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 2008, : 261 - 266
- [8] Causal-Consistent Replay Debugging for Message Passing Programs [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 167 - 184
- [9] A Type Discipline for Message Passing Parallel Programs [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (04):