✦ LIBER ✦

Model checking transactional memories

✍ Scribed by Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh

Publisher: Springer-Verlag
Year: 2009
Tongue: English
Weight: 410 KB
Volume: 22
Category: Article
ISSN: 0178-2770
DOI: 10.1007/s00446-009-0092-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software transactional memories: an

✍ Damien Imbs; Michel Raynal 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 446 KB

Transactions for Software Model Checking

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

Flash memory efficient LTL model checkin

Flash memory efficient LTL model checking

✍ S. Edelkamp; D. Sulewski; J. Barnat; L. Brim; P. Šimeček 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 459 KB

Scalable shared memory LTL model checkin

Scalable shared memory LTL model checking

✍ J. Barnat; L. Brim; P. Ročkai 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 622 KB

Nested transactional memory: Model and a

Nested transactional memory: Model and architecture sketches

✍ J. Eliot B. Moss; Antony L. Hosking 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 316 KB

We offer a reference model for nested transactions at the level of memory accesses, and sketch possible hardware architecture designs that implement that model. We describe both closed and open nesting. The model is abstract in that it does not relate to hardware, such as caches, but describes memor

How secure are your check transactions?

✍ J. Ralph Byington; Jo Ann Christensen 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 77 KB