Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
161	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 Data Computing Binary trees Databases Schedule Lock Linearizability Serializability Skew heap Transaction processing Data management Concurrency control
162	Implementing MPI-IO Atomic Mode Without File System Support Robert Ross Robert Latham William Gropp Rajeev Thakur Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-03-30 18:24:20 Software Lock MPICH Linearizability Mutual exclusion Parallel computing Lustre Message Passing Interface Spinlock Concurrency control Computing Concurrent computing
163	HashTable-privatization.eps Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-02-05 02:34:16 Data Computing Software transactional memory Linearizability Lock Non-blocking algorithm Isolation Database transaction Scalability Transaction processing Concurrency control Data management
164	Scaling Concurrent Log-Structured Data Stores Guy Golan-Gueta Edward Bortnikov Eshcar Hillel Add to Reading List Source URL: labs.yahoo.com Language: English - Date: 2015-03-03 04:05:44 Transaction processing Data Databases NoSQL Non-blocking algorithm Replication Linearizability Serializability Cache Concurrency control Data management Computing
165	Implementing Byte-Range Locks Using MPI One-Sided Communication Rajeev Thakur, Robert Ross, and Robert Latham Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-07-08 14:20:31 Computer programming Parallel computing Application programming interfaces Message Passing Interface File locking MPICH Lock Linearizability Global File System Computing Concurrency control Concurrent computing
166	Concurrent Data Representation Synthesis Peter Hawkins Alex Aiken ∗ Kathleen Fisher † Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-29 20:04:36 Transaction processing Data Lock Extensible Storage Engine Non-blocking algorithm Concurrent data structure Linearizability SQL Two-phase locking Concurrency control Data management Computing
167	Consistency Without Borders Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein Abstract Distributed consistency is a perennial research topic; in recent years it has become an urgent practical matter as Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2013-09-16 00:17:37 Data Concurrency control Databases Database management systems Parallel computing Database Consistency model Linearizability Serializability Computing Transaction processing Data management
168	Component-Based Lock Allocation Richard L. Halpert Christopher J. F. Pickett Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-20 14:38:18 Lock Deadlock Critical section Non-blocking algorithm Parallel computing OpenMP Java Memory Model C dynamic memory allocation Linearizability Concurrency control Computing Computer programming
169	Reasoning About Lock Placements Peter Hawkins, Alex Aiken? , Kathleen Fisher?? , Martin Rinard, and Mooly Sagiv Stanford University, Tufts University, MIT, Tel Aviv University Abstract. A lock placement describes, for ea Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-22 12:39:47 Data Information Databases Lock Linearizability Two-phase locking Parallel computing Serializability Extensible Storage Engine Transaction processing Concurrency control Data management
170	Enabling a Strict Consistency Semantics Model in Parallel HDF5 Introduced with HDF5 Releasein May 2012 Add to Reading List Source URL: www.hdfgroup.org Language: English - Date: 2012-05-10 15:40:53 Data Information Earth sciences graphics software NetCDF Hierarchical Data Format Data consistency Linearizability File system Consistency model Computing Transaction processing Computer file formats

UPDATE