共 50 条
- [41] PARALLEL POLYGON RENDERING FOR MESSAGE-PASSING ARCHITECTURES IEEE PARALLEL & DISTRIBUTED TECHNOLOGY, 1994, 2 (02): : 17 - 28
- [42] FastMPJ: a scalable and efficient Java message-passing library Cluster Computing, 2014, 17 : 1031 - 1050
- [44] Race analysis of traces of asynchronous message-passing programs PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1997, : 261 - 268
- [45] A Framework for Proving Correctness of Adjoint Message-Passing Programs RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2008, 5205 : 316 - +
- [46] Analyzing message-passing programs through visual slicing ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, 2005, : 341 - 346
- [47] Detecting unaffected race conditions in message-passing programs RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2004, 3241 : 268 - 276
- [48] Static Single Assignment Form for Message-Passing Programs International Journal of Parallel Programming, 2001, 29 : 139 - 184
- [49] Deadlock prevention in incremental replay of message-passing programs HIGH-PERFORMANCE COMPUTING AND NETWORKING, PROCEEDINGS, 1999, 1593 : 593 - 602
- [50] Verifying Message-Passing Programs with Dependent Behavioural Types PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 502 - 516