✦ LIBER ✦

Software transactional memories: an

✍ Scribed by Damien Imbs; Michel Raynal

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking transactional memories

✍ Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 410 KB

Compiler and runtime techniques for soft

✍ Peng Wu; Maged M. Michael; Christoph von Praun; Takuya Nakaike; Rajesh Bordaweka 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 234 KB

Transactions for Software Model Checking

✍ Cormac Flanagan; Shaz Qadeer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 214 KB

Software-controlled memory duplication

✍ H Al-Riahi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 228 KB

Certifying Concurrent Programs Using Tra

✍ Long Li; Yu Zhang; Yi-Yun Chen; Yong Li 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 479 KB

An abort-aware model of transactional pr

✍ Kousha Etessami; Patrice Godefroid 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 314 KB