✦ LIBER ✦

A lock-based cache coherence protocol for scope consistency

✍ Scribed by Weiwu Hu; Weisong Shi; Zhimin Tang; Ming Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model Checking Data Consistency for Cach

✍ Hong Pan; Hui-Min Lin; Yi Lv 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 433 KB

A methodology for early validation of ca

✍ Mahadevan Subramaniam; Patrick Conway 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

Software transparent cache consistency s

✍ RJ Bril; AJ Van de Goor 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 630 KB

Verifying a Network Invariant for All Co

✍ Marcel Kyas 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 298 KB

A self-consistent model for a SOA-based

✍ Vasilios Zarikas; Kyriakos Vlachos 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 432 KB