Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
921	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
922	Effective Static Deadlock Detection Mayur Naik Intel Research Chang-Seo Park and Koushik Sen Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2009-04-03 16:44:05 Computer programming Software engineering Deadlock Lock Non-blocking algorithm Thread Reentrancy Parallel computing Concurrency control Computing Concurrency
923	MAINTAINING TRANSACTIONAL INTEGRITY IN LONG RUNNING WORKFLOW SERVICES: A POLICY-DRIVEN FRAMEWORK Thesis submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.le.ac.uk Language: English - Date: 2013-08-15 11:25:19 Data Workflow Business Process Execution Language Concurrency control Database Workflow technology Management Systems engineering
924	WG14 N1421 INCITS PL22.11/09-‐0001 ISO/JTC1/SC22/WG14 AND INCITS PL22.11 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2009-12-15 20:21:48 C programming language Cross-platform software C11 Concurrency control C Volatile variable Computing Software engineering Computer programming
925	Atomics in C++0x Atomics in C++0x Atomics in C++0x Add to Reading List Source URL: accu.org Language: English - Date: 2010-06-05 04:56:06 Software engineering Computer memory X86 instructions C++ Computer arithmetic C++11 Memory barrier Lock INT Computing Computer architecture Concurrency control
926	Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider David Gay Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-07-12 19:27:44 Concurrency control Computer memory Compiler construction Programming language implementation Transaction processing Memory barrier Volatile variable TinyOS Memory model Computing Software engineering Computer programming
927	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2010; 00:1–16 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe KLONOS: Similarity-Based Pla Add to Reading List Source URL: web.cs.uh.edu Language: English - Date: 2012-10-16 22:22:35 Procedural programming languages Bioinformatics Matrices Computational phylogenetics Source code Subroutine Fortran Programming paradigm Substitution matrix Software engineering Computing Computer programming
928	McGill University School of Computer Science Sable Research Group Memory Abstractions for Speculative Multithreading Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2008-10-20 18:49:32 Parallel computing Concurrent computing Memory management Control flow Concurrency control Call stack Thread Speculative multithreading Stack Computing Computer programming Software engineering
929	Automatic Fine-Grain Locking using Shape Properties Guy Golan-Gueta Nathan Bronson Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-08-21 21:41:00 Data Computing Binary trees Databases Schedule Lock Linearizability Serializability Skew heap Transaction processing Data management Concurrency control
930	McGill University School of Computer Science Sable Research Group libspmt: A Library for Speculative Multithreading Sable Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-05-18 00:38:26 Parallel computing Concurrent computing Threads Control flow Concurrency control Speculative multithreading Speculative Multithreading C dynamic memory allocation Computing Computer programming Software engineering

UPDATE