Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
151	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management
152	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-08-29 18:26:40 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing
153	McGill University School of Computer Science Sable Research Group Component-Based Lock Allocation Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-05-17 17:55:00 Lock Deadlock Non-blocking algorithm Critical section Linearizability Parallel computing Two-phase locking C dynamic memory allocation OpenMP Concurrency control Computing Computer programming
154	A Scalable Lock-free Stack Algorithm Danny Hendler ∗ Nir Shavit Add to Reading List Source URL: www.cs.bgu.ac.il Language: English - Date: 2005-02-03 08:54:10 Software engineering Abstract data types Concurrent computing Stack Non-blocking algorithm Linearizability Exponential backoff ABA problem Double-ended queue Computing Concurrency control Computer programming
155	Autolocker: Synchronization Inference for Atomic Sections ∗ Bill McCloskey Feng Zhou UC Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2006-05-18 13:42:17 Computing Data Databases Lock Non-blocking algorithm Deadlock Two-phase locking Software transactional memory Linearizability Concurrency control Transaction processing Data management
156	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 9 Time Bounds for Strong and Hybrid Consistency for Arbitrary Abstract Data Types Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-13 17:18:06 Consistency model Sequential consistency Parallel computing Transaction processing Concurrency control Linearizability
157	/cygdrive/c/tharris/tocs/2004-tocs-cpwl/figs/structure-5.fig Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-06-01 10:29:30 Data management Software engineering Software transactional memory Transactional memory Linearizability Linked list Lock Typedef Stack Concurrency control Computing Transaction processing
158	Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-07-08 18:07:14 Sheaf Mathematics Computing Concurrency control Linearizability Transaction processing
159	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
160	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.cs.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

UPDATE