𝔖 Bobbio Scriptorium

✦ LIBER ✦

Deriving Efficient Cache Coherence Protocols Through Refinement

✍ Scribed by Ratan Nalumasu; Ganesh Gopalakrishnan

Book ID: 110317451
Publisher: Springer
Year: 2002
Tongue: English
Weight: 124 KB
Volume: 20
Category: Article
ISSN: 0925-9856
DOI: 10.1023/a:1012916831123

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient tree cache coherence protoc

An efficient tree cache coherence protocol for distributed shared memory multiprocessors

✍ Yeimkuan Chang; Bhuyan, L.N. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 396 KB

[IEEE 2011 International Conference on P

[IEEE 2011 International Conference on Parallel Processing (ICPP) - Taipei, Taiwan (2011.09.13-2011.09.16)] 2011 International Conference on Parallel Processing - Energy-Efficient Cache Coherence Protocols in Chip-Multiprocessors for Server Consolidation

✍ Garcia-Guirado, Antonio; Fern´ndez-Pascual, Ricardo; Ros, Alberto; Garcia, Jose 📂 Article 📅 2011 🏛 IEEE ⚖ 376 KB

[IEEE 9th EUROMICRO Conference on Digita

[IEEE 9th EUROMICRO Conference on Digital System Design (DSD'06) - Cavtat, Dubrovnik, Croatia ()] 9th EUROMICRO Conference on Digital System Design (DSD'06) - Energy-Efficient Cache Coherence for Embedded Multi-Processor Systems through Application-Driven Snoop Filtering

✍ Dash, A.; Petrov, P. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 147 KB

[IEEE Comput. Soc. Press 25th Internatio

[IEEE Comput. Soc. Press 25th International Conference on Parallel Processing - Ithaca, NY, USA (12-16 Aug. 1996)] Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing - An efficient hybrid cache coherence protocol for shared memory multiprocessors

✍ Yeimkuan Chang, ; Bhuyan, L.N. 📂 Article 📅 1996 🏛 IEEE Comput. Soc. Press ⚖ 894 KB

[IEEE 2007 IEEE International High Level

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Hierarchical cache coherence protocol verification one level at a time through assume guarantee

✍ Xiaofang Chen, ; Yu Yang, ; Delisi, Michael; Ching-Tsun Chou, 📂 Article 📅 2007 🏛 IEEE ⚖ 280 KB