Searching for "Lazy Caching." – sorted by Relevance.
57 documents found, showing 1 through 10.
Next 10 →
-
Lazy Caching
- …Lazy Caching YEHUDA AFEK AT&T Bell Laboratories GEOFFREY BROWN Cornell University AND MICHAEL…
- Cited by 70 (0 self) – Add To MetaCart
-
Lazy Caching in TLA
- …Lazy Caching in TLA Peter Ladkin Leslie Lamport Bryan Olivier Denis Roegel Tue 13 Apr 1999 [12…
- Add To MetaCart
-
Lazy Caching in TLA
- …Lazy Caching in TLA Peter Ladkin Leslie Lamport Bryan Olivier Denis Roegel Tue 13 Apr 1999 [12…
- Cited by 7 (1 self) – Add To MetaCart
-
Lazy Caching in Kleene Algebra
- …Lazy Caching in Kleene Algebra Ernie Cohen Bellcore November 10, 1994 Abstract We use Kleene…
- Cited by 4 (0 self) – Add To MetaCart
-
Lazy Cache Implements Complete Cache
- …Lazy Cache Implements Complete Cache Draft Version 1 P. B. Ladkin Universitat Bielefeld…
- Cited by 2 (2 self) – Add To MetaCart
-
The compositional approach to sequential consistency and lazy caching
- … Summary. The lazy caching protocol proposed by Afek, Brown and Merritt [ABM93], is explained and formally…
- Cited by 5 (0 self) – Add To MetaCart
-
Introduction to sequential consistency and the lazy caching algorithm
- …Distrib. Comput. (1999) 12: 57–59 Sequential consistency and the lazy caching algorithm Rob Gerth…
- Cited by 11 (0 self) – Add To MetaCart
-
Using CSP to verify sequential consistency
- … is an accepted design based upon lazy caching; it is an ideal example for the comparison of different formal…
- Cited by 5 (0 self) – Add To MetaCart
-
Using Timestamping and History Variables to Verify Sequential Consistency
- … this methodology by verifying the high level specifications of the lazy caching and ring algorithms. In shared…
- Cited by 5 (0 self) – Add To MetaCart
-
Two-Phase Write Posting on Symmetric Multiprocessors
- … synchronization models, a lazy cache coherence protocol delays write invalidations and permits inconsistent copies…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
