✦ LIBER ✦

A challenge for atomicity verification

✍ Scribed by Wim H. Hesselink

Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 301 KB
Volume: 71
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2008.01.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Physician migration: A challenge for Ame

Physician migration: A challenge for America, a challenge for the world

✍ Richard A. Cooper 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 63 KB 👁 1 views

Relative Serializability: An Approach fo

Relative Serializability: An Approach for Relaxing the Atomicity of Transactions

✍ V. Krishnaswamy; D. Agrawal; J.L. Bruno; A. El Abbadi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 697 KB

Serializability is too strong a correctness criterion and unnecessarily restricts concurrency. We use the semantic information of a transaction to provide different atomicity views of the transaction to other transactions. The proposed approach improves concurrency and allows interleavings among tra

A self-stabilizing algorithm for the cen

A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity

✍ Tetz C. Huang; Ji-Cherng Lin; Nathan Mou 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 719 KB

A Rewriting Strategy for Protocol Verifi

A Rewriting Strategy for Protocol Verification

✍ Monica Nesi; Giuseppina Rucci; Massimo Verdesca 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 947 KB

A nice challenge for health economics

✍ John Hutton; Alan Maynard 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 45 KB 👁 1 views

Molten metals: a challenge for measureme

Molten metals: a challenge for measurement

✍ W.A. Wakeham; V. Peralta Martinez 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 921 KB

Being the thirteenth † ROSSINI LECTURE of the Commission on Thermodynamics of the International Union of Pure and Applied Chemistry, delivered on 7 August 2000 at its Conference on Chemical Thermodynamics held in Halifax, Canada and printed here by permission of IUPAC.