891 search results - page 16 / 179 » On Transactional Scheduling in Distributed Transactional Mem... |
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
A high-concurrency transactional memory (TM) implementation needs to track concurrent accesses, buffer speculative updates, and manage conflicts. We present a system, FlexTM (FLE...
118
click to vote
COOPIS
2003
IEEE
15 years 5 months ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
103
Voted
HOTOS
2009
IEEE
15 years 3 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
141
Voted
TGC
2010
Springer
14 years 9 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
112
Voted
CAISE
2000
Springer
15 years 4 months ago
2000
Springer
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...