Checking Parameterized Promela Models of Cache Coherence Protocols

机译：检查Cache Cocherence协议的参数化PROMELA模型

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
V.S. Burenkov; A.S. Kamkin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction [J] . Yang Guo, Wanxia Qu, Long Zhang, Journal of supercomputing . 2012,第2期

机译：通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
2. Model Checking Data Consistency for Cache Coherence Protocols [J] . Hong Pan, Hui-Min Lin, Yi Lv Journal of Computer Science & Technology . 2006,第5期

机译：缓存一致性协议的模型检查数据一致性
3. Model Checking Data Consistency for Cache Coherence Protocols [J] . Hong Pan, Hui-Min Lin, Yi Lv 计算机科学技术学报（英文版） . 2006,第005期

机译：缓存一致性协议的模型检查数据一致性
4. Applying parameterized model checking to real-life cache coherence protocols [C] . Vladimir Burenkov, Alexander Kamkin IEEE East-West Design Test Symposium . 2016

机译：将参数化模型检查应用于实际的高速缓存一致性协议
5. Model checking sequential consistency and parameterized protocols. [D] . Bingham, Jesse. 2005

机译：模型检查顺序一致性和参数化协议。
6. Parameterized model checking of rendezvous systems [O] . Benjamin Aminof, Tomer Kotek, Sasha Rubin, -1

机译：交会系统的参数化模型检查
7. Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols [O] . E. Allen Emerson, Vineet Kahlon 2003

机译：史努比缓存一致性协议的快速参数化模型检查
8. Model Checking Cache Coherence Protocols for Distributed File Systems [R] . Vaziri-Farahani, M. 1995

机译：模型检查分布式文件系统的缓存一致性协议

Checking Parameterized Promela Models of Cache Coherence Protocols

著录项

引文网络

相似文献

相关主题

期刊订阅