共 44 条
- [3] ACCTEST: Hybrid Testing Techniques for MPI-Based Programs [J]. IEEE ACCESS, 2020, 8 (08): : 91488 - 91500
- [4] Automatic formal verification of MPI-based parallel programs [J]. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 2011, : 309 - 310
- [5] A Database Middleware Architecture for MPI-based Cloud Platform [J]. PROCEEDINGS OF THIRTEENTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, (DCABES 2014), 2014, : 107 - 110
- [6] Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2024, 79 (02): : 3139 - 3173
- [7] An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications [J]. EURO-PAR 2012 PARALLEL PROCESSING, 2012, 7484 : 729 - 740
- [9] Scalable Performance Analysis of ExaScale MPI Programs through Signature-Based Clustering Algorithms [J]. PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON SUPERCOMPUTING, (ICS'14), 2014, : 155 - 164
- [10] INAM: Cross-stack Profiling and Analysis of Communication in MPI-based Applications [J]. PRACTICE AND EXPERIENCE IN ADVANCED RESEARCH COMPUTING 2021, PEARC 2021, 2021,