Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
701	Warp: Lightweight Multi-Key Transactions for Key-Value Stores Robert Escriva†, Bernard Wong‡ , Emin G¨un Sirer† † Computer Science Department, Cornell University ‡ Cheriton School of Computer Science, Universi Add to Reading List Source URL: hyperdex.org Language: English - Date: 2013-11-16 15:09:41 Information Concurrency control Databases Database management systems Commitment ordering Serializability Isolation ACID Extensible Storage Engine Transaction processing Data management Data
702	CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2007-04-10 10:02:52 Concurrency control Applied mathematics Garbage collection Linearizability Algorithm Mutator method Reference counting Lock Time complexity Computing Theoretical computer science Memory management
703	Automated Atomicity-Violation Fixing ∗ Guoliang Jin Linhai Song Wei Zhang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-07-05 11:53:12 Data management Lock Software bug Deadlock Linearizability Linux kernel Mutual exclusion Parallel computing Debugging Concurrency control Computing Software
704	An Almost NonBlocking Stack Hans-J. Boehm HP Labs © 2004 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Computer programming Mutual exclusion Non-blocking algorithm Hazard pointer Pointer ABA problem Thread Stack X86-64 Computing Concurrency control Software engineering
705	Microsoft Word - rptStateRoadInventory10.rtf Add to Reading List Source URL: www.co.mckinley.nm.us Language: English - Date: 2010-11-04 14:25:06 Concurrency Road transport
706	Programming Language Memory Models: What do Shared Variables Mean? Hans-J. Boehm Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Concurrent computing Java platform Computer memory Parallel computing Thread Java Memory Model Lock Linearizability Memory model Computing Transaction processing Concurrency control
707	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2014-05-14 09:23:19 Data types Type theory Subroutines Functional programming C++ Closure Spore Anonymous function Type system Software engineering Computing Computer programming
708	Predicting the Scalability of an STM A Pragmatic Approach Aleksandar Dragojevi´c Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:46:32 Data management Theoretical computer science Numerical analysis Programming language implementation Software transactional memory Interpolation Parallel computing P Thread Concurrency control Computing Transaction processing
709	www.exascale.org Improving HPC Software http://www.exascale.org Add to Reading List Source URL: www.exascale.org Language: English - Date: 2012-04-11 21:33:19 Concurrent computing Distributed computing architecture Supercomputer Computer programming Concurrency G8 Computing Parallel computing Cluster computing
710	Threads Cannot be Implemented as a Library Hans-J. Boehm HP Laboratories Add to Reading List Source URL: hboehm.info Language: English - Date: 2014-02-06 19:37:32 Parallel computing Computer memory Concurrency control Threads Concurrency Thread Memory barrier POSIX Threads Java Memory Model Computing Concurrent computing Software engineering

UPDATE