Sciweavers

2499 search results - page 1 / 500
» The Serializability of Network Codes
Sort
View
ICALP
2010
Springer
13 years 9 months ago
The Serializability of Network Codes
Anna Blasiak, Robert D. Kleinberg
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
14 years 1 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
ICDCS
2000
IEEE
13 years 9 months ago
Highly Concurrent Shared Storage
1 Switched system-area networks enable thousands of storage devices to be shared and directly accessed by end hosts, promising databases and filesystems highly scalable, reliable ...
Khalil Amiri, Garth A. Gibson, Richard A. Golding
AINA
2004
IEEE
13 years 8 months ago
Concurrency Control in Mobile Database Systems
In this paper, we propose an Concurrency Control Mechanism (CCM) for Mobile Database Systems (MDS) that ensures epsilon serializability and report its performance.
Nitin Prabhu, Vijay Kumar, Indrakshi Ray, Gi-Chul ...
ICSE
2008
IEEE-ACM
14 years 5 months ago
Dynamic detection of atomic-set-serializability violations
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
Christian Hammer, Julian Dolby, Mandana Vaziri, Fr...