MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Verification of Cache Coherence Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

42 documents found, showing 1 through 10. Next 10 →

ATOM

The Verification of Cache Coherence Protocols
by Fong Pong, Michel Dubois — 1992 — Proc. of the 5th Annual Symp. on Parallel Algorithm and Architecture
… procedure is applied to the verification of five existing protocols Keywords: cache coherence protocol…
Cited by 16 (6 self) – Add To MetaCart

Dynamic Verification of Cache Coherence Protocols
by Jason F. Cantin, Mikko H. Lipasti, James E. Smith Introduction — 2001 — In Workshop on Memory Performance Issues
…Dynamic Verification of Cache Coherence Protocols Jason F. Cantin Mikko H. Lipasti James E. Smith…
Cited by 15 (0 self) – Add To MetaCart

A New Approach for the Verification of Cache Coherence Protocols
by Fong Pong, Michel Dubois — 1993
…1 A New Approach for the Verification of Cache Coherence Protocols Fong Pong and Michel Dubois…
Cited by 31 (5 self) – Add To MetaCart

Verification of Cache Coherence Protocols by Aggregation of Distributed Transactions
by S. Park, D. L. Dill — 2006 — TAP: TOUCH-AND-PLAY. ACM CHI CONFERENCE ON HUMAN FACTORS IN
…Theory Comput. Systems 31, 355–376 (1998) Verification of Cache Coherence Protocols by Aggregation…
Cited by 15 (2 self) – Add To MetaCart

TLA+ Verification of Cache-Coherence Protocols
by Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Mark Tuttle, Yuan Yu, Joshua Scheid — 1999
…TLA + Verification of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez # , Paul Harter…
Cited by 1 (0 self) – Add To MetaCart

A simple method for parameterized verification of cache coherence protocols
by Ching-tsun Chou, Phanindra K. Mannava, Seungjoon Park — 2004 — in Formal Methods in Computer Aided Design
…A Simple Method for Parameterized Verification of Cache Coherence Protocols Ching-Tsun Chou…
Cited by 10 (2 self) – Add To MetaCart

A Survey of Verification Techniques for Cache Coherence Protocols
by Fong Pong, Michel Dubois — 1996
…1 A Survey of Verification Techniques for Cache Coherence Protocols Fong Pong and Michel Dubois…
Add To MetaCart

Verification Techniques for Cache Coherence Protocols.
by Fong Pong, Michel Dubois — 1997
… the cache coherence protocols is presented. Methods with mechanical verification procedures…
Cited by 32 (0 self) – Add To MetaCart

Verification of the Futurebus+ Cache Coherence Protocol
by Edmund Clarke Orna, Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. Mcmillan, Linda A. Ness — 1995
…Verification of the Futurebus+ Cache Coherence Protocol Edmund M. Clarke a , Orna Grumberg b…
Add To MetaCart

Verification of the Futurebus+ Cache Coherence Protocol
by Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness — 1995
…Verification of the Futurebus+ Cache Coherence Protocol Edmund M. Clarke a , Orna Grumberg b…
Cited by 82 (14 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB