Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
871	How to miscompile programs with “benign” data races Hans-J. Boehm HP Laboratories Abstract Several prior research contributions [15, 9] have explored Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:25 Compiler construction Programming language implementation Computer memory Concurrency Memory model Programming language design OpenMP Java Memory Model Volatile variable Computing Software engineering Computer programming
872	A. Language Comparison This section reviews other languages and systems relative to the requirements for robust servers and open distributed systems. It also compares the capabilities of Joule with those of its antecede Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:48 Parallel computing Concurrency Actor model Programming language Linda C++ Tuple space Futures and promises Operating system Computing Computer programming Software engineering
873	pthread Tutorial c Copyright 2012 by Peter C. Chapin September 5, 2012 Contents Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2015-03-24 17:52:46 Threads Software engineering Parallel computing C POSIX library POSIX Threads Monitor Lock Pointer Mutual exclusion Computing Concurrency control Computer programming
874	Scheduling and resource allocation with Real-Time Linux Ferdy T.Y. Hanssen 30th OctoberUniversity of Twente Add to Reading List Source URL: www.croky.net Language: English - Date: 2003-07-28 17:14:00 Technology Management Computing Project management Earliest deadline first scheduling Scheduling Priority inversion Priority inheritance Lock Scheduling algorithms Real-time computing Concurrency control
875	A Fast Mutual Exclusion Algorithm Leslie Lamport November 14, 1985 revised October 31, 1986 This report appeared in the ACM Transactions on Computer Systems, Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-26 12:35:19 Concurrent computing Linearizability Non-blocking algorithm Test-and-set Lock Mutual exclusion Parallel computing Deadlock Critical section Concurrency control Computing Concurrency
876	Petri Net Analysis using Invariant Generation Sriram Sankaranarayanan, Henny Sipma and Zohar Manna ? Computer Science Department Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-01-17 02:11:40 Invariant Mathematics Concurrency Diagrams Petri net
877	Software Speculative Multithreading for Java Christopher J.F. Pickett and Clark Verbrugge School of Computer Science, McGill University {cpicke,clump}@sable.mcgill.ca Allan Kielstra Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-02-11 17:39:43 Cross-platform software Concurrency control Programming language implementation Speculative multithreading Computing platforms Multithreading Thread Speculative Java Computing Concurrent computing Parallel computing
878	Minimizing Synchronization Overhead in the Implementation of MPI One-Sided Communication Rajeev Thakur, William Gropp, and Brian Toonen Mathematics and Computer Science Division Argonne National Laboratory Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2004-06-22 14:53:20 Software Application programming interfaces Free software MPICH Public domain software Concurrency control Message Passing Interface Synchronization Lock Computing Parallel computing Computer programming
879	for(A=C;A OpenMP Reference Sheet for C/C++ Add to Reading List Source URL: www.plutospin.com Language: English - Date: 2007-06-24 19:35:41 Application programming interfaces Fortran Software engineering OpenMP Concurrency control Directive Vars Lock Computing Parallel computing Computer programming
880	Christopher J. F. Pickett Ph.D. Thesis Proposal Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-11-25 20:55:44 Parallel computing Threads Compiler optimizations Speculative multithreading Java virtual machine MAJC Multithreading Automatic parallelization Speculative execution Computing Concurrency control Cross-platform software

UPDATE