首页> 外文OA文献 >Proofs of Correctness of Cache-Coherence Protocols

【2h】

Proofs of Correctness of Cache-Coherence Protocols

机译：高速缓存一致性协议的正确性证明

页面导航

著录项
相似文献
相关主题

著录项

作者
Joseph Stoy; Xiaowei Shen; Arvind;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Correctness proof of a database replication protocol under the perspective of the I/O automaton model [J] . Jose Enrique Armendariz-Inigo Jose Ramon Gonzalez de Mendivil Jose Ramon Garitagoitia Francesc D Munoz-Escoi Acta Informatica . 2009,第4期

机译：I / O自动机模型视角下数据库复制协议的正确性证明
2. Correctness proof of a database replication protocol under the perspective of the I/O automaton model [J] . Jose Enrique Armendariz-Inigo, Jose Ramon Gonzalez de Mendivil, Jose Ramon Garitagoitia, Acta Informatica . 2009,第4期

机译：I / O自动机模型视角下数据库复制协议的正确性证明
3. Design and Correctness Proof of a Security Protocol for Mobile Banking [J] . Dalton Li, David Lin, Grace Zhao, Bell Labs technical journal . 2009,第1期

机译：移动银行安全协议的设计与正确性证明
4. Proofs of Correctness of Cache-Coherence Protocols [C] . Joseph Stoy, Xiaowei Shen, Arvind International Symposium of Formal Methods Europe, Mar 12-16, 2001, Berlin, Germany . 2001

机译：缓存一致性协议正确性的证明
5. Partially specified protocols: Towards proofs of real-world cryptographic protocols. [D] . Stegers, Till. 2010

机译：部分指定的协议：寻求真实密码协议的证明。
6. Sarcomere neutralization in inherited cardiomyopathy: small-molecule proof-of-concept to correct hyper-Ca2+-sensitive myofilaments [O] . Brian R. Thompson, Joshua Martindale, Joseph M. Metzger -1

机译：遗传性心肌病中的肌节中和：小分子概念验证可纠正对Ca2 +敏感的肌丝的纠正
7. A Little Knowledge Goes a Long Way: Knowledge-based derivations and correctness proofs for a family of protocols [O] . Joseph Y. Halpern, Lenore D. Zuck 1992

机译：小知识大有帮助：一系列协议的基于知识的推导和正确性证明
8. Correctness Proof of a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs [R] . Malekpour, M. R. 2011

机译：任意有向图自稳定分布式时钟同步协议的正确性证明

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号