Non-blocking - PDFSEARCH.IO - Document Search Engine

Non-blocking
Results: 272

#	Item
151	Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012) Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:57 Transaction processing Computer programming Concurrency Theoretical computer science Linearizability Non-blocking algorithm Concurrent data structure Parallel computing Sequential consistency Computing Concurrency control Concurrent computing
152	On the Efficiency of Atomic Multi-Reader, Multi-Writer Distributed Memory Burkhard Englert1 , Chryssis Georgiou2 , Peter M. Musial3 ? , Nicolas Nicolaou4 , and Alexander A. Shvartsman4 ?? 1 Add to Reading List Source URL: www.cs.ucy.ac.cy Language: English - Date: 2009-09-29 15:50:28 Computing Computer architecture Quorum Linearizability Transmission Control Protocol Non-blocking algorithm Replication DEC Alpha Transaction processing Concurrency control Data management
153	Fast Bug Finding in Lock-Free Data Structures with CB-DPOR by Jelle van den Hooff S.B., Massachusetts Institute of Technology, 2013 Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-03-27 16:16:58 Computer programming Concurrency Software bugs Model checking Non-blocking algorithm Circular buffer Linearizability Thread Algorithm Concurrency control Computing Concurrent computing
154	Making Lockless Synchronization Fast: Performance Implications of Memory Reclamation Thomas E. Hart1∗, Paul E. McKenney2, and Angela Demke Brown1 2 University of Toronto IBM Beaverton Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-13 10:09:56 Software engineering Read-copy-update Non-blocking algorithm Thread Concurrent data structure Spinlock Lock Memory barrier ABA problem Concurrency control Computing Computer programming
155	Naproxen plus acid blocking drug shows promise in preventing bladder cancer Add to Reading List Source URL: medicalxpress.com Language: English - Date: 2015-04-01 17:08:27 Non-steroidal anti-inflammatory drugs Proton pump inhibitors Propionic acids AstraZeneca Sulfoxides Naproxen Aspirin Omeprazole Cancer Medicine Pharmacology Chemistry
156	Gridiron Australia Flag Football Competition Rules THIS EVENT IS NON-CONTACT, BLOCKING AND TACKLING ARE NOT ALLOWED. ¾ ¾ ¾ ¾ Add to Reading List Source URL: www.gridironqld.asn.au Language: English - Date: 2011-10-22 08:11:59 American football Canadian football Penalty Snap Line of scrimmage Down Official Forward pass American football positions Football Sports Gridiron football
157	A Study of the Behavior of Synchronization Methods in Commonly Used Languages and Systems Daniel Cederman, Bapi Chatterjee, Nhan Nguyen, Yiannis Nikolakopoulos, Marina Papatriantafilou and Philippas Tsigas Computer Scien Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-08 09:38:14 Software engineering Non-blocking algorithm Lock Monitor Thread Software transactional memory Compare-and-swap Parallel computing Scheduling Concurrency control Computing Concurrent computing
158	Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:16 Concurrency Linearizability Algorithm Tree traversal Mutual exclusion Non-blocking algorithm Concurrent data structure Parallel computing Priority queue Concurrency control Computing Data management
159	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:04 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
160	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:38 Transaction processing Dynamical systems Mathematics Concurrent data structure Linearization Algorithm Parallel computing Model checking Concurrency Concurrency control Computing Linearizability

UPDATE