Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
21	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Memory Models Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Computing Concurrent computing Computer architecture Parallel computing Transaction processing Cache coherency Cache coherence Consistency model Sequential consistency Xeon Computer memory Linearizability
22	On Correctness of Data Structures under Reads-Write Concurrency ? Kfir Lev-Ari1 , Gregory Chockler2 , and Idit Keidar1 1 2 Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2014-08-13 06:59:48 Computing Transaction processing Concurrency control Data management Linearizability Sequential consistency Concurrent data structure Parallel computing Algorithm Software transactional memory Programming paradigm Synchronization
23	Data Structures and Algorithms for Data-Parallel Computing in a Managed Runtime THIS IS A TEMPORARY TITLE PAGE It will be replaced for the final print by a version provided by the service academique. Add to Reading List Source URL: axel22.github.io Language: English - Date: 2016-08-13 13:11:44 Computing Concurrent computing Computer programming Concurrent data structure Ctrie Data parallelism Automatic parallelization Thank You Algorithm Linearizability
24	TxLinux: Using and Managing Hardware Transactional Memory in an Operating System Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bhandari, and Emmett Witchel Department of Computer Sci Add to Reading List Source URL: www.sosp2007.org Language: English - Date: 2016-06-15 13:09:51 Concurrency control Computing Transaction processing Software Data management Software transactional memory Lock Transactional memory Linearizability Synchronization Thread Spinlock
25	Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-30 05:58:05 Computing Abstract data types Concurrency control Concurrent computing Transaction processing Computer architecture Linearizability Concurrent programming languages Shared register Queue Sequential consistency XC
26	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Languages and Locks Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Computing Concurrency control Software engineering Computer programming Synchronization Linearizability Mutual exclusion Memory model Non-blocking algorithm Lock Thread Parallel computing
27	Sharing a Sequential Data Structure: Correctness Definition and Concurrency Analysis ∗ Vincent Gramoli Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English - Date: 2012-07-13 04:09:42 Transaction processing Computing Concurrency control Data management Data Linearizability Serializability Schedule Software transactional memory Isolation Concurrent computing Transactional memory
28	Fail-Aware Untrusted Storage§ Christian Cachin∗ Idit Keidar† Alexander Shraer‡ Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2011-01-31 07:19:16 Computing Computer architecture Transaction processing Concurrency control Linearizability Client Permutation Internet Relay Chat Transmission Control Protocol Sequential consistency Model theory
29	Design of Parallel and High-Performance Computing Fall 2013 Lecture: Linearizability Instructor: Torsten Hoefler & Markus Püschel Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-01-06 07:53:19 Concurrency control Computing Computer programming Software engineering Lock Linearizability Resource Acquisition Is Initialization Non-blocking algorithm Thread Mutual exclusion Consistency model Queue
30	Design of Parallel and High Performance Computing HS 2013 Markus P¨ uschel, Torsten Hoefler Department of Computer Science ETH Zurich Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-10-24 15:53:22 Concurrent computing Computing Abstract data types Concurrency control Computer programming Linearizability Transaction processing Inter-process communication Queue FIFO XC Double-ended queue