MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Verification of the Futurebus Cache Coherence Protocol." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • 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
  • Ness: Verification of the Futurebus+ cache coherence protocol  
  • by Cla E. M. Clarke, O. Grumberg, H. Hirashi, S. Jha, D. E. Long, Gal M. Galles, E. Williams, Performance Optimization, Gha K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, Gha K. Gharachorloo, S. V. Adve, A. Gupta, J. L. Hennessey, M. D. Hill — 1993 — Proceedings of the 11th International Symposium on Computer Hardware Description Languages and their Applications
  • …, “Verification of the Futurebus+ cache coherence protocol”, Proc. 11th Intl. Symp. on Computer. Hardware…
  • Cited by 3 (1 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB