SIGN IN
SIGN UP
Lamport clocks: verifying a directory cache-coherence protocol
Full Text:
PDF
Get this Article
Authors:
Manoj Plakal
Computer Sciences Department, University of Wisconsin, Madison, 1210 West Dayton Street, Madison, WI
Daniel J. Sorin
Computer Sciences Department, University of Wisconsin, Madison, 1210 West Dayton Street, Madison, WI
Anne E. Condon
Computer Sciences Department, University of Wisconsin, Madison, 1210 West Dayton Street, Madison, WI
Mark D. Hill
Computer Sciences Department, University of Wisconsin, Madison, 1210 West Dayton Street, Madison, WI
1998 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 8
· Downloads (cumulative): 494
· Citation Count: 16
Published in:
· Proceeding
SPAA '98
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
Pages 67-76
ACM
New York, NY
, USA
©1998
table of contents
ISBN:0-89791-989-0
doi>
10.1145/277651.277672
Tools and Resources
Buy this Article
Recommend the ACM DL
to your organization
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SPAA '17
Share:
|
Author Tags
design
designing software
management
network protocols
operating systems
Contact Us
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Advertisements
Powered by
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder