Characterizing soft error vulnerability of cache coherence protocols for chip-multiprocessors

2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) ◽

10.1109/dft.2014.6962071 ◽

2014 ◽

Author(s):

Chuanlei Zheng ◽

Shuai Wang

Keyword(s):

Chip Multiprocessors ◽

Cache Coherence ◽

Soft Error ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

Architectural Implications of Cache Coherence Protocols with Network Applications on Chip MultiProcessors

Lecture Notes in Computer Science - Network and Parallel Computing ◽

10.1007/978-3-540-74784-0_40 ◽

2007 ◽

pp. 394-403

Author(s):

Kyueun Yi ◽

Jean-Luc Gaudiot

Keyword(s):

Chip Multiprocessors ◽

Cache Coherence ◽

Cache Coherence Protocols ◽

Network Applications ◽

Coherence Protocols ◽

On Chip

Download Full-text

Energy-Efficient Cache Coherence Protocols in Chip-Multiprocessors for Server Consolidation

2011 International Conference on Parallel Processing ◽

10.1109/icpp.2011.44 ◽

2011 ◽

Cited By ~ 5

Author(s):

Antonio Garcia-Guirado ◽

Ricardo Fern´ndez-Pascual ◽

Alberto Ros ◽

Jose M. Garcia

Keyword(s):

Energy Efficient ◽

Chip Multiprocessors ◽

Cache Coherence ◽

Server Consolidation ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

Designing Predictable Cache Coherence Protocols for Multi-Core Real-Time Systems

IEEE Transactions on Computers ◽

10.1109/tc.2020.3037747 ◽

2020 ◽

pp. 1-1

Author(s):

Anirudh Mohan Kaushik ◽

Mohamed Hassan ◽

Hiren Patel

Keyword(s):

Real Time ◽

Cache Coherence ◽

Real Time Systems ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

Time Systems

Download Full-text

Integrating cache coherence protocols for heterogeneous multiprocessor systems. 1

IEEE Micro ◽

10.1109/mm.2004.33 ◽

2004 ◽

Vol 24 (4) ◽

pp. 33-41 ◽

Cited By ~ 9

Author(s):

T. Suh ◽

H.-H.S. Lee ◽

D.M. Blough

Keyword(s):

Cache Coherence ◽

Multiprocessor Systems ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

Heterogeneous Multiprocessor

Download Full-text

ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-319-24953-7_15 ◽

2015 ◽

pp. 207-213 ◽

Cited By ~ 1

Author(s):

Yongjian Li ◽

Jun Pang ◽

Yi Lv ◽

Dongrui Fan ◽

Shen Cao ◽

...

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

Exact and Efficient Verification of Parameterized Cache Coherence Protocols

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/978-3-540-39724-3_22 ◽

2003 ◽

pp. 247-262 ◽

Cited By ~ 43

Author(s):

E. Allen Emerson ◽

Vineet Kahlon

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

Efficient Verification

Download Full-text

A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11486-1_16 ◽

2010 ◽

pp. 185-192 ◽

Cited By ~ 6

Author(s):

Andrei V. Klimov

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

A systematic methodology to develop resilient cache coherence protocols

Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-44 '11 ◽

10.1145/2155620.2155627 ◽

2011 ◽

Cited By ~ 7

Author(s):

Konstantinos Aisopos ◽

Li-Shiuan Peh

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

Systematic Methodology

Download Full-text

A Method for Fast Evaluation of Sharing Set Management Strategies in Cache Coherence Protocols

Architecture of Computing Systems - ARCS 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-54999-6_9 ◽

2017 ◽

pp. 111-123 ◽

Cited By ~ 1

Author(s):

Julie Dumas ◽

Eric Guthmuller ◽

César Fuguet Tortolero ◽

Frédéric Pétrot

Keyword(s):

Cache Coherence ◽

Management Strategies ◽

Fast Evaluation ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

Concerning with On-Chip Network Features to Improve Cache Coherence Protocols for CMPs

Advances in Computer Systems Architecture - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74309-5_29 ◽

2007 ◽

pp. 304-314

Author(s):

Hongbo Zeng ◽

Kun Huang ◽

Ming Wu ◽

Weiwu Hu

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

On Chip

Download Full-text