首页> 外文OA文献 >Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

【2h】

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

机译：分布式共享内存一致性协议的建模和模型检查

页面导航

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

著录项

作者
Kathi Fisler; Claude Girault;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Scalability Analysis of Memory Consistency Models in NoC-Based Distributed Shared Memory SoCs [J] . Naeem A., Jantsch A., Lu Z. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2013,第5期

机译：基于NoC的分布式共享内存SoC中内存一致性模型的可伸缩性分析
2. Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols [J] . Radu Mateescu, Wendelin Serwe Science of Computer Programming . 2013,第7期

机译：在共享内存互斥协议中说明了使用CADP进行模型检查和性能评估
3. Verifying sequential consistency on shared-memory multiprocessors by model checking [J] . Qadeer S. IEEE Transactions on Parallel and Distributed Systems . 2003,第8期

机译：通过模型检查来验证共享内存多处理器上的顺序一致性
4. Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking [C] . Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan Computer Aided Verification . 2002

机译：针对弱内存模型的共享内存一致性协议验证：通过模型检查进行细化
5. Model checking sequential consistency and parameterized protocols. [D] . Bingham, Jesse. 2005

机译：模型检查顺序一致性和参数化协议。
6. Vascular system modeling in parallel environment - distributed and shared memory approaches [O] . Krzysztof Jurczuk, Marek Kretowski, Johanne Bezy-Wendling -1

机译：并行环境中的血管系统建模 - 分布式和共享内存方法
7. Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking [O] . Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan 2002

机译：针对弱内存模型的共享内存一致性协议验证：通过模型检查进行细化

Modelling and Model Checking a Distributed Shared Memory Consistency Protocol

著录项

引文网络

相似文献

相关主题

期刊订阅