Recent Advances in Parallel Virtual Machine and Message Passing Interface - 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
Recent Advances in Parallel Virtual Machine and Message Passing Interface - 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings
复制标题
并行虚拟机和消息传递接口的最新进展 - 第 15 届欧洲 PVM/MPI 用户组会议，爱尔兰都柏林，2008 年 9 月 7-10 日。
DOI：
10.1007/978-3-540-87475-1_44
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Naumann U
中科院分区：
文献类型：
--
作者：
Naumann U
我们提出了一种技术，用于证明伴随消息传递程序的正确性，依赖于数据依赖于分区的全局地址空间。作为一个例子，我们讨论异步无缓冲发送/接收使用MPI。
We propose a technique for proving correctness of adjoint message passing programs that relies on data dependences in partitioned global address space. As an example we discuss asynchronous unbuffered send/receive using MPI.