Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
111	Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-09-22 11:42:03 Transaction processing Tree Linked list Data management Mathematics Binary trees Concurrency control Computing Linearizability
112	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:19:19 Transaction processing Memory management Linearizability Parallel computing Concurrent data structure Non-blocking algorithm Garbage collection Algorithm Sequential consistency Computing Concurrent computing Concurrency control
113	Speculative Linearizability Rachid Guerraoui Viktor Kuncak Giuliano Losa Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-03-24 17:12:17 Fault-tolerant computer systems Concurrent computing Computer architecture Linearizability Consensus State machine replication Trace Distributed algorithm Consistency model Computing Transaction processing Concurrency control
114	Transactions in the Jungle ∗ Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:47:32 Data Information Software transactional memory Parallel computing Linearizability Transactional memory Schedule Database transaction Serializability Transaction processing Concurrency control Data management
115	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-03-27 11:34:59 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
116	Electronic Notes in Theoretical Computer Science 89 NoURL: http://www.elsevier.nl/locate/entcs/volume89.html 14 pages Automatically Verifying Concurrent Queue Algorithms Eran Yahav Mooly Sagiv Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-11-16 12:34:30 Scheduling algorithms Mathematics Concurrency control Cybernetics FIFO Inter-process communication Linearizability Linked list Scheduling Abstract data types Computing Concurrent computing
117	How to Build a Highly Available System Using Consensus Butler W. Lampson1 Microsoft 180 Lake View Av., Cambridge, MA 02138 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 1996-07-19 12:47:46 Concurrent computing Consensus Two-phase commit protocol Replication Algorithm Function Paxos Linearizability State machine replication Fault-tolerant computer systems Computing Mathematics
118	A Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity JAMES ASPNES, Yale University HAGIT ATTIYA, Technion KEREN CENSOR-HILLEL, Technion FAITH ELLEN, University of Toronto Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Pointer Computing Data management Computer programming Concurrency control Linearizability Transaction processing
119	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-29 13:53:58 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing

UPDATE