Deadlock

Results: 270



#Item
101Computing / Data / Databases / Lock / Non-blocking algorithm / Deadlock / Two-phase locking / Software transactional memory / Linearizability / Concurrency control / Transaction processing / Data management

Autolocker: Synchronization Inference for Atomic Sections ∗ Bill McCloskey Feng Zhou UC Berkeley

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2006-05-18 13:42:17
102Concurrent computing / Deadlock / Lock / Monitor / Non-blocking algorithm / Thread / Java Pathfinder / Parallel computing / Concurrency control / Computing / Computer programming

An Effective Dynamic Analysis for Detecting Generalized Deadlocks Pallavi Joshi Mayur Naik

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2011-01-12 18:56:27
103Liberal democracies / Member states of the United Nations / Northern Europe / Scandinavia / NATO / Strategic Studies Institute / Sweden / Finland / Norway / Europe / Nordic countries / International relations

Executive Summary Strategic Studies Institute and U.S. Army War College Press BREAKING THE NORDIC DEFENSE DEADLOCK Stefan Forss Pekka Holopainen

Add to Reading List

Source URL: strategicstudiesinstitute.army.mil

Language: English - Date: 2015-01-29 12:05:12
104Computer programming / Software engineering / Deadlock / Lock / Non-blocking algorithm / Thread / Reentrancy / Parallel computing / Concurrency control / Computing / Concurrency

Effective Static Deadlock Detection Mayur Naik Intel Research Chang-Seo Park and Koushik Sen

Add to Reading List

Source URL: www.barnowl.org

Language: English - Date: 2009-04-03 16:44:05
105Software bugs / Software engineering / Concurrent computing / Threads / Lock / Deadlock / Thread safety / Thread / Race condition / Computing / Concurrency / Computer programming

The Secrets of Concurrency The Secrets of Concurrency Dr Heinz M. Kabutz

Add to Reading List

Source URL: www.javaspecialists.eu

Language: English - Date: 2015-05-02 07:29:13
106Concurrent computing / Concurrency control / Lock / Parallel computing / Deadlock / Thread / Perl / Load / Computing / Computer programming / Software engineering

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:17
107Software engineering / Concurrency control / Concurrency / Concurrent computing / Thread / Lock / Parallel computing / Deadlock / Call graph / Computing / Program analysis / Static program analysis

Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2006-03-28 01:09:33
108Lock / 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
109Computer 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
110Electronic engineering / Computer networking / Telecommunications engineering / Routing / Packet switching / Wormhole switching / Throughput / Computer network / Adaptive quality of service multi-hop routing / Network architecture / Computing / Network performance

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS,VOL. 4, NO. 4, APRILShort Notes Deadlock-Free Adaptive Routing in

Add to Reading List

Source URL: cva.stanford.edu

Language: English - Date: 2008-04-03 14:11:56
UPDATE