Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
961	Concurrent Data Representation Synthesis Peter Hawkins Alex Aiken ∗ Kathleen Fisher † Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-29 20:04:36 Transaction processing Data Lock Extensible Storage Engine Non-blocking algorithm Concurrent data structure Linearizability SQL Two-phase locking Concurrency control Data management Computing
962	Composable Concurrency in Perl 6 Jonathan Worthington A short history of pain Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:13 Parallel computing Communication Synchronization Perl Asynchrony Computing Software engineering Computer programming
963	Consistency Without Borders Peter Alvaro, Peter Bailis, Neil Conway, Joseph M. Hellerstein Abstract Distributed consistency is a perennial research topic; in recent years it has become an urgent practical matter as Add to Reading List Source URL: www.neilconway.org Language: English - Date: 2013-09-16 00:17:37 Data Concurrency control Databases Database management systems Parallel computing Database Consistency model Linearizability Serializability Computing Transaction processing Data management
964	Component-Based Lock Allocation Richard L. Halpert Christopher J. F. Pickett Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-20 14:38:18 Lock Deadlock Critical section Non-blocking algorithm Parallel computing OpenMP Java Memory Model C dynamic memory allocation Linearizability Concurrency control Computing Computer programming
965	The nesC Language: A Holistic Approach to Networked Embedded Systems http://nescc.sourceforge.net David Gay‡ Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2006-05-18 13:36:08 Technology Object-oriented programming TinyOS NesC Component-based software engineering Embedded system Kernel Communications protocol Concurrency control Computing Software engineering Wireless sensor network
966	Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2006-07-13 17:10:38 Computer programming Parallel computing Application programming interfaces Message Passing Interface Transaction processing Deadlock Lock Model checking Non-blocking algorithm Computing Concurrent computing Concurrency control
967	Atomic increments Enrique Soriano−Salvador Laboratorio de Sistemas Universidad Rey Juan Carlos Gorka Guardiola Múzquiz Add to Reading List Source URL: lsub.org Language: English - Date: 2014-05-08 10:53:18 Concurrency Spinlock Fetch-and-add MOV Test-and-set Lock X86-64 Compare-and-swap Non-blocking algorithm Concurrency control Computer architecture Computing
968	Reasoning About Lock Placements Peter Hawkins, Alex Aiken? , Kathleen Fisher?? , Martin Rinard, and Mooly Sagiv Stanford University, Tufts University, MIT, Tel Aviv University Abstract. A lock placement describes, for ea Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-22 12:39:47 Data Information Databases Lock Linearizability Two-phase locking Parallel computing Serializability Extensible Storage Engine Transaction processing Concurrency control Data management
969	Cache-Conscious Concurrency Control of Main-Memory Indexes on Shared-Memory Multiprocessor Systems Sang K. Cha Sangyong Hwang Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:38:17 Binary trees Data management Data structures B+ tree T-tree Tree traversal Tree R-tree CPU cache B-tree Graph theory Computing
970	Lightweight Asynchrony Using Parasitic Threads KC Sivaramakrishnan Lukasz Ziarek Raghavendra Prasad Add to Reading List Source URL: kcsrk.info Language: English Threads Parallel computing Concurrency control Fiber Parasitism Actor model Non-blocking algorithm Process Central processing unit Computing Concurrent computing Computer programming