Serializability - PDFSEARCH.IO - Document Search Engine

Serializability
Results: 229

#	Item
71	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
72	Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Data Information Data management Databases Linearizability Lock Parallel computing Serializability Mereology Concurrency control Transaction processing Computing
73	Using the Lock Manager to Choose Timestamps David Lomet Microsoft Research Redmond, WA, USA Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2007-09-25 20:50:49 Concurrency control Information Databases Timestamp-based concurrency control Serializability Isolation Commitment ordering Timestamp Database transaction Transaction processing Data management Data
74	Life beyond Distributed Transactions: an Apostate’s Opinion Position Paper Pat Helland Amazon.Com 705 Fifth Ave South Add to Reading List Source URL: www.cloudtran.com Language: English - Date: 2011-05-26 19:32:12 Data management Databases Concurrency control Global serializability Serializability Replication Service-oriented architecture Communications protocol Scalability Data Information Transaction processing
75	Locking for Concurrent Transactions on Ontologies Stefan Scheglmann, Steffen Staab, Matthias Thimm and Gerd Gr¨oner WeST – Institute for Web Science and Technologies University of Koblenz-LandauKoblenz, Germany Add to Reading List Source URL: eswc-conferences.org Language: English - Date: 2015-05-13 12:33:38 Data Concurrency control Databases Serializability Schedule Isolation Ontology Two-phase locking Extensible Storage Engine Transaction processing Information Data management
76	Mvcc Unmasked BRUCE MOMJIAN July, 2014 This talk explains how Multiversion Concurrency Control (MVCC) is implemented in Postgres, and highlights optimizations Add to Reading List Source URL: momjian.us Language: English - Date: 2015-04-16 18:37:09 Information Concurrency control Databases Cross-platform software Multiversion concurrency control PostgreSQL MVCC Serializability Isolation Transaction processing Data management Data
77	Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-28 14:53:00 Data management Concurrent computing Linearizability Serializability Non-blocking algorithm Sequential consistency Consistency model Thread safety Monitor Concurrency control Computing Transaction processing
78	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
79	High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++ Arthur Whitney Dennis Shasha Stevan Apter Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-09-15 02:03:57 Information Database management systems Databases Concurrency control Database transaction Serializability Transaction log Algorithms for Recovery and Isolation Exploiting Semantics Extensible Storage Engine Transaction processing Data management Data
80	Quantifying Isolation Anomalies Alan Fekete Shirley N. Goldrei Jorge Perez Add to Reading List Source URL: www.vldb.org Language: English - Date: 2009-07-27 10:29:02 Information Concurrency control Databases Isolation Snapshot isolation Serializability Multiversion concurrency control Algorithms for Recovery and Isolation Exploiting Semantics Extensible Storage Engine Transaction processing Data management Data

UPDATE