2678 search results - page 3 / 536 » Operational Semantics of Transactions |
87
Voted
DBKDA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
NCA
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper proposes a novel database replication algorithm that offers strong consistency (linearizable semantics) and allows reads and non-conflicting writes to execute in para...
COORDINATION
2004
Springer
15 years 2 months ago
2004
Springer
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...
POPL
2010
ACM
15 years 6 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
PODC
2010
ACM
15 years 1 months ago
2010
ACM
Concurrent collection classes are widely used in multi-threaded programming, but they provide atomicity only for a fixed set of operations. Software transactional memory (STM) pr...