共 50 条
- [3] Changing Library Operations [J]. CHARLESTON CONFERENCE PROCEEDINGS 2014: THE IMPORTANCE OF BEING EARNEST, 2014, : 252 - 259
- [7] Verification of halting properties for MPI programs using nonblocking operations [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2007, 4757 : 326 - +