A Framework for Proving Correctness of Adjoint Message-Passing Programs

机译：证明伴随消息传递程序正确性的框架

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：我们提出了一种证明伴随消息传递程序正确性的技术，该程序依赖于分区全局地址空间中的数据依赖性。作为示例，我们讨论使用MPI的异步无缓冲发送/接收。

著录项

来源
《Recent Advances in Parallel Virtual Machine and Message Passing Interface》|2008年|P.316-321|共6页
会议地点 Dublin(IE)
作者
Uwe Naumann; Laurent Hascoeet; Chris Hill; Paul Hovland; Jan Riehme; Jean Utke;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类分布式操作系统、并行式操作系统;
关键词

相似文献

外文文献
中文文献
专利

1. Adjoint-based predictor-corrector sequential convex programming for parametric nonlinear optimization [J] . Dinh Q.T., Savorgnan C., Diehl M. SIAM Journal on Optimization: A Publication of the Society for Industrial and Applied Mathematics . 2012,第4期

机译：用于参数非线性优化的基于伴随的预测器-校正器顺序凸规划
2. Proving Correctness of Graph Programs Relative to Recursively Nested Conditions [J] . Nils Erik Flick Electronic Communications of the EASST . 2016,第10期

机译：证明相对于递归嵌套条件的图程序的正确性
3. Proving Concurrent Constraint Programming Correct, Revisited [J] . Carlos Olarte, Elaine Pimentel Electronic Notes in Theoretical Computer Science . 2015,第7期

机译：重新验证并发约束编程
4. A Framework for Proving Correctness of Adjoint Message-Passing Programs [C] . Uwe Naumann, Laurent Hascoeet, Chris Hill, Europen PVM/MPI Users' Group Meeting . 2008

机译：用于证明伴随消息传递程序的正确性的框架
5. Automatic techniques for proving correctness of heap-manipulating programs. [D] . Qiu, Xiaokang. 2013

机译：证明堆操作程序正确性的自动技术。
6. Constantly Proving The Opposite? A test of CPTO using a broad time horizon and correcting for discounting [O] . Arthur E. Attema, Werner B. F. Brouwer -1

机译：不断证明对立？使用广泛的时间范围并进行折价校正的CPTO测试
7. A framework for proving correctness of adjoint message-passing programs [O] . Naumann, Uwe, Hasco??t, Laurent, Hill, Chris, 2008

机译：用于证明伴随消息传递程序正确性的框架

A Framework for Proving Correctness of Adjoint Message-Passing Programs

摘要

著录项

相似文献

相关主题

期刊订阅