92 search results - page 12 / 19 » Optimistic concurrency with OPTIK |
PODC
2010
ACM
15 years 3 months ago
2010
ACM
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
114
Voted
CIDR
2011
14 years 3 months ago
2011
Hyder supports reads and writes on indexed records within classical multi-step transactions. It is designed to run on a cluster of servers that have shared access to a large pool ...
114
click to vote
IS
2002
14 years 11 months ago
2002
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
184
Voted
ICFP
2009
ACM
16 years 9 days ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...