Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
141	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
142	MECHANISMS FOR UNBOUNDED, CONFLICT-ROBUST HARDWARE TRANSACTIONAL MEMORY Colin Blundell A DISSERTATION in Computer and Information Science Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-09-28 10:25:27 Computing Computer memory Data Transactional memory Software transactional memory Linearizability CPU cache Parallel computing Cache Transaction processing Concurrency control Data management
143	Distributed Software Transactional Memory Anthony Cowley C.J. Taylor University of Pennsylvania Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:28 Concurrent computing Data management Software transactional memory Lock Linearizability Actor model Distributed shared memory Transactional memory Mutual exclusion Computing Concurrency control Transaction processing
144	44 Chapter 5 Shared Memory 5.1 Add to Reading List Source URL: dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:47 Consensus Algorithm Mutual exclusion Parallel computing Test-and-set Pi Linearizability Lock Distributed computing Concurrency control Mathematics Mathematical analysis
145	Scalable Statistics Counters Dave Dice Yossi Lev Mark Moir Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-05-31 10:50:03 Data management Approximate counting algorithm Linearizability Counter Non-blocking algorithm Compare-and-swap CPU cache Floating point Lock Concurrency control Computing Computer architecture
146	Robust Data Sharing with Key-Value Stores¶ Cristina B˘asescu† Christian Cachin∗ Alessandro Sorniotti∗ Add to Reading List Source URL: www.zurich.ibm.com Language: English - Date: 2012-06-06 05:11:02 Algorithm Mathematical logic Theoretical computer science Linearizability Extensible Storage Engine Garbage collection String Consensus Parallel computing Computing Mathematics Memory management
147	mod_perl and dbm files 1 mod_perl and dbm files 1 mod_perl and dbm files Add to Reading List Source URL: perl.apache.org Language: English - Date: 2014-02-15 20:41:37 Concurrency control Structured storage Dbm C POSIX library File locking Transaction processing Lock Berkeley DB Linearizability Software Data management Computing
148	N1908 Proposal for DR453 Blaine GarstDR453 points out the use of true and false inwhen the flag is defined to only have two values representing the set and clear states. Unfortunately, the terms set a Add to Reading List Source URL: www.open-std.org Language: English - Date: 2015-02-23 15:49:27 Software engineering Linearizability Transaction processing Ambiguity C Function Concurrency control Computing Mathematics
149	1 Concurrent Data Structures 1.1 Designing Concurrent Data Structures . . . . . . . . . . . . . 1-1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2007-12-18 05:30:18 Computer programming Concurrent data structure Linearizability Non-blocking algorithm Lock Spinlock Readers–writer lock Thread Parallel computing Concurrency control Computing Concurrency
150	A Fast Mutual Exclusion Algorithm Leslie Lamport November 14, 1985 revised October 31, 1986 This report appeared in the ACM Transactions on Computer Systems, Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-26 12:35:19 Concurrent computing Linearizability Non-blocking algorithm Test-and-set Lock Mutual exclusion Parallel computing Deadlock Critical section Concurrency control Computing Concurrency

UPDATE