Deadlock

Results: 270



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

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
102An Effective Dynamic Analysis for Detecting Generalized Deadlocks Pallavi Joshi Mayur Naik

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
103Executive Summary Strategic Studies Institute and U.S. Army War College Press BREAKING THE NORDIC DEFENSE DEADLOCK Stefan Forss Pekka Holopainen

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
104Effective Static Deadlock Detection Mayur Naik Intel Research   Chang-Seo Park and Koushik Sen

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
105The Secrets of Concurrency  The Secrets of Concurrency Dr Heinz M. Kabutz

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
106Composable Concurrency in Perl 6 Jonathan Worthington  A short history of pain

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
107Effective Static Race Detection for Java Mayur Naik Alex Aiken  John Whaley

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
108Component-Based Lock Allocation Richard L. Halpert Christopher J. F. Pickett Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada

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
109Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1

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
110IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS,VOL. 4, NO. 4, APRILShort Notes Deadlock-Free Adaptive Routing in

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