Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
341	Tech Digest Figure Template_2 column_01-06-12 Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:14:49 Concurrency control Predicate logic Programming paradigms Transaction processing Linearizability Logic programming First-order logic Parallel computing Extensible Storage Engine Logic Mathematical logic Mathematics
342	Automatic Atomicity Verification for Clients of Concurrent Data Structures Mohsen Lesani, Todd Millstein, and Jens Palsberg University of California, Los Angeles {lesani, todd, palsberg}@cs.ucla.edu Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-05-14 20:27:08 Concurrency control Transaction processing Concurrent computing Databases Linearizability Atomicity Concurrent data structure Mereology Serializability Computing Computer programming Data management
343	Putting Opacity in its Place Mohsen Lesani Computer Science Department University of California, Los Angeles, CA ABSTRACT Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-08-15 23:50:13 Computing Data Software transactional memory Algorithm Model theory Linearizability Serializability Opacity Concurrency control Transaction processing Data management
344	Specifying Transactional Memories with Nontransactional Operations Mohsen Lesani Victor Luchangco Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-10-26 02:05:50 Data Information Software transactional memory Serializability Linearizability Schedule Transactional memory Database transaction Extensible Storage Engine Transaction processing Concurrency control Data management
345	Proving Non-opacity Mohsen Lesani and Jens Palsberg UCLA, University of California, Los Angeles {lesani,palsberg}@ucla.edu Abstract. Guerraoui and Kapalka defined opacity as a safety criterion Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-02-17 15:44:48 Data Computing Databases Snapshot isolation Linearizability Isolation Serializability Algorithm Schedule Transaction processing Data management Concurrency control
346	COST Action Euro-TM European researchers unite to unleash the potential of multi-core architectures Since 2011, BSC has been participating in the COST (European Cooperation in Science and Technology) Action Euro-TM, brin Add to Reading List Source URL: www.bsc.es Language: English - Date: 2014-07-14 08:14:45 Concurrent computing Concurrency Microprocessors Digital signal processing Parallel computing Multi-core processor Transactional memory Central processing unit Linearizability Concurrency control Transaction processing Computing
347	Pitfalls of lazy subscription ∗ Dave Dice Timothy L. Harris Alex Kogan Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2014-07-03 10:25:45 Data Information Linearizability Lock Rock Non-blocking algorithm Transactional memory Database transaction Parallel computing Concurrency control Transaction processing Data management
348	Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing
349	Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Serializability Linearizability Transactional memory Schedule Non-blocking algorithm Transmission Control Protocol Concurrency control Transaction processing Computing
350	DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism Hyojin Sung, Rakesh Komuravelli, and Sarita V. Adve Department of Computer Science University of Illinois at Urbana-Champaign {sung12, komurav1, sadve} Add to Reading List Source URL: rsim.cs.illinois.edu Language: English - Date: 2013-02-13 15:41:56 Concurrent computing Transaction processing Computer memory CPU cache Central processing unit MESI protocol Lock Cache Linearizability Computing Cache coherency Concurrency control

UPDATE