Serializability - PDFSEARCH.IO - Document Search Engine

Serializability
Results: 229

#	Item
191	Automatic Atomicity Verification for Clients of Concurrent Data Structures Mohsen Lesani, Todd Millstein, and Jens Palsberg University of California, Los Angeles {lesani, todd, palsberg}@cs.ucla.edu Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-05-14 20:27:08 Concurrency control Transaction processing Concurrent computing Databases Linearizability Atomicity Concurrent data structure Mereology Serializability Computing Computer programming Data management
192	Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-08-15 23:50:13 Computing Data Software transactional memory Algorithm Model theory Linearizability Serializability Opacity Concurrency control Transaction processing Data management
193	Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-10-26 02:05:50 Data Information Software transactional memory Serializability Linearizability Schedule Transactional memory Database transaction Extensible Storage Engine Transaction processing Concurrency control Data management
194	Proving Non-opacity Mohsen Lesani and Jens Palsberg UCLA, University of California, Los Angeles {lesani,palsberg}@ucla.edu Abstract. Guerraoui and Kapalka defined opacity as a safety criterion Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-02-17 15:44:48 Data Computing Databases Snapshot isolation Linearizability Isolation Serializability Algorithm Schedule Transaction processing Data management Concurrency control
195	PDF Document Add to Reading List Source URL: www-db.cs.wisc.edu Language: English - Date: 2011-09-16 15:44:58 Information Database transaction Concurrency control Data consistency ACID Distributed database Serializability Business transaction management Database Transaction processing Data management Data
196	Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Serializability Linearizability Transactional memory Schedule Non-blocking algorithm Transmission Control Protocol Concurrency control Transaction processing Computing
197	Brief Announcement: Model Checking Transactional Memory with Spin John O’Leary Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Computing Data Software transactional memory Linearizability Transactional memory Model checking SPIN model checker Serializability Parallel computing Concurrency control Transaction processing Data management
198	Low Overhead Concurrency Control for Partitioned Main Memory Databases Evan P. C. Jones Daniel J. Abadi Add to Reading List Source URL: www.evanjones.ca Language: English Information Concurrency control Databases Serializability Two-phase commit protocol Optimistic concurrency control Database transaction Two-phase locking Schedule Transaction processing Data management Data
199	Exploiting Hardware Transactional Memory in Main-Memory Databases Viktor Leis, Alfons Kemper, Thomas Neumann Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen Boltzmannstraße 3, D[removed]Garching Add to Reading List Source URL: www-db.in.tum.de Language: English - Date: 2013-11-29 04:15:10 Data Information Databases Serializability Software transactional memory Timestamp-based concurrency control Transactional memory Two-phase locking Lock Transaction processing Concurrency control Data management
200	Highly Available Transactions: Virtues and Limitations Peter Bailis, Aaron Davidson, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney ABSTRACT To minimize network la Add to Reading List Source URL: www.bailis.org Language: English - Date: 2013-11-26 19:23:31 Information Concurrency control Databases Serializability Snapshot isolation Schedule Multiversion concurrency control Isolation Replication Transaction processing Data management Data

UPDATE