Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
271	Preemption Adaptivity in Time-Published Queue-Based Spin Locks∗ Bijun He, William N. Scherer III, and Michael L. Scott Technical Report #867 Department of Computer Science University of Rochester Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2005-05-17 12:41:36 Software engineering Lock Spinlock Scheduling Critical section Monitor Linearizability Parallel computing Concurrency control Computing Computer programming
272	Dvi to PostScript converter, Version 2.0 of November 28, 1988 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 18:35:36 Concurrent computing Mutual exclusion Parallel computing Algorithm Non-blocking algorithm Linearizability Lock Test-and-set Concurrency control Concurrency Computing
273	OOPSLA Wkshp. on Curricula for Concurrency, Orlando, FL, Oct[removed]Making the Simple Case Simple Michael L. Scott University of Rochester October 2009 Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:41:56 Concurrency control Transaction processing Parallel computing Automatic parallelization Software transactional memory MultiLisp Transactional memory Thread Linearizability Computing Concurrent computing Computer programming
274	OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL), San Diego, CA, October 2005 A Scalable Elimination-based Exchange Channel William N. Scherer III Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 10:29:59 Concurrency Computer programming Transaction processing Thread Non-blocking algorithm Stack Concurrent data structure Lock Linearizability Concurrency control Computing Concurrent computing
275	Tech. Rep[removed]Scalability of Atomic Primitives on Distributed Shared Memory Multiprocessors Maged M. Michael Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-27 21:03:43 Compare-and-swap Linearizability Test-and-set Fetch-and-add Non-blocking algorithm CPU cache Spinlock Parallel computing Instruction set Concurrency control Computing Computer architecture
276	A Comprehensive Strategy for Contention Management in Software Transactional Memory ∗ Michael F. Spear† Luke Dalessandro† Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2008-12-14 22:00:21 Computing Data Software transactional memory Non-blocking algorithm Lock Serializability Schedule Deadlock Linearizability Transaction processing Concurrency control Data management
277	An Integrated Hardware-Software Approach to Flexible Transactional Memory ∗ Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, and Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2007-03-29 04:48:18 Data Information Software transactional memory Serializability Linearizability Transactional memory Lock Database transaction Nested transaction Transaction processing Concurrency control Data management
278	DISC[removed]Conflict Detection and Validation Strategies for Software Transactional Memory? Michael F. Spear, Virendra J. Marathe, William N. Scherer III, and Michael L. Scott Department of Computer Science Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 10:36:28 Information Concurrency control Software transactional memory Isolation Schedule Linearizability Extensible Storage Engine CPU cache Nested transaction Transaction processing Data management Data
279	Adaptive Software Transactional Memory⋆ Virendra J. Marathe, William N. Scherer III, and Michael L. Scott Department of Computer Science, University of Rochester, Rochester, NY[removed] {vmarathe, scherer, scott}@cs. Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2005-10-11 17:37:40 Computing Data Databases Programming language implementation Software transactional memory Lock Linearizability Non-blocking algorithm Spring Framework Transaction processing Concurrency control Data management
280	David Padua (Ed.) Encyclopedia of Parallel Computing With  Figures and  Tables Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2012-04-23 12:23:36 Concurrency Lock Monitor Non-blocking algorithm Mutual exclusion Thread Critical section Linearizability Compare-and-swap Concurrency control Computing Computer programming

UPDATE