Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
331	TESTING MEMORY CONSISTENCY OF SHARED-MEMORY MULTIPROCESSORS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING Add to Reading List Source URL: xenon.stanford.edu Language: English - Date: 2008-02-26 14:40:30 Concurrent computing Computer architecture Cache coherence Transactional memory Linearizability Consistency model Algorithm Software bug Sequential consistency Computing Transaction processing Concurrency control
332	Enhancing Intra-Transaction Concurrency in Object Bases1 Peter Graham and Ken Barker Advanced Database Systems Laboratory Department of Computer Science University of Manitoba Winnipeg, Manitoba, Canada R3T 2N2 Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2001-05-23 17:37:37 Concurrency control Information Databases Serializability Schedule Linearizability Two-phase locking Lock Nested transaction Transaction processing Data management Data
333	LOTEC: A Simple DSM Consistency Protocol for Nested Object Transactions Peter Graham and Yahong Sui Parallel and Distributed Systems Lab Department of Computer Science University of Manitoba Winnipeg, Manitoba Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2001-05-23 17:37:45 Information Concurrency control Databases Serializability Linearizability Lock Nested transaction Database transaction Extensible Storage Engine Transaction processing Data management Data
334	UPC Optional Library Specifications, Version 1.3 Add to Reading List Source URL: upc.lbl.gov Language: English - Date: 2014-04-19 16:53:29 C programming language Procedural programming languages Transaction processing C++ Data types Pointer C Reference Linearizability Computing Software engineering Computer programming
335	University of Pennsylvania CSE380 – Operating Systems 1st Midterm Exam – [removed]c 2004 Matt Blaze Add to Reading List Source URL: www.crypto.com Language: English - Date: 2004-10-17 09:35:55 Concurrency Semaphore Scheduling Critical section Spinlock Linearizability Lock Test-and-set Thread Concurrency control Computing Computer programming
336	HAT, not CAP: Towards Highly Available Transactions Peter Bailis† , Alan Fekete , Ali Ghodsi†,‡ , Joseph M. Hellerstein† , Ion Stoica† † UC Berkeley University of Sydney ‡ KTH/Royal Institute of Technolo Add to Reading List Source URL: www.bailis.org Language: English - Date: 2013-04-11 23:51:33 Information Concurrency control Databases Serializability Isolation Distributed transaction Snapshot isolation ACID Linearizability Transaction processing Data management Data
337	Lightweight Locking for Main Memory Database Systems Kun Ren†* [removed] † Northwestern Polytechnical University, China Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2012-12-10 15:05:57 Data Information Two-phase locking Lock Non-blocking algorithm Isolation Deadlock ACID Linearizability Transaction processing Data management Concurrency control
338	Guarded Atomic Actions for Haskell Austin Clements and Yang Zhang December 13, 2006 Abstract Add to Reading List Source URL: yz.mit.edu Language: English - Date: 2011-11-08 09:03:49 Information Concurrency control Databases Schedule Serializability Nested transaction Database transaction Concurrent Haskell Linearizability Transaction processing Data management Data
339	Sketching Concurrent Data Structures Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík University of California, Berkeley {asolar,cgjones,bodik}@eecs.berkeley.edu Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-05-07 23:06:10 Concurrency Tree traversal Non-blocking algorithm Parallel computing Concurrent data structure Linearizability Thread Lock Double-ended queue Concurrency control Computing Computer programming
340	Information and Computation[removed]–98 www.elsevier.com/locate/ic Generalization of ZYT-linearizability for bilinear datalog programs Ji-Hoon Kang,a,∗ Ki-Hyung Hong,b Kyu-Young Whang,c and Jung-Wan Chod a Depar Add to Reading List Source URL: dblab.kaist.ac.kr Language: English - Date: 2009-06-10 22:36:47 Universal quantification Function Mathematical logic Mathematics Functions and mappings Datalog

UPDATE