Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
81	Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING Add to Reading List Source URL: courses.cs.vt.edu Language: English - Date: 2007-06-27 08:16:17
82	Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2 Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2011-01-04 17:23:47 Software engineering Computing Computer programming Concurrency control Transaction processing Complexity classes Java Functional languages Deterministic Parallel Java Determinism Deterministic algorithm Linearizability
83	NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems Haris Volos1 , Adam Welc2 , Ali-Reza Adl-Tabatabai2 , Tatiana Shpeisman2 , Xinmin Tian2 , and Ravi Narayanaswamy2 1 Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2009-10-23 19:11:51 Computing Concurrent computing Concurrency control Transaction processing Computer programming Parallel computing Databases Concurrent programming languages OpenMP Software transactional memory Linearizability Lock
84	Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough Richard M. Yoo† Bratin Saha‡ Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2008-08-19 15:01:33 Concurrency control Transaction processing Software transactional memory Transactional memory Lock Linearizability Parallel computing Monitor Non-blocking algorithm
85	Software Transactional Memory Validation – Time and Space Considerations Adam Welc Bratin Saha Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2013-10-27 15:19:50 Transaction processing Concurrency control Data management Software transactional memory Database transaction Data validation Isolation Optimistic concurrency control Lock Linearizability Validation Transactional memory
86	Towards Transactional Memory Semantics for C++ Tatiana Shpeisman Ali-Reza Adl-Tabatabai Robert Geva Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2009-10-23 19:11:53 Computing Transaction processing Concurrency control Data management Data Serializability Transactional memory Linearizability Software transactional memory Lock Atomicity Database transaction
87	PDF Document Add to Reading List Source URL: www.adamwelc.org Language: English - Date: 2008-08-19 13:38:01 Computing Transaction processing Concurrency control Data management Software Transactional memory Software transactional memory Lock Linearizability Synchronization Mutual exclusion Isolation
88	Replication, fault tolerance, and load balancing George Porter CSE 124 Mar 3, 2015 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2015-03-03 13:01:09 Data Information Databases Lock Serializability Isolation Linearizability ACID Commitment ordering Transaction processing Concurrency control Data management
89	Administrivia • Please say your name if you answer a question today • If we don’t have a photo of you yet, stay after class • If you didn’t get test email, let us know – p. 1/20 Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2006-09-28 18:49:53 Computer memory Concurrency control Linearizability Data Sequential consistency Parallel computing Consistency model Circular buffer Write Transaction processing Computing Computer architecture
90	A Case for System Support for Concurrency Exceptions Luis Ceze, Joseph Devietti, Brandon Lucia and Shaz Qadeer† University of Washington {luisceze, devietti, blucia0a}@cs.washington.edu Abstract Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2009-03-19 20:35:38 Data management Data Linearizability Lock Transactional memory Parallel computing Atomicity Serializability Exception handling Computing Concurrency control Transaction processing

UPDATE