Thread - PDFSEARCH.IO - Document Search Engine

Thread
Results: 3372

#	Item
961	Separating Functional and Parallel Correctness using Nondeterministic Sequential Specifications Jacob Burnim, George Necula, and Koushik Sen Department of Computer Science, University of California, Berkeley {jburnim,nec Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:14:09 Models of computation Applied mathematics Concurrent computing Parallel computing Correctness Finite-state machine Linearizability Thread Algorithm Computing Theoretical computer science Computer science
962	Aeolus Reference Manual Barbara Liskov Contents 1 Introduction Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2012-08-09 14:39:36 Thread Aeolus Fork HTML element Computing Cross-platform software Java
963	Async David House Mark Shinwell Jane Street Europe Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:36:02 Functional languages OCaml Caml Computation E Monad Thread Computing Computer programming Software engineering
964	Thimble & Thread Quilt Guild of Greater St. Louis Invites you To Quilt Expo 2015 “Quilt Add to Reading List Source URL: www.thimbleandthreadstl.org - Date: 2014-12-21 17:16:37
965	The Manticore Project John Reppy University of Chicago January 20, 2009 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-09-14 22:13:42 Computer programming SIMD Scalability Thread OpenMP NESL Computing Concurrent computing Parallel computing
966	Operating System Resource Management Burton Smith Technical Fellow Microsoft Corporation Add to Reading List Source URL: computerlectures.pnnl.gov Language: English - Date: 2011-01-27 11:45:00 Operations research Planning Input/output Thread Latency Blocking Non-blocking algorithm Kernel Micro-Threads Computing Concurrent computing Scheduling
967	Determination of True Position, of a Threaded Hole, Using a Coordinate Measuring Machine Tony Bryce Sandia National Laboratories Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Compa Add to Reading List Source URL: www.cenam.mx Language: English - Date: 2009-10-01 12:51:42 Fasteners Screw thread Screw Gage Construction Manufacturing Threading Screws Technology
968	Practical MultiThreading Dietmar Kühl Bloomberg L.P. Copyright Notice Add to Reading List Source URL: accu.org Language: English - Date: 2008-04-17 03:58:28 Concurrency Monitor Lock Thread Multithreading Mutual exclusion C++11 Concurrency control Computing Computer programming
969	Memory Accounting Without Partitions Adam Wick Matthew Flatt Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2004-08-02 11:13:54 Concurrent computing Memory management Automatic memory management Garbage collection Racket Process Thread Garbage Lock Computing Computer programming Software engineering
970	WWW.DRAGONFLYBSD.ORG Light Weight Kernel Threading and User Processes LWKT SUBSYSTEM CPU #1 Add to Reading List Source URL: www.dragonflybsd.org Language: English - Date: 2015-05-14 14:09:35 Concurrent computing Thread Critical section Chemistry Scheduling Polychlorinated biphenyl Transmission Control Protocol Computing Concurrency control Computer programming