Searching for "Deriving Efficient Cache Coherence Protocols Through Refinement." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

Deriving Efficient Cache Coherence Protocols through Refinement
by Ratan Nalumasu, Ganesh Gopalakrishnan — 1997 — Formal Methods in System Design
…Deriving Efficient Cache Coherence Protocols through Refinement Ratan Nalumasu Ganesh…
Cited by 3 (2 self) – Add To MetaCart

Resume
by Ratan P. Nalumasu
… Gopalakrishnan. Deriving Efficient Cache Coherence Protocols through Refinement. To appear in Formal Methods…
Add To MetaCart

Showing 1 through 2.

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