首页> 外文OA文献 >Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions

【2h】

Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions

机译：通过聚合分布式事务验证缓存一致性协议

页面导航

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

著录项

作者
S. Park; D. L. Dill;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Deadlock Verification of Cache Coherence Protocols and Communication Fabrics [J] . IEEE Transactions on Computers . 2017,第2期

机译：缓存一致性协议和通信结构的死锁验证
2. Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols [J] . Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Formal Methods in System Design . 2010,第1期

机译：正式验证分层缓存一致性协议安全属性的有效方法
3. A CASE STUDY ON THE VERIFICATION OF CACHE COHERENCE PROTOCOLS [J] . M. Azizi, X. Song, E.-M. Aboulhamid International Journal of Computers & Applications . 2004,第1期

机译：CACHE相干协议验证的案例研究
4. Verification of FLASH cache coherence protocol by aggregation of distributed transactions [C] . Seungjoon Park, David L. Dill Annual ACM symposium on Parallel algorithms and architectures;ACM symposium on Parallel algorithms and architectures . 1996

机译：通过聚合分布式事务来验证FLASH缓存一致性协议
5. Allocation Policy Analysis for Cache Coherence Protocols for STT-MRAM-based caches [D] . Nandkar, Pushkar Shridhar 2014

机译：基于STT-MRAM的缓存的缓存一致性协议的分配策略分析
6. DCS: Distributed Caching Strategy at the Edge of Vehicular Sensor Networks in Information-Centric Networking [O] . Yahui Meng, Muhammad Ali Naeem, Rashid Ali, 2019

机译：DCS：以信息为中心的网络中的车辆传感器网络边缘的分布式缓存策略
7. Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions [O] . Seungjoon Park, David L. Dill 1996

机译：通过分布式事务的聚合验证FLasH缓存一致性协议
8. Controle de Coherence en Systemes Transactionnels. Tome 2. Protocole de Controle de Coherence dans UN Sgbd Reparti (Coherence Control in Transactional Systems. Volume 2. Coherence Control Protocol in a Distributed Data Base Manage [R] . Lugern, J. 1986

机译：Controle de Coherence en systemes Transactionnels。 Tome 2. protocole de Controle de Coherence dans UN sgbd Reparti（交互系统中的一致性控制。第2卷。分布式数据库管理中的一致性控制协议

Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions

著录项

引文网络

相似文献

相关主题

期刊订阅