✦ LIBER ✦

Analytical prediction of performance for cache coherence protocols

✍ Scribed by Srbljic, S.; Vranesic, Z.G.; Stumm, M.; Budin, L.

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

Integrating cache coherence protocols fo

✍ Suh, T.; Lee, H.-H.S.; Blough, D.M. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 131 KB

Constraint-Based Verification of Paramet

✍ Giorgio Delzanno 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 301 KB

Software-controlled cache coherence prot

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

Integrating cache coherence protocols fo

✍ Suh, T.; Lee, H.-H.S.; Blough, D.M. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 158 KB

Teapot: a domain-specific language for w

✍ Chandra, S.; Richards, B.; Larus, J.R. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 291 KB