✦ LIBER ✦

Confinement Properties for Multi-Threaded Programs

✍ Scribed by Geoffrey Smith; Dennis Volpano

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Framework for testing multi-threaded Jav

✍ Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 162 KB

Model-checking multi-threaded distribute

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 371 KB

Go! — A Multi-Paradigm Programming Langu

✍ K.L. Clark; F.G. McCabe 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 233 KB

Towards a framework and a benchmark for

✍ Yaniv Eytani; Klaus Havelund; Scott D. Stoller; Shmuel Ur 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 216 KB

Fairness Metrics for Multi-Threaded Proc

✍ Vandierendonck, H.; Seznec, A. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 329 KB

Confinement properties in the multi-inst

✍ M. Fukushima; H. Suganuma; A. Tanaka; H. Toki; S. Sasaki 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 242 KB