Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker

Computers & Electrical Engineering ◽

10.1016/j.compeleceng.2021.107482 ◽

2021 ◽

pp. 107482

Author(s):

Anant Saraswat ◽

Kumar Abhishek ◽

Muhammad Rukunuddin Ghalib ◽

Achyut Shankar ◽

Mamoun Alazab ◽

...

Keyword(s):

Energy Efficient ◽

Cache Coherence ◽

Model Checker ◽

Cache Coherence Protocol

Download Full-text

Energy-efficient cache coherence protocol for NoC-based MPSoCs

Proceedings of the 24th symposium on Integrated circuits and systems design - SBCCI '11 ◽

10.1145/2020876.2020925 ◽

2011 ◽

Author(s):

Tales Marchesan Chaves ◽

Everton Alceu Carara ◽

Fernando Gehm Moraes

Keyword(s):

Energy Efficient ◽

Cache Coherence ◽

Cache Coherence Protocol

Download Full-text

Energy-efficient MESI cache coherence with pro-active snoop filtering for multicore microprocessors

Proceeding of the thirteenth international symposium on Low power electronics and design - ISLPED '08 ◽

10.1145/1393921.1393988 ◽

2008 ◽

Author(s):

Avadh Patel ◽

Kanad Ghose

Keyword(s):

Energy Efficient ◽

Cache Coherence ◽

Multicore Microprocessors

Download Full-text

Hybrid Cache Coherence Protocol for Multi-Core Processor Architecture

International Journal of Computer Applications ◽

10.5120/12031-8060 ◽

2013 ◽

Vol 70 (14) ◽

pp. 24-29 ◽

Author(s):

Muthukumar. S ◽

Dhinakaran. K

Keyword(s):

Cache Coherence ◽

Processor Architecture ◽

Cache Coherence Protocol ◽

Hybrid Cache ◽

Multi Core Processor

Download Full-text

An efficient hybrid cache coherence protocol for shared memory multiprocessors

Proceedings of the 1996 ICPP Workshop on Challenges for Parallel Processing ◽

10.1109/icpp.1996.537158 ◽

2002 ◽

Author(s):

Yeimkuan Chang ◽

L.N. Bhuyan

Keyword(s):

Shared Memory ◽

Cache Coherence ◽

Shared Memory Multiprocessors ◽

Cache Coherence Protocol ◽

Download Full-text

Hardware Cache Coherence Protocol

International Journal of Computers and Applications ◽

10.2316/journal.202.2004.4.204-0515 ◽

2004 ◽

Vol 26 (4) ◽

Author(s):

M. Daoui ◽

M. Lalam ◽

B. Djamah ◽

A. Bilami

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocol

Download Full-text

Design of directory based cache coherence protocol verification logic in CMPs around TACA

2013 International Conference on High Performance Computing & Simulation (HPCS) ◽

10.1109/hpcsim.2013.6641433 ◽

2013 ◽

Author(s):

Mamata Dalui ◽

Biplab K Sikdar

Keyword(s):

Cache Coherence ◽

Protocol Verification ◽

Cache Coherence Protocol

Download Full-text

A novel directory based hybrid cache coherence protocol for shared memory multiprocessors

2016 IEEE International Symposium on Phased Array Systems and Technology (PAST) ◽

10.1109/array.2016.7832588 ◽

2016 ◽

Author(s):

Abu Asaduzzaman ◽

Kishore K. Chidella

Keyword(s):

Shared Memory ◽

Cache Coherence ◽

Shared Memory Multiprocessors ◽

Cache Coherence Protocol ◽

Download Full-text

A correctness proof of a cache coherence protocol

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507881 ◽

2002 ◽

Author(s):

A. Felty ◽

F. Stomp

Keyword(s):

Cache Coherence ◽

Correctness Proof ◽

Cache Coherence Protocol

Download Full-text

Self-adaptive WWW cache coherence protocol (SATTL)

2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099) ◽

10.1109/melcon.2000.880421 ◽

2002 ◽

Author(s):

V. Sruk ◽

S. Srbljic ◽

L. Budin

Keyword(s):

Cache Coherence ◽

Cache Coherence Protocol ◽

Download Full-text

Cache coherence protocol for home proxy cache on RHiNET and its preliminary performance estimation

2001 Innovative Architecture for Future Generation High-Performance Processors and Systems ◽

10.1109/iwia.2001.955197 ◽

2001 ◽

Author(s):

Nakajo ◽

Ishii ◽

Yamamoto ◽

Kudo ◽

Yokoyama ◽

...

Keyword(s):

Cache Coherence ◽

Performance Estimation ◽

Proxy Cache ◽

Cache Coherence Protocol

Download Full-text