Sciweavers

5180 search results - page 173 / 1036
» Concurrency, Time, and Constraints
Sort
View
CSCW
2000
ACM
15 years 11 months ago
Copies convergence in a distributed real-time collaborative environment
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...
Nicolas Vidot, Michèle Cart, Jean Ferri&eac...
CAV
2009
Springer
116views Hardware» more  CAV 2009»
16 years 7 months ago
Meta-analysis for Atomicity Violations under Nested Locking
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
Azadeh Farzan, P. Madhusudan, Francesco Sorrentino
SIGMOD
2004
ACM
103views Database» more  SIGMOD 2004»
16 years 6 months ago
A Read-Only Transaction Anomaly Under Snapshot Isolation
Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never ...
Alan Fekete, Elizabeth J. O'Neil, Patrick E. O'Nei...
MOBICOM
2009
ACM
16 years 1 months ago
SAM: enabling practical spatial multiple access in wireless LAN
Spatial multiple access holds the promise to boost the capacity of wireless networks when an access point has multiple antennas. Due to the asynchronous and uncontrolled nature of...
Kun Tan, He Liu, Ji Fang, Wei Wang, Jiansong Zhang...
HVC
2005
Springer
113views Hardware» more  HVC 2005»
16 years 2 days ago
Choosing Among Alternative Futures
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
Steve MacDonald, Jun Chen, Diego Novillo