✦ LIBER ✦

Model Checking Data Consistency for Cache Coherence Protocols

✍ Scribed by Hong Pan; Hui-Min Lin; Yi Lv

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A lock-based cache coherence protocol fo

✍ Weiwu Hu; Weisong Shi; Zhimin Tang; Ming Li 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 978 KB

Software-controlled cache coherence prot

✍ Lanfranco Lopriore 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 860 KB

Evaluation of a Competitive-Update Cache

✍ Håkan Grahn; Per Stenström 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 384 KB

Checking for model consistency in optima

✍ M. R. Allen; S. F. B. Tett 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 440 KB

A methodology for early validation of ca

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

A strongly consistent cached data access

✍ Xian Wang; Pingzhi Fan 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 558 KB