Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
761	Light-Weight Execution Agents Revision 3 Document number: Revises: Date: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-13 05:27:58 Concurrency control Threads Spinlock Monitor Non-blocking algorithm Lock Futures and promises Critical section Parallel computing Computing Concurrent computing Computer programming
762	Distributed Games and Strategies Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-03-17 07:19:58 Logic in computer science Computer science Applied mathematics Denotational semantics Petri net Determinacy Strategy Models of computation Theoretical computer science Concurrency
763	Predicting Atomicity Violations in Concurrent Programs via Planning Niloofar Razavi Azadeh Farzan Sheila A. McIlraith Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Data Information Data management Databases Linearizability Lock Parallel computing Serializability Mereology Concurrency control Transaction processing Computing
764	Robots everywhere: the next step after PCs ? with MSRS ? Bernhard Merkle Central Unit Research & Development Software-Engineering Add to Reading List Source URL: accu.org Language: English - Date: 2008-04-14 07:00:02 Microsoft Robotics Developer Studio Tandy Trower Lego Mindstorms Concurrency and Coordination Runtime Robot Software Robotics Computing
765	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.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
766	SoftBase Logo white w Tag Add to Reading List Source URL: www.softbase.com Language: English - Date: 2011-10-19 08:36:30 Concurrency Deadlock Batch processing Lock Computer programming IBM DB2 Concurrency control Computing Concurrent computing
767	Distributed Computations Driven by Resource Consumption Luc Moreau Christian Queinnec Department of Electronics and Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2007-01-11 10:22:56 Parallel computing Application programming interfaces Threads Actor model Distributed computing Process Message Passing Interface Concurrency Multithreading Computing Concurrent computing Computer programming
768	Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile. Chapter 16 Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-29 15:48:40 Software engineering Thread Monitor Lock Mutual exclusion Reentrant mutex Producer-consumer problem Concurrency control Computing Computer programming
769	Using the Lock Manager to Choose Timestamps David Lomet Microsoft Research Redmond, WA, USA Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2007-09-25 20:50:49 Concurrency control Information Databases Timestamp-based concurrency control Serializability Isolation Commitment ordering Timestamp Database transaction Transaction processing Data management Data
770	Abstractions for Usable Information Flow Control in Aeolus Winnie Cheng∗ Victoria Popic† Dorothy Curtis MIT CSAIL Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2012-05-03 16:38:36 Concurrent computing Thread Aeolus Lock Parallel computing Session Dubai International Financial Centre Greek mythology Computing Concurrency control

UPDATE