首页> 美国政府科技报告 >Efficient Verification of Periodic Programs Using Sequential Consistency and Snapshots.

【24h】

Efficient Verification of Periodic Programs Using Sequential Consistency and Snapshots.

机译：使用顺序一致性和快照有效验证周期性程序。

获取原文

页面导航

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

摘要

No abstract available

著录项

作者
Chaki, S.; Gurfinkel, A.; Sinha, N.;
展开▼
作者单位

展开▼
年度 2014
页码 1-24
总页数 24
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
SOFTWARE ENGINEERING; VERIFICATION; BRIEFING CHARTS; SNAPSHOT;

机译：软件工程;验证;简要图表;快照;

相似文献

外文文献
中文文献
专利

1. Efficient Verification of Sequential and Concurrent C Programs [J] . S.CHAKI, E. CLARKE, A. GROCE, Formal Methods in System Design . 2004,第2a3期

机译：顺序和并行C程序的有效验证
2. Dynamic Verification of Sequential Consistency [J] . Albert Meixner, Daniel J. Sorin Computer architecture news . 2005,第2期

机译：顺序一致性的动态验证
3. Verifying sequential consistency on shared-memory multiprocessors by model checking [J] . Qadeer S. IEEE Transactions on Parallel and Distributed Systems . 2003,第8期

机译：通过模型检查来验证共享内存多处理器上的顺序一致性
4. Efficient verification of periodic programs using sequential consistency and snapshots [C] . Chaki Sagar, Gurfinkel Arie, Sinha Nishant Conference on Formal Methods in Computer-Aided Design . 2014

机译：使用顺序一致性和快照高效地验证定期程序
5. Energy efficient memory speculation with memory latency tolerance supporting sequential consistency without a coherence protocol [D] . Munday, David Alexander 2013

机译：具有存储器延迟等待时间的高能效存储器推测，无需序列协议即可支持顺序一致性
6. PROPOSAL FOR A SIMPLE AND EFFICIENT MONTHLY QUALITY MANAGEMENT PROGRAM ASSESSING THE CONSISTENCY OF ROBOTIC IMAGE-GUIDED SMALL ANIMAL RADIATION SYSTEMS [O] . N. Patrik Brodin, Chandan Guha, Wolfgang A. Tomé -1

机译：评估机器人图像引导的小型动物辐射系统一致性的简单有效的每月质量管理计划的提案
7. Sequential Convex Programming for the Efficient Verification of Parametric MDPs [O] . Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, 2017

机译：序贯凸规划的有效验证参数化mDp

Efficient Verification of Periodic Programs Using Sequential Consistency and Snapshots.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅