Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
681	Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-08-20 04:50:41 Concurrent computing Thread Synchronization Deadlock Parallel computing Algorithm Lock Mutual exclusion Computer programming Concurrency Computing Computer science
682	A Limited-Use Atomic Snapshots with Polylogarithmic Step Complexity JAMES ASPNES, Yale University HAGIT ATTIYA, Technion KEREN CENSOR-HILLEL, Technion FAITH ELLEN, University of Toronto Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Pointer Computing Data management Computer programming Concurrency control Linearizability Transaction processing
683	Yang Zhang 715 Broadway Room 705  New York, NY 10003  (917) 826-‐6910   http://yzhang.net/ EDUCAT Add to Reading List Source URL: www.yzhang.net Language: English - Date: 2015-02-12 19:02:19 Concurrency control Databases Transaction processing New York University Tsinghua University Symposium on Operating Systems Principles Linux Python Serializability Computing Software engineering Data management
684	10-pldi-adve-boehm-tutorial Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Compiler construction Concurrency Programming language design Memory model Parallel computing Thread Memory barrier Parallel programming model Computing Software engineering Computer memory
685	High Performance Dynamic Lock-Free Hash Tables and List-Based Sets Maged M. Michael IBM Thomas J. Watson Research Center P.O. Box 218 Yorktown Heights NYUSA Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2004-08-02 14:09:15 Computer programming Linked list Hash table Trie Mutual exclusion Non-blocking algorithm Compare-and-swap Software transactional memory Tree traversal Concurrency control Computing Data management
686	Combining Concurrency Abstractions Philipp Haller Typesafe, Switzerland Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2013-05-22 06:19:31 Actor model Futures and promises Inter-process communication Scala Futures contract Closure Computing Software engineering Computer programming
687	Testing Atomicity of Composed Concurrent Operations Ohad Shacham Nathan Bronson Alex Aiken Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-29 13:53:58 Data management Data Concurrent computing Linearizability Atomicity Lock Concurrent data structure Parallel computing Concurrency Concurrency control Transaction processing Computing
688	Spanner: Google’s Globally-Distributed Database James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, JJ Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson Add to Reading List Source URL: static.googleusercontent.com Language: English - Date: 2015-05-08 14:51:37 Information Concurrency control Fault-tolerant computer systems Databases Two-phase commit protocol Replication Paxos Isolation Optimistic concurrency control Transaction processing Data management Data
689	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
690	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

UPDATE