Sciweavers

95 search results - page 2 / 19
» Atomicity and isolation for transactional processes
Sort
View
FAC
2010
107views more  FAC 2010»
13 years 3 months ago
Atomic actions, and their refinements to isolated protocols
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
Richard Banach, Gerhard Schellhorn
DPD
2002
97views more  DPD 2002»
13 years 5 months ago
Dictatorial Transaction Processing: Atomic Commitment Without Veto Right
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...
Maha Abdallah, Rachid Guerraoui, Philippe Pucheral
POPL
2009
ACM
14 years 6 months ago
Feedback-directed barrier optimization in a strongly isolated STM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
Nathan Grasso Bronson, Christos Kozyrakis, Kunle O...
FMLDO
1999
Springer
137views Database» more  FMLDO 1999»
13 years 10 months ago
Federated Transaction Management with Snapshot Isolation
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...
Ralf Schenkel, Gerhard Weikum, Norbert Weiße...
DAGSTUHL
2006
13 years 7 months ago
06431 Working Group Summary: Atomicity in Mobile Networks
We introduce different mobile network applications and show to which degree the concept of database transactions is required within the applications. We show properties of transact...
Sebastian Obermeier, Joos-Hendrik Böse, Stefa...