Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
211	MaxDB SQL Locks Version 7.6 Werner Thesing Add to Reading List Source URL: maxdb.sap.com Language: English - Date: 2007-11-14 02:46:33 Data Information Databases Database management systems Lock Isolation MaxDB Linearizability ACID Data management Transaction processing Concurrency control
212	Concurrency Control with Data Coloring ∗ Luis Ceze, Christoph von Praun‡ , C˘alin Cas¸caval‡ Pablo Montesinos† and Josep Torrellas† Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2008-08-29 19:18:18 Data Computing Transactional memory Linearizability Software transactional memory Lock Non-blocking algorithm Parallel computing Consistency model Transaction processing Concurrency control Data management
213	DeAliaser: Alias Speculation Using Atomic Region Support Wonsun Ahn, Yuelu Duan, Josep Torrellas University of Illinois at Urbana Champaign http://iacoma.cs.illinois.edu Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English* - Date: 2013-03-29 23:05:50 Linearizability Transaction processing CPU cache Computer architecture Computer hardware Computing Concurrency control
214	Parallel Processing Letters cfWorld Scientific Publishing Company FAILURE-SENSITIVE ANALYSIS OF PARALLEL ALGORITHMS WITH CONTROLLED MEMORY ACCESS CONCURRENCY∗ CHRYSSIS GEORGIOU Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 05:21:39 Parallel Random Access Machine Parallel algorithm Multi-core processor Algorithm Cell Computational complexity theory NC Linearizability List ranking Concurrent computing Computing Parallel computing
215	Fault-Tolerant SemiFast Implementations ∗ of Atomic Read/Write Registers Chryssis Georgiou † Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2007-11-27 04:31:15 Data Information Schedule Linearizability Transmission Control Protocol Microsoft SQL Server Transaction processing Concurrency control Data management
216	Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Transaction processing Computer programming Concurrency Theoretical computer science Linearizability Non-blocking algorithm Concurrent data structure Parallel computing Sequential consistency Computing Concurrency control Concurrent computing
217	On the Efficiency of Atomic Multi-Reader, Multi-Writer Distributed Memory Burkhard Englert1 , Chryssis Georgiou2 , Peter M. Musial3 ? , Nicolas Nicolaou4 , and Alexander A. Shvartsman4 ?? 1 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2009-09-29 15:50:28 Computing Computer architecture Quorum Linearizability Transmission Control Protocol Non-blocking algorithm Replication DEC Alpha Transaction processing Concurrency control Data management
218	Fast Bug Finding in Lock-Free Data Structures with CB-DPOR by Jelle van den Hooff S.B., Massachusetts Institute of Technology, 2013 Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Computer programming Concurrency Software bugs Model checking Non-blocking algorithm Circular buffer Linearizability Thread Algorithm Concurrency control Computing Concurrent computing
219	Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers ∗ Chryssis Georgiou † Nicolas C. Nicolaou ‡ Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-12-11 03:53:55 Data Computing Linearizability Transmission Control Protocol Transaction processing Concurrency control Data management
220	fixInt.all.crumpling.data.0.eps Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2008-07-23 04:39:02 Parliamentary procedure Computing Quorum Linearizability Byzantine fault tolerance Concurrent computing Transaction processing Concurrency control Data management

UPDATE