✦ LIBER ✦

Checking Java Implementation of a Naming Architecture Using Testera

✍ Scribed by Sarfraz Khurshid; Darko Marinov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking a cache coherence protoco

✍ Jun Pang; Wan Fokkink; Rutger Hofman; Ronald Veldema 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 271 KB

UM, What's Your Name Again? Implementing

✍ A. Spruill; B.W. Eron; A. Coghill; A. Farmer; G. Talbert 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 59 KB

Implementation of a real-time frequency-

✍ Wickert, M.A.; Papenfuss, J. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 162 KB

Implementation of a Lattice Boltzmann ke

✍ Jonas Tölke 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 388 KB

System design of a CC-NUMA multiprocesso

✍ Hubert Garavel; César Viho; Massimo Zendri 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 324 KB

A new VLSI algorithm and architecture fo

✍ Chiper, Doru 📂 Article 📅 2011 🏛 De Gruyter Open Sp. z o.o. 🌐 English ⚖ 403 KB