Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
351	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
352	N3718 Transactional Memory Support for C++ Transactional Memory Support for C++ Authors: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2013-09-01 09:14:26 Data Information Computing Lock Transactional memory Linearizability Database transaction C Atomicity Transaction processing Concurrency control Data management
353	Wait-Free Computation in Message-Passing Systems: Preliminary Report Maurice P. Herlihy Mark R. Tuttle DEC Cambridge Research Lab One Kendall Square Cambridge, MA 02139 Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Linearizability Algorithm Computing Mathematics Computer science Cellular neural network Parallel Random Access Machine Concurrency control Parallel computing Stack
354	TCC Overview Presentation - January 2007 Add to Reading List Source URL: tcc.stanford.edu Language: English - Date: 2007-04-21 01:03:02 Computer programming Software engineering Lock Transaction processing Cross-platform software Hash function Hash table Linearizability C Concurrency control Computing Search algorithms
355	Programming Language Memory Models: What do Shared Variables Mean? Hans-J. Boehm[removed] Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:32 Concurrent computing Java platform Computer memory Parallel computing Thread Java Memory Model Lock Linearizability Memory model Computing Transaction processing Concurrency control
356	Transactional Memory Should be an Implementation Technique, Not a Programming Interface Hans-J. Boehm Why Transactional Memory? Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:32 Data management Concurrency Lock Linearizability Deadlock Parallel computing Thread Transactional memory Concurrency control Transaction processing Computing
357	Intel® Transactional Synchronization Extensions (Intel® TSX) Linux update Andi Kleen Intel OTC Linux Plumbers Sep 2013 Add to Reading List Source URL: halobates.de Language: English - Date: 2013-09-19 12:16:42 Concurrency Linearizability Computing Concurrent computing Concurrency control Transactional Synchronization Extensions Lock
358	Multi-Word Compare-and-Swap on SBCL Paul Khuong ([removed]) December 14, 2009 (SB-)MCAS Add to Reading List Source URL: sbcl10.sbcl.org Language: English - Date: 2009-12-19 11:11:31 Linearizability Computer architecture Computing Concurrency control Compare-and-swap Computer arithmetic
359	Coordination-Avoiding Database Systems Peter Bailis, Alan Fekete† , Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney arXiv:1402.2237v3 [cs.DB] 4 Apr 2014 Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-04-06 21:20:30 Information Concurrency control Databases Serializability Linearizability Isolation Two-phase locking Distributed transaction Extensible Storage Engine Transaction processing Data management Data
360	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.bailis.org Language: English - Date: 2013-09-16 17:54:55 Data Concurrency control Databases Database management systems Parallel computing Database Consistency model Linearizability Serializability Computing Transaction processing Data management

UPDATE