Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
131	Atomics in UPC A memory operation is atomic in case the only observable states for the memory are the state before the operation began or the state after the operation has completed. It is as if the operation happens at Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:31 Data management Compare-and-swap Pointer Linearizability Swap Lock Ctrie Concurrency control Computing Computer programming
132	Towards Automatic Functional Test Execution Pablo Pedemonte IBM Argentina Ing. Butty 275 – C1001AFA Buenos Aires, Argentina Add to Reading List Source URL: tlau.org Language: English - Date: 2012-03-05 14:48:09 Tuple Type theory Algorithm Software testing Linearizability Segmentation Natural language processing Mathematics Data management Mathematical notation
133	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
134	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.eecs.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
135	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.eecs.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
136	Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Data Information Data management Databases Linearizability Lock Parallel computing Serializability Mereology Concurrency control Transaction processing Computing
137	UPC Optional Library Specifications, Version 1.3 Add to Reading List Source URL: upc-lang.org Language: English - Date: 2013-11-18 17:36:11 C programming language Procedural programming languages Transaction processing C++ Data types Pointer C Reference Linearizability Computing Software engineering Computer programming
138	Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services Seth Gilbert∗ Nancy Lynch∗ Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-09-28 06:19:56 Computing Data Database management systems Fault-tolerant computer systems ACID Distributed computing Linearizability Consistency model Database Transaction processing Data management Concurrency control
139	Line-Up: A Complete and Automatic Linearizability Checker Sebastian Burckhardt Chris Dern Madanlal Musuvathi Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-28 14:53:00 Data management Concurrent computing Linearizability Serializability Non-blocking algorithm Sequential consistency Consistency model Thread safety Monitor Concurrency control Computing Transaction processing
140	Scal: Non-Linearizable Computing Breaks the Scalability Barrier Christoph M. Kirsch Hannes Payer Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2010-11-04 03:10:40 Transaction processing Computer programming Linearizability Data structures Concurrent data structure Non-blocking algorithm Stack Database Parallel computing Computing Concurrency control Data management

UPDATE