Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
251	MAMA: Mostly Automatic Management of Atomicity Christian DeLozier, Joseph Devietti, Milo M. K. Martin University of Pennsylvania March 2nd, 2014 Add to Reading List Source URL: wodet.cs.washington.edu Language: English - Date: 2014-03-04 13:05:47 Data Information Lock Linearizability Atomicity Parallel computing Transactional memory Deadlock Concurrency control Transaction processing Computing
252	Wait-Free Synchronization MAURICE HERLIHY Digital Equipment Corporation Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2005-11-28 07:56:27 Concurrent computing Consensus Linearizability Communications protocol Lock Process Semaphore Futures and promises Non-blocking algorithm Concurrency control Computing Concurrency
253	The Relative Power of Synchronization Primitives Maurice Herlihy CS176 Fall 2003 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:44 Concurrency Linearizability Non-blocking algorithm Mutual exclusion Maurice Herlihy Herlihy Thread Queue FIFO Concurrency control Computing Concurrent computing
254	A Scalable Lock-free Stack Algorithm Danny Hendler ∗ Nir Shavit Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2007-02-14 04:11:10 Software engineering Abstract data types Concurrent computing Stack Non-blocking algorithm Linearizability Exponential backoff ABA problem Double-ended queue Computing Concurrency control Computer programming
255	MAMA: Mostly Automatic Management of Atomicity Christian DeLozier Joseph Devietti Milo M. K. Martin Add to Reading List Source URL: wodet.cs.washington.edu Language: English - Date: 2014-02-18 08:50:21 Concurrent computing Data management Computer memory Databases Deadlock Lock Linearizability Parallel computing Non-blocking algorithm Computing Concurrency control Transaction processing
256	Hardware Acceleration of Software Transactional Memory∗ Arrvindh Shriraman, Virendra Marathe, Sandhya Dwarkadas, Michael L. Scott David Eisenstat, Christopher Heriot, William N. Scherer III, and Michael F. Spear Techni Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-03-13 14:43:04 Computing Data Software transactional memory Transactional memory Lock Linearizability Database Non-blocking algorithm Cache coherence Concurrency control Transaction processing Data management
257	Brief Announcement: Privatization Techniques for Software Transactional Memory ∗ Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, and Michael L. Scott Department of Computer Science, University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-06-11 11:51:40 Data Information Databases Programming language implementation Software transactional memory Transactional memory Database transaction Linearizability Extensible Storage Engine Transaction processing Concurrency control Data management
258	Towards Composable Concurrency Abstractions∗ Janwillem Swalens, Stefan Marr, Joeri De Koster and Tom Van Cutsem Software Languages Lab, Vrije Universiteit Brussel, Belgium {jswalens,smarr,jdekoste,tvcutsem}@vub.ac.be Add to Reading List Source URL: stefan-marr.de Language: English - Date: 2014-02-17 14:05:31 Concurrency Concurrent computing Software transactional memory Clojure Actor model Futures and promises Linearizability Communicating sequential processes Lock Computing Concurrency control Transaction processing
259	SNZI: Scalable NonZero Indicators Faith Ellen Dept. of Computer Science University of Toronto Add to Reading List Source URL: courses.csail.mit.edu Language: English Linearizability Binary tree Reference counting R-tree Compare-and-swap Computer architecture Concurrency control Computing Data management
260	Concurrency by Default Using Permissions to Express Dataflow in Stateful Programs Sven Stork†∗ Paulo Marques∗ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-08-25 12:37:28 Concurrency control Filesystem permissions Lock D Actor model Concurrent computing Immutable object Parallel computing Linearizability Computing Computer programming Software engineering

UPDATE