Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
71	Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2013-03-28 17:48:03 Concurrency control Computing Computer programming Concurrent computing Non-blocking algorithm Hazard pointer Mutual exclusion Lock Concurrent data structure Synchronization Compare-and-swap Linearizability
72	Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces Alysson Neves Bessani† Miguel Correia‡ Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2006-03-31 09:01:56 Computing Concurrent computing Fault-tolerant computer systems Distributed computing architecture Distributed computing Consensus Linearizability Tuple space Tuple Algorithm Linda Distributed object
73	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luj´an, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Concurrency control Transaction processing Parallel computing Computer architecture Concurrent programming languages Software transactional memory Linearizability Thread Concurrent data structure Lock Dataflow Transactional memory
74	The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014 Add to Reading List Source URL: www.sigplan.org Language: English - Date: 2016-02-02 16:06:41 Computer memory Parallel computing Concurrent computing Compiler construction Programming language design Linearizability Memory model C++ Thread Abstraction Concurrency Memory barrier
75	Characterizing Progress Properties of Concurrent Objects via Contextual Refinements Hongjin Liang1,2 , Jan Hoffmann2 , Xinyu Feng1 , and Zhong Shao2 1 University of Science and Technology of China Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2013-07-18 23:10:16 Concurrency control Linearizability Non-blocking algorithm Monitor Lock Deadlock Synchronization Thread Liveness
76	IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL. 20, NO. X, Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2009-01-14 15:05:32 Fault-tolerant computer systems Distributed computing Consensus Linearizability State machine replication Tuple space Algorithm Extensible Storage Engine
77	Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2015-08-28 00:01:08 Transaction processing Concurrency control Transactional memory Lock Linearizability Atomicity Synchronization Parallel computing Memory model Commitment ordering Software transactional memory
78	Mechanized Verification of   Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Computing Software Concurrency control Separation logic Lock Concurrency Non-blocking algorithm Concurrent computing Parallel computing Linearizability Go
79	The C11 and C++11 Concurrency Model Mark John Batty Wolfson College University of Cambridge Saturday 29th November, 2014 Add to Reading List Source URL: sigplan.org Language: English - Date: 2016-02-02 16:06:41 Computer memory Parallel computing Concurrent computing Compiler construction Programming language design Linearizability Memory model C++ Thread Abstraction Concurrency Memory barrier
80	Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++) Add to Reading List Source URL: www.hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computing Software engineering Concurrent computing Concurrency Parallel computing Computer memory Compiler construction OpenMP Lock Memory model Barrier Linearizability