Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
231	Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated Hagit Attiya Rachid Guerraoui Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:22:54 Computing Linearizability Mutual exclusion Algorithm Parallel computing Non-blocking algorithm Compare-and-swap Lock Function Concurrency control Mathematics Concurrency
232	Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-07-08 18:07:14 Sheaf Mathematics Computing Concurrency control Linearizability Transaction processing
233	NUMA-Aware Reader-Writer Locks Irina Calciu Dave Dice Yossi Lev Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2013-01-07 10:10:37 Concurrent computing Readers–writer lock Lock Non-blocking algorithm Linearizability Parallel computing Mutual exclusion Software transactional memory Deadlock Concurrency control Computing Concurrency
234	Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:20 Transaction processing Tree Linked list Data management Mathematics Binary trees Concurrency control Computing Linearizability
235	Early Experience with a Commercial HardwareTransactional Memory Implementation Add to Reading List Source URL: blogs.oracle.com Language: English - Date: 2014-04-28 16:50:53 Concurrency control Computer architecture Computer memory Central processing unit Rock Transactional memory Software transactional memory CPU cache Linearizability Transaction processing Computing Computer hardware
236	Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2012-04-06 10:33:51 Transaction processing Concurrency Computer memory Linearizability Concurrent computing Non-blocking algorithm Memory barrier Sequential consistency Parallel computing Computing Concurrency control Computer architecture
237	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:26:32 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing
238	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:30:20 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
239	¨ t Augsburg Universita Proving Linearizability with Temporal Logic S. B¨ Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:20:17 Concurrency control Algorithm Mathematical logic Theoretical computer science Non-blocking algorithm Linearizability Stack Temporal logic Logic programming Computing Computer programming Software engineering
240	Multiprocessor Considerations for Kernel-Mode Drivers - 9 Multiprocessor Considerations for Kernel-Mode Drivers - 9 Multiprocessor Considerations for Kernel-Mode Drivers - 10 Multiprocessor Considerations for Kernel-Mod Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2006-04-05 17:04:11 Computer memory Memory barrier Architecture of Windows NT Lock Linearizability Spinlock Thread Kernel X86-64 Computing Computer architecture Concurrency control

UPDATE