机译:PARCOACH:结合MPI集体通信的静态和动态验证
CEA, DAM, DIF, F-91297 Arpajon, France;
CEA, DAM, DIF, Arpajon, France;
Bordeaux Institute of Technology, LaBRI/INRIA, Bordeaux, France;
MPI; Debugging; collective; static analysis; correctness;
机译:多线程上下文中MPI集合通信的静态/动态验证
机译:MPI中可识别GPU的集体通信的设计注意事项
机译:多核/多核平台上的内核辅助和拓扑感知的MPI集合通信
机译:静态MPI非阻塞和持久通信验证的Parcoach扩展
机译:通过具有灵活的节点间通信和不平衡意识的分层算法来加速MPI集体通信。
机译:组合的静态-动态单剂量成像方案可将定量动态SPECT与静态常规SPECT进行比较
机译:PARCOACH:结合MPI集体通信的静态和动态验证
机译:具有中心开口并结合面内双轴静载和声激励的铝合金板的静动态响应