Concurrency

Results: 2238



#Item
961Transaction processing / Data / Lock / Extensible Storage Engine / Non-blocking algorithm / Concurrent data structure / Linearizability / SQL / Two-phase locking / Concurrency control / Data management / Computing

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
962Parallel computing / Communication / Synchronization / Perl / Asynchrony / Computing / Software engineering / Computer programming

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
963Data / Concurrency control / Databases / Database management systems / Parallel computing / Database / Consistency model / Linearizability / Serializability / Computing / Transaction processing / Data management

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
964Lock / Deadlock / Critical section / Non-blocking algorithm / Parallel computing / OpenMP / Java Memory Model / C dynamic memory allocation / Linearizability / Concurrency control / Computing / Computer programming

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
965Technology / Object-oriented programming / TinyOS / NesC / Component-based software engineering / Embedded system / Kernel / Communications protocol / Concurrency control / Computing / Software engineering / Wireless sensor network

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
966Computer programming / Parallel computing / Application programming interfaces / Message Passing Interface / Transaction processing / Deadlock / Lock / Model checking / Non-blocking algorithm / Computing / Concurrent computing / Concurrency control

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
967Concurrency / Spinlock / Fetch-and-add / MOV / Test-and-set / Lock / X86-64 / Compare-and-swap / Non-blocking algorithm / Concurrency control / Computer architecture / Computing

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
968Data / Information / Databases / Lock / Linearizability / Two-phase locking / Parallel computing / Serializability / Extensible Storage Engine / Transaction processing / Concurrency control / Data management

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
969Binary trees / Data management / Data structures / B+ tree / T-tree / Tree traversal / Tree / R-tree / CPU cache / B-tree / Graph theory / Computing

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
970Threads / Parallel computing / Concurrency control / Fiber / Parasitism / Actor model / Non-blocking algorithm / Process / Central processing unit / Computing / Concurrent computing / Computer programming

Lightweight Asynchrony Using Parasitic Threads KC Sivaramakrishnan Lukasz Ziarek Raghavendra Prasad

Add to Reading List

Source URL: kcsrk.info

Language: English
UPDATE