Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.50, Iss.4, 2004-01, pp. : 1-14

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

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

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

Quality of service (QoS) in internet cache coherence

By Sustersic John P. Hurson Ali R.

International Journal of High Performance Computing and Networking, Vol. 3, Iss. 5-6, 2006-03 ,pp. : 296-308

Inderscience Publishers

Access to resources Recommend Favorite

Bandwidth Adaptive Cache Coherence Optimizations for Chip Multiprocessors

By Kayi Abdullah Serres Olivier El-Ghazawi Tarek

International Journal of Parallel Programming, Vol. 42, Iss. 3, 2014-06 ,pp. : 435-455

Springer Publishing Company

Access to resources Recommend Favorite

Using network-level support to improve cache routing

By Deimel M. Rulle H. Liebing V. Benninghoven A. Legedza U. Guttag J.

Computer Networks and ISDN Systems, Vol. 30, Iss. 22, 1998-11 ,pp. : 2193-2201

Elsevier

Access to resources Recommend Favorite