Browsing LCS Technical Reports (1974 - 2003) by Author "Adya, Atul"
Now showing items 1-2 of 2
-
Transaction Management for Mobile Objects Using Optimistic Concurrency Control
(1994-07)We present computationally efficient error-correcting codes and holographic proofs. Our error-correcting codes are asymptotically good and can be encoded and decoded in linear time. Our construction of holographic proofs ... -
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
(1999-03)Current commercial databases allow application programmers to trade off consistency for performance. However, existing definitions of weak consistency levels are either imprecise or they disallow efficient implementation ...
