共 50 条
- [33] The Message-Passing Interface and Parallel SAT-Solvers PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND DISTRIBUTED SYSTEMS (ICFNDS '17), 2017,
- [34] 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
- [35] Structural testing criteria for message-passing parallel programs CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2008, 20 (16): : 1893 - 1916
- [36] Fault-injection-based testing of fault-tolerant algorithms in message-passing parallel computers TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, 1997, : 258 - 267
- [38] Near Data Computation for Message-passing Chip-multiprocessors PROCEEDINGS OF 2016 IEEE 18TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS; IEEE 14TH INTERNATIONAL CONFERENCE ON SMART CITY; IEEE 2ND INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS), 2016, : 703 - 710
- [40] SCMP: A single-chip message-passing parallel computer JOURNAL OF SUPERCOMPUTING, 2004, 30 (02): : 133 - 149