Linearizability - PDFSEARCH.IO - Document Search Engine

Linearizability
Results: 416

#	Item
121	Yale University Department of Computer Science A one-bit swap object using test-and-sets and a max register James Aspnes1 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Computer architecture Linearizability Read-modify-write Swap Test-and-set Dc Concurrency control Computing Computer programming
122	Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2012-09-10 16:24:23 Computer programming Lock Monitor Thread Software bug Non-blocking algorithm Mutual exclusion Deadlock Linearizability Concurrency control Computing Concurrent computing
123	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.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
124	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.cs.technion.ac.il Language: English - Date: 2009-09-25 09:17:50 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability
125	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: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Concurrent computing Computer architecture Models of computation Parallel computing Software transactional memory Thread Linearizability Concurrent data structure Lock Computing Concurrency control Transaction processing
126	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-04-10 10:02:52 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
127	Distributed Computing Pierre Fraigniaud Fédération d’Informatique Fondamentale de Paris Diderot Journée de la Fédération IFP, 7 février 2014 Add to Reading List Source URL: www.fifp.univ-paris-diderot.fr Language: English - Date: 2014-02-10 06:32:00 Consensus Distributed computing Dijkstra Prize Asynchrony Linearizability Concurrent computing Computing Fault-tolerant computer systems
128	Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-07-05 11:53:12 Data management Lock Software bug Deadlock Linearizability Linux kernel Mutual exclusion Parallel computing Debugging Concurrency control Computing Software
129	Programming Language Memory Models: What do Shared Variables Mean? Hans-J. Boehm Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Concurrent computing Java platform Computer memory Parallel computing Thread Java Memory Model Lock Linearizability Memory model Computing Transaction processing Concurrency control
130	Scalable Atomic Visibility with RAMP Transactions Peter Bailis, Alan Fekete† , Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica UC Berkeley and † University of Sydney ABSTRACT Databases can provide scalability by partit Add to Reading List Source URL: amplab.cs.berkeley.edu Language: English - Date: 2014-04-24 17:03:12 Data Information Databases Database management systems Snapshot isolation Multiversion concurrency control Serializability Isolation Linearizability Transaction processing Concurrency control Data management

UPDATE