An evaluation of hardware-based and compiler-controlled optimizations of snooping cache protocols

By Dahlgren F.   Skeppstedt J.   Stenstrom P.  

Future Generation Computer Systems, Vol. 13, Iss. 6, 1998-05 ,pp. : 469-487

Elsevier

Access to resources Recommend Favorite

Constraint-Based Verification of Parameterized Cache Coherence Protocols

By Delzanno Giorgio  

Formal Methods in System Design, Vol. 23, Iss. 3, 2003-11 ,pp. : 257-301

Springer Publishing Company

Access to resources Recommend Favorite

Cache-Based Synchronization in Shared Memory Multiprocessors

By Ramachandran U.   Lee J.  

Journal of Parallel and Distributed Computing, Vol. 32, Iss. 1, 1996-01 ,pp. : 11-27

Academic Press

Access to resources Recommend Favorite

Evaluation of a Competitive-Update Cache Coherence Protocol with Migratory Data Detection

By Grahn H.   Stenstrom P.  

Journal of Parallel and Distributed Computing, Vol. 39, Iss. 2, 1996-12 ,pp. : 168-180

Academic Press

Access to resources Recommend Favorite

Relaxed models for rewriting logic

By Lucanu D.  

Theoretical Computer Science, Vol. 290, Iss. 1, 2003-01 ,pp. : 265-289

Elsevier

Access to resources Recommend Favorite