Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
741	Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte, Sebastian Burckhardt, Milo Martin, Madan Musuvathi University of Pennsylvania Microsoft Research Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-09-25 13:24:11 Schedule Information Computer science Computing Association for Computing Machinery Programming Language Design and Implementation Needlepoint
742	Microsoft Word - Clutter poster paper _3_.docx Add to Reading List Source URL: larc.unt.edu Language: English - Date: 2011-09-20 15:44:25 Diagrams Petri nets Thought Petri Type–token distinction Procedural generation Abstract object Cognition Ethology Abstraction Models of computation Concurrency
743	Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte Sebastian Burckhardt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-03-28 19:52:42 Concurrency control Scheduling algorithms Scheduling Software bugs Parallel computing Thread Multithreading Non-blocking algorithm Lock Computing Concurrent computing Computer programming
744	In presenting this dissertation in partial fulllment of the requirements for the Doctoral degree at the University of Washington, I agree that the Library shall make its copies freely available for inspection. I further Add to Reading List Source URL: www.sigmobile.org Language: English - Date: 2013-08-14 12:38:09 Priority inversion Lock Parallel computing Software Electronics Concurrency control Responsiveness Computing
745	User-Level Implementations of Read-Copy Update Add to Reading List Source URL: www.efficios.com Language: English - Date: 2011-08-30 18:02:32 Concurrent computing Read-copy-update Readers–writer lock Lock ABA problem Non-blocking algorithm Critical section Memory barrier Thread Concurrency control Computing Concurrency
746	MEMORY MODEL SENSITIVE ANALYSIS OF CONCURRENT DATA TYPES Sebastian Burckhardt A DISSERTATION in Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-11-21 12:53:21 Theoretical computer science Computer programming Concurrency control Model checking Parallel computing Linearizability Correctness Software bug Consistency model Computing Transaction processing Software engineering
747	The Future of Concurrency in C++ Anthony Williams Just Software Solutions Ltd http://www.justsoftwaresolutions.co.uk Add to Reading List Source URL: www.accu.org Language: English - Date: 2008-04-14 09:54:34 Concurrent computing Threads C++ C++11 Lock Futures and promises Mutual exclusion Multithreading Monitor Computing Concurrency control Computer programming
748	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:28:12 Concurrency Diagrams Petri net Order theory Adjoint functors Pullback Subcategory Category Morphism Category theory Mathematics Abstract algebra
749	Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications Jean-Pierre Lozi Florian David Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-30 06:29:06 Computer programming Lock Non-blocking algorithm Thread Critical section Spinlock POSIX Parallel computing CPU cache Computing Concurrency control Concurrent computing
750	PROVING CORRECTNESS OF ACTOR SYSTEMS USING FIFO COMMUNICATION By Ian W. Dunn A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-02-03 22:36:36 Actor model Sieve of Eratosthenes FIFO Number Sieve Computing Concurrent computing Concurrency

UPDATE