Sciweavers

Share
17 search results - page 1 / 4
» Value-Based Sequential Consistency for Set Objects in Dynami...
Sort
View
EUROPAR
2010
Springer
9 years 1 months ago
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems
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...
Roberto Baldoni, Silvia Bonomi, Michel Raynal
TAP
2009
Springer
178views Hardware» more  TAP 2009»
9 years 6 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
IPPS
2010
IEEE
8 years 10 months ago
Dynamic analysis of the relay cache-coherence protocol for distributed transactional memory
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
Bo Zhang, Binoy Ravindran
CRIWG
2004
9 years 1 months ago
Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems
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...
Xianghua Xu, Jiajun Bu, Chun Chen, Yong Li 0004
ATAL
2015
Springer
3 years 7 months ago
One-Sided Matching with Dynamic Preferences
One-sided matching is concerned with the allocation of indivisible objects to a set of agents, in the absence of monetary transfers. In contrast to many real-life scenarios such a...
Hadi Hosseini
books