Back to Search Start Over

Verification of FLASH cache coherence protocol by aggregation of distributed transactions.

Authors :
Park, Seungjoon
Dill, David L.
Source :
Proceedings of the Eighth Annual ACM Symposium: Parallel Algorithms & Architectures; 6/24/1996, p288-296, 9p
Publication Year :
1996

Details

Language :
English
ISBNs :
9780897918091
Database :
Complementary Index
Journal :
Proceedings of the Eighth Annual ACM Symposium: Parallel Algorithms & Architectures
Publication Type :
Conference
Accession number :
83650871
Full Text :
https://doi.org/10.1145/237502.237573