Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
981	Finding Resource-Release Omission Faults in Linux Suman Saha Julia Lawall Gilles Muller Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:11 Procedural programming languages Concurrency control Linux Linux kernel Kernel Exception handling Ioctl Ring C Computing Software Computer architecture
982	Noname manuscript No. (will be inserted by the editor) B-Queue: Efficient and Practical Queuing for Fast Core-to-Core Communication Junchang Wang · Kai Zhang · Xinan Tang · Add to Reading List Source URL: staff.ustc.edu.cn Language: English - Date: 2012-09-06 21:43:17 Computer programming Scheduling algorithms Concurrency control Cybernetics FIFO Inter-process communication Queue Circular buffer Monitor Abstract data types Computing Concurrent computing
983	Simple Concurrency for Robotics with the Roboscoop Framework Andrey Rusakov Jiwon Shin Bertrand Meyer Chair of Software Engineering Department of Computer Science Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-03-16 10:58:07 Integrated development environments Microsoft Robotics Developer Studio Robot SCOOP Concurrency URBI Cognitive robotics Mobile robot Autonomous robot Software Robotics Computing
984	Tesla 2.3 Reader API Reference Add to Reading List Source URL: www.thingmagic.com Language: English - Date: 2014-09-12 01:00:00 Software bug Password ISO image Radio-frequency identification Computing Concurrency control Lock
985	John A. Stankovic and Sang Hyuk Son Cybersquare University of Virginia, Charlottesville Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 1999-12-23 10:14:04 Information Database management systems Databases Concurrency control Real-time database Database Real-time computing Serializability ACID Data management Transaction processing Data
986	An evaluation of the automatic generation of parallel X86 SIMD integer instructions by GCC and ICC Isabelle Hurbain November, 15th Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2006-02-28 09:49:25 X86 instructions X86 architecture C programming language Concurrency control Volatile variable Parallel computing CPUID X86 MOV Computing Computer architecture Software
987	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2007-11-19 01:34:07 Computer science Diagrams Petri nets Computing Actor model Finite-state machine Petri Markov chain Parallel computing Models of computation Concurrency Formal methods
988	Locking Key Ranges with Unbundled Transaction Services David Lomet Mohamed F. Mokbel Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: www-users.cs.umn.edu Language: English - Date: 2009-09-29 10:22:42 Data Information Databases Database management systems Lock Record locking Isolation Serializability Microsoft SQL Server Concurrency control Data management Transaction processing
989	CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models ∗ Sebastian Burckhardt Rajeev Alur Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-03-26 08:41:48 Computer memory Concurrent computing Memory management Transaction processing Memory barrier Non-blocking algorithm C dynamic memory allocation Linearizability Priority queue Computing Software engineering Concurrency control
990	Leveraging Streaming for Deterministic Parallelization an Integrated Language, Compiler and Runtime Approach Antoniu Pop Centre de recherche en informatique, MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-10-06 11:06:16 Computer programming OpenMP Kahn process networks Stream processing Task parallelism Unified Parallel C FIFO Concurrency Stream Concurrent computing Computing Parallel computing