Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
911	/cygdrive/c/tharris/tocs/2004-tocs-cpwl/figs/structure-5.fig Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-06-01 10:29:30 Data management Software engineering Software transactional memory Transactional memory Linearizability Linked list Lock Typedef Stack Concurrency control Computing Transaction processing
912	Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-07-08 18:07:14 Sheaf Mathematics Computing Concurrency control Linearizability Transaction processing
913	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
914	Haskell on a Shared-Memory Multiprocessor Tim Harris Simon Marlow Simon Peyton Jones Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-01-25 10:53:17 Concurrency control Thunk Thread Non-blocking algorithm Glasgow Haskell Compiler Monitor Haskell Evaluation strategy Futures and promises Computing Software engineering Computer programming
915	Programmation Systèmes Cours 8 — IPC: File Locking Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot - Paris 7 Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:25:24 Data management Lock File descriptor System software Network file systems File system Share Record locking Fcntl.h Concurrency control File locking Computing
916	A Capability Calculus for Concurrency and Determinism ⋆ Tachio Terauchi1 and Alex Aiken2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English Entailment Logical consequence Logical syntax Metalogic Function Symbol Logic Mathematics Deduction
917	The URScript Programming Language Version 1.7 February 1, 2013 The information contained herein is the property of Universal Robots A/S and shall Add to Reading List Source URL: www.wmv-robotics.de Language: English - Date: 2015-01-11 06:44:41 Concurrency control Threads Scope Monitor Thread Parallel computing Global variable Critical section Variable Software engineering Computing Computer programming
918	READ-COPY UPDATE: USING EXECUTION HISTORY TO SOLVE CONCURRENCY PROBLEMS JOHN D. SLINGWINE 1825 NW 167th Pl. Beaverton, ORUSA 1 Add to Reading List Source URL: www.rdrop.com Language: English - Date: 2002-02-08 14:17:38 Software engineering Read-copy-update Lock Spinlock Thread Non-blocking algorithm Parallel computing Critical section Central processing unit Concurrency control Computing Computer programming
919	Programmation Système Cours 6 — File Locking Stefano Zacchiroli Laboratoire PPS, Université Paris Diderot Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-03-04 11:06:09 File system Computing Share Data management System software Fcntl.h File locking Concurrency control Lock
920	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data

UPDATE