Non-blocking - PDFSEARCH.IO - Document Search Engine

Non-blocking
Results: 272

#	Item
171	Proving Correctness of Highly-Concurrent Linearisable Objects Viktor Vafeiadis Maurice Herlihy∗ Computer Laboratory, University of Cambridge Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:47 Data management Monitor Tree traversal Parallel computing B-tree Linearizability Mutual exclusion Non-blocking algorithm Thread Concurrency control Computing Computer programming
172	Wait-Free Synchronization MAURICE HERLIHY Digital Equipment Corporation Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2005-11-28 07:56:27 Concurrent computing Consensus Linearizability Communications protocol Lock Process Semaphore Futures and promises Non-blocking algorithm Concurrency control Computing Concurrency
173	The Relative Power of Synchronization Primitives Maurice Herlihy CS176 Fall 2003 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-11 12:16:44 Concurrency Linearizability Non-blocking algorithm Mutual exclusion Maurice Herlihy Herlihy Thread Queue FIFO Concurrency control Computing Concurrent computing
174	Lightweight Concurrency Primitives for GHC Peng Li Simon Marlow Simon Peyton Jones Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2007-09-13 19:14:58 Concurrency control Concurrent computing Thread Continuation Scheduling Non-blocking algorithm Software transactional memory Context switch Monad Computing Software engineering Computer programming
175	A Scalable Lock-free Stack Algorithm Danny Hendler ∗ Nir Shavit Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2007-02-14 04:11:10 Software engineering Abstract data types Concurrent computing Stack Non-blocking algorithm Linearizability Exponential backoff ABA problem Double-ended queue Computing Concurrency control Computer programming
176	MAMA: Mostly Automatic Management of Atomicity Christian DeLozier Joseph Devietti Milo M. K. Martin Add to Reading List Source URL: wodet.cs.washington.edu Language: English - Date: 2014-02-18 08:50:21 Concurrent computing Data management Computer memory Databases Deadlock Lock Linearizability Parallel computing Non-blocking algorithm Computing Concurrency control Transaction processing
177	Hardware Acceleration of Software Transactional Memory∗ Arrvindh Shriraman, Virendra Marathe, Sandhya Dwarkadas, Michael L. Scott David Eisenstat, Christopher Heriot, William N. Scherer III, and Michael F. Spear Techni Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2006-03-13 14:43:04 Computing Data Software transactional memory Transactional memory Lock Linearizability Database Non-blocking algorithm Cache coherence Concurrency control Transaction processing Data management
178	Performance and Energy Consumption Evaluation of the Client-Server Synchronization Model for Concurrent Lists in Embedded Systems Lazaros Papadopoulos1 , Ivan Walulya2 Paul Renaud-Goud2 , Philippas Tsigas2 , Dimitrios So Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2015-01-12 08:06:52 Computer programming Inter-process communication Scheduling algorithms Abstract data types Cybernetics FIFO Non-blocking algorithm Lock Concurrent data structure Computing Concurrent computing Concurrency control
179	Compiler Aided Manual Speculation for High Performance Concurrent Data Structures ∗ Lingxiang Xiang Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2013-01-07 09:48:21 Computer programming Lock Software transactional memory Non-blocking algorithm Linearizability Readers–writer lock Algorithmic efficiency Skip list Test-and-set Concurrency control Computing Data management
180	Brief Announcement: A Generic Construction for Nonblocking Dual Containers ∗ Joseph Izraelevitz Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2014-05-08 17:50:02 Software engineering Data structures Concurrent computing Concurrency Non-blocking algorithm Double-ended queue Container Stack Thread Computing Abstract data types Computer programming

UPDATE