✦ LIBER ✦

Certifying Concurrent Programs Using Transactional Memory

✍ Scribed by Long Li; Yu Zhang; Yi-Yun Chen; Yong Li

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A stable transactional memory for buildi

✍ Gilles Muller; Bruno Rochat; Patrick Sanchez 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 502 KB

Testing Concurrent Java Programs using R

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 156 KB

Slicing concurrent Java programs using I

✍ Venkatesh Prasad Ranganath; John Hatcliff 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 819 KB

Scalable Concurrent B-Trees Using Multi-

✍ Paul Wang; William E. Weihl 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 457 KB

Modeling advanced manufacturing systems

✍ D. Ben-Arieh; I. Miron 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 728 KB

Multiple robot programming using a concu

✍ David Ben-Arieh; Oded Maimon 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 787 KB