Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
291	Logical Concurrency Control From Sequential Proofs Jyotirmoy Deshmukh1 , G. Ramalingam2 , Venkatesh-Prasad Ranganath2 , and Kapil Vaswani2 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-20 00:44:54 Concurrency control Concurrent computing Program logic Logic programming Concurrency Hoare logic Thread safety Parallel computing Linearizability Computing Computer programming Software engineering
292	An Integrated Hardware-Software Approach to Flexible Transactional Memory∗ Arrvindh Shriraman Hemayet Hossain Sandhya Dwarkadas Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-01-31 16:34:34 Information Concurrency control Databases Computer memory Serializability Transactional memory MESI protocol Linearizability Nested transaction Transaction processing Data management Data
293	Transaction Safe Nonblocking Data Structures ∗ Virendra J. Marathe and Michael L. Scott Technical Report #924 Department of Computer Science, University of Rochester {vmarathe, scott}@cs.rochester.edu September 2007 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-11-06 15:01:56 Data Information Software transactional memory Schedule Serializability Database transaction Linearizability Lock Extensible Storage Engine Transaction processing Concurrency control Data management
294	Tech. Rep[removed]Concurrent Update on Multiprogrammed Shared Memory Multiprocessors Maged M. Michael Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-31 21:31:46 Computer programming Non-blocking algorithm Concurrent data structure Scheduling Lock Thread Critical section Linearizability Mutual exclusion Concurrency control Computing Concurrency
295	Non-Blocking Timeout in Scalable Queue-Based Spin Locks Michael L. Scott ∗ Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2002-04-30 11:21:59 Concurrency Mutual exclusion Spinlock Lock Scheduling Compare-and-swap ABA problem Linearizability Linked list Concurrency control Computing Computer programming
296	Software Partitioning of Hardware Transactions⇤ Lingxiang Xiang and Michael L. Scott Technical Report #993 Department of Computer Science, University of Rochester {lxiang,scott}@cs.rochester.edu August 2014 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-09-16 15:20:46 Data Information Databases Programming language implementation Transactional memory Compiler Database transaction Parallel computing Linearizability Transaction processing Concurrency control Data management
297	TRANSACT[removed]Sandboxing Transactional Memory ∗ Luke Dalessandro Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2012-02-15 11:38:38 Computing Data Software transactional memory Sandbox Transactional memory Serializability Linearizability Schedule Database transaction Transaction processing Concurrency control Data management
298	An Implementation of User-level Restartable Atomic Sequences on the NetBSD Operating System Gregory McGarry [removed] Abstract Add to Reading List Source URL: www.gregorymcgarry.com Language: English - Date: 2003-04-07 02:57:52 Concurrency Linearizability Thread NetBSD Lock Mutual exclusion Test-and-set Critical section Parallel computing Concurrency control Computing Computer architecture
299	Contention Management in Dynamic Software Transactional Memory∗ William N. Scherer III and Michael L. Scott Department of Computer Science University of Rochester Rochester, NY[removed] Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2004-06-13 22:12:07 Data management Data Software transactional memory Lock Linearizability Java EE Connector Architecture Non-blocking algorithm Deadlock Concurrency control Transaction processing Computing
300	Sequential Specification of Transactional Memory Semantics ∗ Michael L. Scott Department of Computer Science University of Rochester [removed] Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-05-11 18:37:15 Data Computing Software transactional memory Linearizability Schedule Transactional memory Database transaction Extensible Storage Engine Parallel computing Transaction processing Concurrency control Data management

UPDATE