16 search results - page 1 / 4 » Value-Based Sequential Consistency for Set Objects in Dynami... |
EUROPAR
2010
Springer
13 years 5 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
TAP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
CRIWG
2004
13 years 5 months ago
2004
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
ICDCS
2003
IEEE
13 years 9 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...