Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
31	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-10-26 16:22:37 Computing Computer architecture Software engineering Computer memory Transaction processing Concurrency Compiler construction Linearizability Memory ordering Consistency model Cache coherence Sequential consistency
32	Rand-array-sim-M1000-detail.eps Add to Reading List Source URL: www.eecs.harvard.edu Language: English Transaction processing Computing Concurrency control Software Data management Software transactional memory Transactional memory Linearizability Lock Extensible Storage Engine Database transaction
33	Design of Parallel and High-Performance Computing Fall 2015 Lecture: Locks and Lock-Free continued Motivational video: https://www.youtube.com/watch?v=-7Bpo1Quxyw Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Concurrency control Computing Computer architecture Concurrent computing Readerswriter lock Non-blocking algorithm Lock Linearizability Parallel computing Consensus Mutual exclusion File locking
34	University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2015-04-24 09:43:54 Theoretical computer science Logic in computer science Formal methods Software engineering Formal verification Refinement Linearizability Correctness Operational semantics Semantics Concurrency Algorithm
35	Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringQuiz I Solutions Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:34 Concurrency control Computing Software Computer programming Lock Monitor File locking Synchronization Linearizability Mutual exclusion
36	The Push/Pull Model of Transactions Eric Koskinen ∗ Matthew Parkinson IBM TJ Watson Research Center, USA Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2015-04-25 13:38:13 Transaction processing Computing Data management Data Concurrency control Databases Software transactional memory Serializability Schedule Isolation Database transaction Linearizability
37	Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , . Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-03 23:34:26 Concurrency control Software transactional memory Compare-and-swap Non-blocking algorithm ABA problem Monitor Hazard pointer Lock Load-link/store-conditional Linearizability Mutual exclusion Thread safety
38	Reducing contention in STM Panagiota Fatourou Department of Computer Science University of Crete & FORTH ICS Mykhailo Iaremko1 Add to Reading List Source URL: rp-www.cs.usyd.edu.au Language: English Concurrency control Transaction processing Software transactional memory Lock Non-blocking algorithm Linearizability Transactional memory Parallel computing Go Synchronization Symposium on Parallelism in Algorithms and Architectures
39	Design of Parallel and High-Performance Computing Fall 2015 Lecture: Lock-Free and distributed memory Motivational video: https://www.youtube.com/watch?v=PuCx50FdSic Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-30 04:19:15 Concurrency control Lock Consensus Non-blocking algorithm Linearizability Thread Synchronization Parallel computing Ticket lock Monitor
40	Implementing MPI-IO Atomic Mode Without File System Support Robert Ross Robert Latham William Gropp Rajeev Thakur Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2016-08-16 11:52:12 Concurrency control Lock MPICH File locking Linearizability Mutual exclusion Fetch-and-add Parallel computing Synchronization Test-and-set Message Passing Interface