Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
751	The Mthread plugin Frama-C’s Mthread plug-in Version 0.9 for OxygenBoris Yakobowski with Richard Bonichon Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Thread Parallel computing Futures and promises Graph Concurrency control Computing Concurrent computing Concurrency
752	Matthew Dillon DragonFly BSD Project 08 January 2004 DragonFly Status Add to Reading List Source URL: www.dragonflybsd.org Language: English - Date: 2015-05-14 14:09:35 Concurrency Thread Critical section Lock Scheduling Slab allocation C dynamic memory allocation Serializing tokens Concurrency control Computing Computer programming
753	Linux Plumbers ConferenceUserspace RCU Library: RCU Synchronization and RCU/Lock-Free Data Containers for Userspace E-mail: Add to Reading List Source URL: www.efficios.com Language: English - Date: 2011-09-09 03:51:05 Concurrent computing Thread Queue Non-blocking algorithm Double-ended queue Computer programming Read-copy-update Abstract data types Concurrency control Computing
754	Concurrency Oriented Programming in Termite Scheme Guillaume Germain Marc Feeley Stefan Monnier Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:22 Ericsson Erlang Gambit Inter-process communication Actor model Continuation Scheme Message passing Daemon Computing Software engineering Computer programming
755	Finding and Reproducing Heisenbugs in Concurrent Programs Madanlal Musuvathi Microsoft Research Shaz Qadeer Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:19 Concurrency control Threads Scheduling Critical section Lock Concurrent data structure Multithreading Monitor Kernel Computing Computer programming Concurrent computing
756	Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:18:02 Computing Data Linearizability Serializability Transactional memory Lock Thread safety Non-blocking algorithm Atomicity Concurrency control Transaction processing Data management
757	Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRSeptember 14, 2012 Add to Reading List Source URL: www.pmg.lcs.mit.edu Language: English - Date: 2012-09-18 11:16:47 Thread Java Platform Standard Edition Java Lock Aeolus Fork Parallel computing Exception handling Computing Concurrency control Concurrent computing
758	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.eecs.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
759	Parallel and Concurrent Programming in Haskell version 1.2 Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-05-11 11:31:34 Functional programming Monad Haskell Glasgow Haskell Compiler Parallel computing Concurrent computing Parallel programming model Futures and promises Concurrency Computing Software engineering Computer programming
760	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation

UPDATE