首页> 外文OA文献 >Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study

【2h】

Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study

机译：验证基于分布式目录的缓存一致性协议：s3.mp，案例研究

代理获取

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

页面导航

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

著录项

作者
Fong Pong; Andreas Nowatzyk; Gunes Aybay; Michel Dubois;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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相干协议验证的案例研究
2. A performance study of cache coherence protocols and write caches for parallel-multithreaded shared-memory multiprocessors [J] . Chao-Chin Wu, Cheng Chen Journal of the Chinese Institute of Engineers . 1998,第1期

机译：并行多线程共享内存多处理器的缓存一致性协议和写缓存的性能研究
3. Deadlock Verification of Cache Coherence Protocols and Communication Fabrics [J] . IEEE Transactions on Computers . 2017,第2期

机译：缓存一致性协议和通信结构的死锁验证
4. Memory Overhead for Directory-Based Cache Coherence Protocols in Multiprocessor Systems [C] . Rita Mahajan, Rupali Verma ISCA International Conference on Parallel and Distributed Computing Systems . 2005

机译：多处理器系统中基于目录的高速缓存同时协议协议的内存开销
5. Allocation Policy Analysis for Cache Coherence Protocols for STT-MRAM-based caches [D] . Nandkar, Pushkar Shridhar 2014

机译：基于STT-MRAM的缓存的缓存一致性协议的分配策略分析
6. Study protocol: precision of a protocol for manual intramuscular needle placement checked by passive stretching and relaxing of the target muscle in the lower extremity during BTX-A treatment in children with spastic cerebral palsy as verified by means of electrical stimulation [O] . Jessica Warnink-Kavelaars, Roland Jeroen Vermeulen, Jules Guilhelmus Becher 2013

机译：研究方案：通过电刺激证实的BTX-A治疗痉挛性脑瘫患儿中通过被动拉伸和放松下肢目标肌肉来检查人工肌内针放置方案的精度
7. Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions [O] . S. Park, D. L. Dill 2006

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

Verifying Distributed Directory-based Cache Coherence Protocols: S3.mp, a Case Study

著录项

引文网络

相似文献

相关主题

期刊订阅