Sciweavers

173 search results - page 10 / 35
» The Atomos transactional programming language
Sort
View
COORDINATION
2004
Springer
15 years 3 months ago
Optimistic Concurrency Semantics for Transactions in Coordination Languages
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
Suresh Jagannathan, Jan Vitek
ASPLOS
2006
ACM
15 years 3 months ago
Supporting nested transactional memory in logTM
Nested transactional memory (TM) facilitates software composition by letting one module invoke another without either knowing whether the other uses transactions. Closed nested tr...
Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore...
BTW
1997
Springer
112views Database» more  BTW 1997»
15 years 1 months ago
Database Application Programming with Versioned Complex Objects
Database systems as basis for CAD frameworks have to provide data management as well as transaction management facilities meeting the requirements of design applications. One of t...
Udo Nink, Norbert Ritter
CIDR
2007
163views Algorithms» more  CIDR 2007»
14 years 11 months ago
Demaq: A Foundation for Declarative XML Message Processing
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
PPDP
2005
Springer
15 years 3 months ago
Isolation-only transactions by typing and versioning
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
Pawel T. Wojciechowski