Thread - PDFSEARCH.IO - Document Search Engine

Thread
Results: 3372

#	Item
891	Runtime Model Checking of Multithreaded C Programs using Automated Instrumentation Dynamic Partial Order Reduction and Distributed Checking ⋆ Ganesh Gopalakrishnan Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2007-12-21 11:36:45 Application programming interfaces Parallel computing Model checking Formal methods Logic in computer science Principles of Programming Languages SPIN model checker Thread Formal verification Computing Computer science Computer programming
892	Saint-Petersburg State University Department of Computational Physics Sergei A. Nemnyugin Add to Reading List Source URL: parserplus.com Language: English - Date: 2011-07-25 15:45:34 Parallel computing Parallel programming model Task parallelism Unified Parallel C OpenMP Message Passing Interface Thread Programming paradigm Scalability Concurrent computing Computing Computer programming
893	Research on Analysis of Factors Influencing Terrestrial Transmission Efficiency of Satellite Data Files Zhang Jing Institute of Remote Sensing and Digital Earth Chinese Academy of Sciences Add to Reading List Source URL: dline.info Language: English - Date: 2014-05-16 22:37:05 ANT Network performance Measuring network throughput Session Computing Transmission Control Protocol Thread
894	Exploiting Multi-Core Architectures for Fast Modular Synthesis J¨ urgen Reuter Karlsruhe, Germany, www.soundpaint.org Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2008-02-27 03:15:28 Parallel computing Concurrency control Microprocessors Thread Multi-core processor Monitor Scheduling Modular synthesizer Kernel Computing Concurrent computing Computer programming
895	manifold/outlet install sheet_rev2/19/13:installation sheet:17 PM Add to Reading List Source URL: www.rapidairproducts.com Language: English - Date: 2014-07-25 12:46:22 Construction Architecture Piping and plumbing fittings Pipe Air line Tubing National pipe thread Plumbing Piping Water
896	Kill-Safe Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Max in The Princess Bride Matthew Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2004-04-09 16:54:07 Software engineering Scheduling Continuation Control flow Concurrent ML Q Blocking Futures and promises Thread Computing Inter-process communication Computer programming
897	Jonathan McDowell CUC Oct 2014 CXC Add to Reading List Source URL: cxc.harvard.edu Language: English - Date: 2014-10-23 08:12:07 Thread BMC Remedy Action Request System Linux Computing Software Concurrent computing
898	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
899	Dedicated Tensioner : Dedicated Tensioners are used for Specific Thread Size Application. In these tensioners the threaded piston acts as a puller too. These tensioners are specially designed for applications having spac Add to Reading List Source URL: www.powermaster.in Language: English - Date: 2014-07-25 02:12:08 Technology Tensioner Nut Wrench Multi-jackbolt tensioner Construction Fasteners Screws
900	X Meets Z: Verifying Correctness In The Presence Of POSIX Threads Bart Massey Computer Science Department Portland State University Portland, Oregon USA 97207–0751 Add to Reading List Source URL: www.freedesktop.org Language: English - Date: 2003-10-22 17:11:56 Freedesktop.org XCB Inter-process communication X Window System core protocol Xlib X Window System protocols and architecture Thread Futures and promises V Software Computing System software

UPDATE