Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
781	Concurrency User Guide Release 1.0 Dylan Hackers June 11, 2014 Add to Reading List Source URL: opendylan.org Language: English - Date: 2014-06-10 22:35:37 Computer programming Legal professions Executor Java Queue Computing Software engineering Legal terms
782	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
783	Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-09 07:12:42 Diagrams Petri net Software engineering Computer science Logic in computer science Postcondition Logic programming Constructible universe Theoretical computer science Models of computation Concurrency
784	Event Structures, Stable Families and Concurrent Games Notes for “Distributed Games and Strategies” ACS2015 Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-02-19 08:49:32 Computer science Applied mathematics Concurrency Denotational semantics Concurrent computing Actor model Game semantics Determinacy Petri net Theoretical computer science Logic in computer science Models of computation
785	Programming with ZooKeeper - A basic tutorial Add to Reading List Source URL: zookeeper.apache.org Language: English - Date: 2011-12-29 18:34:45 Concurrency Producer-consumer problem Java Constructor Zookeeper Java programming language Computing Object-oriented programming Software engineering
786	Programming with ZooKeeper - A basic tutorial Add to Reading List Source URL: zookeeper.apache.org Language: English - Date: 2011-12-16 18:33:33 Concurrency Producer-consumer problem Java Constructor Zookeeper Java programming language Computing Object-oriented programming Software engineering
787	Microsoft Word - ABargiela_lectures.doc Add to Reading List Source URL: www.bluefern.canterbury.ac.nz Language: English - Date: 2014-03-10 20:20:49 Concurrency Computer programming Communication Synchronization Parallel computing Concurrent computing Distributed computing Ada Lock Computing Concurrency control Software engineering
788	An introduction to Linux IPC linux.conf.au 2013 Canberra, Australia Add to Reading List Source URL: man7.org Language: English - Date: 2015-05-07 06:42:59 Computer programming Unix Inter-process communication Application programming interfaces POSIX Mutual exclusion Shared memory Lock Semaphore Computing Concurrency control Concurrent computing
789	Working With Ruby Threads Copyright (CJesse Storimer. This book is dedicated to Sara, Inara, and Ora, who make it all worthwhile. Contents Introduction Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-29 15:48:40 Computer programming Threads Lock Monitor Futures and promises Mutual exclusion Rubinius Global Interpreter Lock Computing Concurrency control Concurrent computing
790	High Volume Transaction Processing Without Concurrency Control, Two Phase Commit, SQL or C++ Arthur Whitney Dennis Shasha Stevan Apter Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-09-15 02:03:57 Information Database management systems Databases Concurrency control Database transaction Serializability Transaction log Algorithms for Recovery and Isolation Exploiting Semantics Extensible Storage Engine Transaction processing Data management Data

UPDATE