173 search results - page 2 / 35 » The Atomos transactional programming language |
APLAS
2010
ACM
13 years 2 months ago
2010
ACM
IFM
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
POS
1998
Springer
13 years 10 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
ISPASS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...