Serializability

Results: 229



#Item
81Information / Concurrency control / Databases / Isolation / Snapshot isolation / Schedule / Multiversion concurrency control / Snapshot / Serializability / Transaction processing / Data management / Data

A Critique of ANSI SQL Isolation Levels Hal Berenson Phil Bernstein Jim Gray Jim Melton

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2007-01-25 17:53:48
82Information / Concurrency control / Databases / Isolation / Snapshot isolation / Serializability / Schedule / Database transaction / Multiversion concurrency control / Transaction processing / Data management / Data

Semantic Conditions for Correctness at Different Isolation Levels  Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY,

Add to Reading List

Source URL: db.cs.berkeley.edu

Language: English - Date: 2014-09-12 20:26:42
83Data management / Databases / Data synchronization / Concurrency control / Coda / Serializability / Data consistency / Replication / File system / Transaction processing / Data / Information

Improving Data Consistency for Mobile File Access Using Isolation-Only Transactions Qi Lu May 1996 CMU-CS

Add to Reading List

Source URL: www.sigmobile.org

Language: English - Date: 2013-08-14 12:38:09
84Information / Databases / Concurrency control / Database management systems / Replication / Serializability / Database / Multiversion concurrency control / Isolation / Transaction processing / Data management / Data

PDF Document

Add to Reading List

Source URL: foundationdb.com

Language: English - Date: 2014-12-16 12:11:32
85Distributed computing architecture / Cross-platform software / Data management / Gemstone / Software architecture / Software / Serialization / Java / Serializability / Computing / Concurrent computing / Software engineering

PDF Document

Add to Reading List

Source URL: www.gemstone.com

Language: English - Date: 2009-01-08 20:12:51
86Information / Concurrency control / Databases / Consistency model / Serializability / Schedule / Causal consistency / Snapshot isolation / Transactional memory / Transaction processing / Data management / Data

Survey on consistency conditions Dmytro Dziuma Panagiota Fatourou Eleni Kanellou

Add to Reading List

Source URL: www.ics.forth.gr

Language: English - Date: 2014-01-14 05:30:48
87Computing / Data / Linearizability / Serializability / Transactional memory / Lock / Thread safety / Non-blocking algorithm / Atomicity / Concurrency control / Transaction processing / Data management

Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:18:02
88Data / Concurrency control / Concurrent computing / Databases / Serializability / Parallel computing / Actor model / Concurrent data structure / Thread / Computing / Transaction processing / Data management

NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:19:55
89Computing / Concurrency control / Databases / Serializability / Parallel computing / Schedule / Linearizability / Correctness / Control flow / Transaction processing / Data management / Data

NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2013-05-12 14:32:05
90Data / Computing / Binary trees / Databases / Schedule / Lock / Linearizability / Serializability / Skew heap / Transaction processing / Data management / Concurrency control

Automatic Fine-Grain Locking using Shape Properties Guy Golan-Gueta Nathan Bronson Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2011-08-21 21:41:00
UPDATE