Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
121	Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Process calculi Theoretical computer science -calculus State-space representation Mathematics Academia Abstraction
122	Administrivia  Design of Parallel and High-Performance Computing Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Concurrency control Computing Computer programming Software engineering Lock Readerswriter lock Non-blocking algorithm Mutual exclusion Spinlock Monitor Fetch-and-add File locking
123	Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-03 05:32:06 Computing Concurrency control Software Software transactional memory Non-blocking algorithm Lock Parallel computing Concurrency Concurrent data structure Separation logic Thread Concurrent computing
124	Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-04-04 10:35:42 Concurrency control Computing Transaction processing Data management Software Compare-and-swap Non-blocking algorithm Linearizability Software transactional memory Stack Reagent Atomicity
125	Hybrid Dynamic Data Race Detection Robert O’Callahan Jong-Deok Choi IBM T. J. Watson Research Center Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:59 Computing Computer programming Concurrency control Software engineering Software design patterns Concurrency Edsger W. Dijkstra Concurrent computing Synchronization Thread-local storage Java memory model Thread
126	Analyzing Concurrency in Streaming Applications Sander Stuijk, Twan Basten ES Reports ISSN Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2005-03-23 03:07:59 Concurrent computing Computing Models of computation Parallel computing Concurrency Distributed computing Emerging technologies Data-intensive computing Petri net Kahn process networks Artificial neural network Algorithm
127	Transactional Memory: How to Perform Load Adaption in a Simple And Distributed Manner David Hasenfratz, Johannes Schneider, Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzer Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:30 Transaction processing Computing Data management Concurrency control Software Databases Software transactional memory Schedule Database transaction Transactional memory Lock Extensible Storage Engine
128	Transactional Data Structure Libraries Alexander Spiegelman ∗ Guy Golan-Gueta Idit Keidar Add to Reading List Source URL: webee.technion.ac.il Language: English - Date: 2016-06-11 14:20:01 Transaction processing Computing Data management Data Concurrency control Databases Software transactional memory Schedule Isolation Two-phase locking Database transaction Extensible Storage Engine
129	Finding faults in multi-threaded programs Cyrille Artho Abstract Multi-threaded programming creates the fundamental problem that the execution of a Add to Reading List Source URL: artho.com Language: English - Date: 2010-02-21 23:14:31 Computing Software engineering Computer programming Concurrency control Java Software design patterns Concurrent computing Concurrency Synchronization Lock Thread safety Thread
130	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing

UPDATE