共 50 条
- [22] The Message-Passing Interface and Parallel SAT-Solvers [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND DISTRIBUTED SYSTEMS (ICFNDS '17), 2017,
- [23] Structural testing criteria for message-passing parallel programs [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2008, 20 (16): : 1893 - 1916
- [24] Towards Deductive Verification of Message-Passing Parallel Programs [J]. PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, 2018, : 59 - 68
- [27] SCMP: A single-chip message-passing parallel computer [J]. JOURNAL OF SUPERCOMPUTING, 2004, 30 (02): : 133 - 149
- [29] SCMP: A Single-Chip Message-Passing Parallel Computer [J]. The Journal of Supercomputing, 2004, 30 : 133 - 149
- [30] Benchmark evaluation of the message-passing overhead on modern parallel architectures [J]. PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 411 - 418