Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
181	BulkSC: Bulk Enforcement of Sequential Consistency Luis Ceze, University of Washington sa pa Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 03:56:06 Sequential consistency Concurrency control Transaction processing Linearizability
182	Detecting and Avoiding Atomicity Violations Luis Ceze, University of Washington sa pa Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2010-01-12 02:04:58 Data Information Computing Linearizability Atomicity Lock Isolation Transaction processing Concurrency control Data management
183	Microsoft PowerPoint - HC18.0120.T1.tutorialAM_part4.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:48:34 Data Information Software transactional memory Transactional memory Linearizability Database transaction Lock Kernel Transaction Manager Atomicity Transaction processing Concurrency control Data management
184	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: 0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com Language: English - Date: 2013-05-14 14:21:37 Information Concurrency control Databases Serializability Isolation Distributed transaction Snapshot isolation ACID Linearizability Transaction processing Data management Data
185	© 2012 Abdullah Al Muzahid EFFECTIVE ARCHITECTURAL SUPPORT FOR DETECTING CONCURRENCY BUGS BY ABDULLAH AL MUZAHID Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2012-09-12 16:38:51 Concurrency control Data Software bugs Databases Parallel computing Atomicity Linearizability Lock Debugging Transaction processing Computing Data management
186	Lightweight Locking for Main Memory Database Systems Kun Ren†* [removed] † Northwestern Polytechnical University, China Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-02-19 08:00:33 Data Information Two-phase locking Lock Non-blocking algorithm Isolation Deadlock ACID Linearizability Transaction processing Data management Concurrency control
187	Consistency, Availability, and Convergence Prince Mahajan, Lorenzo Alvisi, and Mike Dahlin Department of Computer Science, The University of Texas at Austin Technical Report (UTCS TR[removed]Abstract Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2011-05-03 15:13:27 Eventual consistency Linearizability Strong consistency Transaction processing Causal consistency Consistency model
188	Location-Based Memory Fences Edya Ladan-Mozes I-Ting Angelina Lee Dmitry Vyukov∗ Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2014-08-27 02:16:24 Central processing unit Computer memory Concurrency control Microprocessors Memory barrier CPU cache Parallel computing Linearizability Microarchitecture Computer architecture Computing Computer hardware
189	CCSTM: A Library-Based STM for Scala Nathan G. Bronson Hassan Chafi Kunle Olukotun Add to Reading List Source URL: ppl.stanford.edu Language: English - Date: 2010-03-19 14:15:32 Computing Data Software transactional memory Linearizability Transactional memory Commitment ordering Database transaction Extensible Storage Engine Parallel computing Transaction processing Concurrency control Data management
190	TrC-MC: Decentralized Software Transactional Memory for Multi-Multicore Computers Kinson Chan, Cho-Li Wang The University of Hong Kong {kchan, clwang}@cs.hku.hk Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2011-12-30 02:33:47 Computing Data Databases Programming language implementation Software transactional memory Linearizability Transactional memory Parallel computing Central processing unit Transaction processing Concurrency control Data management

UPDATE