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

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

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

A Survey of Cache Coherence Protocols in Multiprocessors with Shared Memory

Proceedings of the International Conference on Advances in Computer Science and Electronics Engineering ◽

10.3850/978-981-07-1403-1_868 ◽

2012 ◽

Author(s):

Manoj Kumar ◽

Pooja Arora

Keyword(s):

Shared Memory ◽

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

An instructed tool for cache coherence protocols

ACM SIGCSE Bulletin ◽

10.1145/181648.181667 ◽

1994 ◽

Vol 26 (2) ◽

pp. 61-64

Author(s):

Jerónimo Nájera ◽

Luis Gómez

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols

Download Full-text

Early error detection in industrial strength cache coherence protocols using SQL

Proceedings International Parallel and Distributed Processing Symposium ◽

10.1109/ipdps.2003.1213518 ◽

2004 ◽

Cited By ~ 1

Author(s):

M. Subramaniam

Keyword(s):

Error Detection ◽

Cache Coherence ◽

Cache Coherence Protocols ◽

Coherence Protocols ◽

Early Error ◽

Industrial Strength

Download Full-text