Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
170	Barbara E. Wójcik, Zbigniew M. Wójcik	Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	wait-for contiguous requests, query message, wait-for cycle, no-deadlock message, query initiator, deadlock-free situation, query intercessor, periodical deadlock handling, indefinite wait-die scheme, protocol, distributed processing, replication, system recovery, sufficient condition, distributed deadlock detection, communication deadlock
167	Philip P. Macri	Deadlock Detection and Resolution in a CODASYL Based Data Management System.	SIGMOD Conference	1976	DBLP DOI BibTeX RDF
154	Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang	On Optimal Deadlock Detection Scheduling.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Deadlock detection scheduling, deadlock formation rate, deadlock persistence time
147	Shigang Chen, Yibei Ling	Stochastic analysis of distributed deadlock scheduling.	PODC	2005	DBLP DOI BibTeX RDF	deadlock detection scheduling, deadlock formation rate, deadlock persistence time
135	Juan-Miguel Martínez 0001, Pedro López 0001, José Duato, Timothy Mark Pinkston	Software-Based Deadlock Recovery Technique for True Fully Adaptive Routing in Wormhole Networks.	ICPP	1997	DBLP DOI BibTeX RDF	adaptive routing, virtual channels, Wormhole switching, deadlock detection, deadlock recovery
121	Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato	FC3D: Flow Control-Based Distributed Deadlock Detection Mechanism for True Fully Adaptive Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	true fully adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
114	Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato	A Cost-Effective Approach to Deadlock Handling in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	injection limitation, adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
103	Soojung Le	Fast Detection and Resolution of Generalized Distributed Deadlock.	PDP	2002	DBLP DOI BibTeX RDF	distributed deadlock, generalized deadlock, distributed algorithms, deadlock detection, deadlock resolution
103	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
84	Prasasth Palnati, Mario Gerla, Emilio Leonardi	Deadlock-free routing in an optical interconnect for high-speed wormhole routing networks.	ICPADS	1996	DBLP DOI BibTeX RDF	high-speed wormhole routing networks, Supercomputer SuperNet, two-level hierarchical high-speed network, electronic mesh fabric, WDM optical backbone network, metropolitan area, campus area, backpressure hop-by-hop flow control mechanism, shufflenet multihop virtual topology, physical channels, up/down deadlock free routing scheme, bidirectional shufflenet, optical backbone, multiprocessor interconnection networks, network routing, virtual channels, wavelength division multiplexing, optical interconnections, optical interconnect, deadlock-free routing, deadlock prevention
76	Young Man Kim, Ten-Hwang Lai, Neelam Soundarajan	Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers.	ICPADS	1997	DBLP DOI BibTeX RDF
74	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
74	Jaehwan John Lee, Vincent John Mooney III	An o(min(m, n)) parallel deadlock detection algorithm.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Deadlock detection
74	Jaehwan Lee 0002, Vincent John Mooney III	A novel deadlock avoidance algorithm and its hardware implementation.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	deadlock avoidance hardware IP design
74	Sugath Warnakulasuriya, Timothy Mark Pinkston	A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Deadlock detection/resolution, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching, interconnection network
72	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Interconnection Networks.	IPPS	1997	DBLP DOI BibTeX RDF	deadlocks characterisation, true deadlock detection, bidirectionality, routing adaptivity, node degree, deadlock formation, routing flexibility blocked messages, resource dependencies, simulator, interconnection networks, multiprocessor interconnection networks, virtual channels, buffer size, design parameters, deadlock-free routing algorithms
70	Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato	Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent.	IPPS	1996	DBLP DOI BibTeX RDF	deadlock-free adaptive wormhole routing, Disha Concurrent, central buffers, sequential recovery, resource cost, mutual exclusive access, deadlock-free lane, tree-based networks, performance evaluation, parallel architectures, fault tolerant computing, concurrency control, multiprocessor interconnection networks, multiprocessor interconnection networks, network routing, system recovery, edge, Token, Hamiltonian path, deadlock recovery, k-ary n-cube networks
69	Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Seon Hong	MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems.	HPCC	2007	DBLP DOI BibTeX RDF
69	Soojung Lee	Turn-based Deadlock Detection for Wormhole Routed Networks.	CIT	2006	DBLP DOI BibTeX RDF
69	Zhonghua Huang, Zhiming Wu	Deadlock-free Scheduling Method for Automated Manufacturing Systems with Limited Central Buffers.	ICRA	2004	DBLP DOI BibTeX RDF
69	Soojung Lee	Efficient Generalized Deadlock Detection and Resolution in Distributed Systems.	ICDCS	2001	DBLP DOI BibTeX RDF
67	Baolin Shao, Nalini Vasudevan, Stephen A. Edwards	Compositional deadlock detection for rendezvous communication.	EMSOFT	2009	DBLP DOI BibTeX RDF	SHIM, concurrency, static analysis, deadlock, divide-and-conquer
67	Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Daoxu Chen, Jian Lu 0001	A Mobile Agent Enabled Approach for Distributed Deadlock Detection.	GCC	2004	DBLP DOI BibTeX RDF	Mobile Computing, Mobile Agent, Deadlock Detection
67	Spyros A. Reveliotis, Jin Young Choi 0001	On the Optimality of Randomized Deadlock Avoidance Policies.	Discret. Event Dyn. Syst.	2003	DBLP DOI BibTeX RDF	sequential resource allocation systems, controlled Markov chains, randomized control policies, deadlock resolution
65	Dong Xiang, Yueli Zhang, Yi Pan 0001, Jie Wu 0001	Deadlock-Free Adaptive Routing in Meshes Based on Cost-Effective Deadlock Avoidance Schemes.	ICPP	2007	DBLP DOI BibTeX RDF	Deadlock-free adaptive routing, minimum-connected components, planar adaptive routing, mesh, fault-tolerant routing
65	Timothy Mark Pinkston, Sugath Warnakulasuriya	Characterization of Deadlocks in k-ary n-Cube Networks.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock characterization, true fully adaptive routing, $k$-ary $n$-cube interconnection networks, deadlock detection, deadlock recovery
62	Dong Xiang, Yueli Zhang, Yi Pan 0001	Practical Deadlock-Free Fault-Tolerant Routing in Meshes Based on the Planar Network Fault Model.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
62	Soojung Lee	Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF
62	Zeng Fancong	Deadlock Resolution via Exceptions for Dependable Java Applications.	DSN	2003	DBLP DOI BibTeX RDF
60	Ken Hironaka, Hideo Saito, Kenjiro Taura	High performance wide-area overlay using deadlock-free routing.	HPDC	2009	DBLP DOI BibTeX RDF	grids, bandwidth, collective communication, overlays, parallel applications, deadlock-free routing
60	Pun H. Shiu, Yudong Tan, Vincent John Mooney III	A novel parallel deadlock detection algorithm and architecture.	CODES	2001	DBLP DOI BibTeX RDF	parallel algorithm, hardware/software codesign, real-time operating system, deadlock detection
60	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Client/Server Programs.	ICDCS	2000	DBLP DOI BibTeX RDF	client/server program, deadlock, labeled transition system, reachability graph
60	Eric Fleury, Pierre Fraigniaud	A General Theory for Deadlock Avoidance in Wormhole-Routed Networks.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Routing, multicast, deadlock, wormhole
60	José Duato	A Necessary and Sufficient Condition for Deadlock-Free Routing in Cut-Through and Store-and-Forward Networks.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	interconnection networks, design methodologies, Adaptive routing, deadlock avoidance, virtual cut-through, store-and-forward
60	Jörg Liebeherr, Ian F. Akyildiz	Deadlock properties of queueing networks with finite capacities and multiple routing chains.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	blocking networks, deadlocks, Queueing networks, deadlock prevention
58	Chuanfu Zhang, Yunsheng Liu, Tong Zhang 0008, Yabing Zha, Wei Zhang	Comments on Order-Based Deadlock Prevention Protocol with Parallel Requests in "A Deadlock and Livelock Free Protocol for Decentralized Internet Resource Co-allocation".	APWeb Workshops	2006	DBLP DOI BibTeX RDF	ODP3, Deadlock, Co-allocation, Livelock
58	Dong Xiang, Qi Wang, Yi Pan 0001	Deadlock-Free Adaptive Routing in 2D Tori with a New Turn Model.	ICA3PP	2008	DBLP DOI BibTeX RDF	deadlock-free adaptive routing, odd-even turn model, torus, Deadlock avoidance, turn model
58	Kamel Barkaoui, Rabah Benamara	Towards an efficient probabilistic deadlock detection method for multidatabase systems.	FTDCS	1997	DBLP DOI BibTeX RDF	probabilistic deadlock detection method, local transaction visibility, local systems autonomy, PCG method, mean condition, random graph theory, random deadlock detection, performance, concurrency control, concurrency control, contention, multidatabase systems
56	Andrew A. Chien, Jae H. Kim	Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors.	J. ACM	1995	DBLP DOI BibTeX RDF	transmission-order preservation, fault tolerance, parallel processing, interconnection networks, adaptive routing, multicomputers, packet routing
55	César Sánchez 0001, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill	On efficient distributed deadlock avoidance for real-time and embedded systems.	IPDPS	2006	DBLP DOI BibTeX RDF
55	Gertrude Neuman Levine	The classification of deadlock prevention and avoidance is erroneous.	ACM SIGOPS Oper. Syst. Rev.	2005	DBLP DOI BibTeX RDF
55	Amy L. Williams, William Thies, Michael D. Ernst	Static Deadlock Detection for Java Libraries.	ECOOP	2005	DBLP DOI BibTeX RDF
55	Paul C. Attie, Hana Chockler	Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
55	Marian V. Iordache, Panos J. Antsaklis	Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
55	Juan-Miguel Martínez 0001, Pedro López 0001, José Duato	Impact of Buffer Size on the Efficiency of Deadlock Detection.	HPCA	1999	DBLP DOI BibTeX RDF
55	Pedro López 0001, Juan-Miguel Martínez 0001, José Duato, Fabrizio Petrini	On the Reduction of Deadlock Frequency by Limiting Message Injection in Wormhole Networks.	PCRCW	1997	DBLP DOI BibTeX RDF
55	Miriam Di Ianni	Wormhole Deadlock Prediction.	Euro-Par	1997	DBLP DOI BibTeX RDF
53	Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
53	César Sánchez 0001, Henny B. Sipma, Zohar Manna, Christopher D. Gill	Efficient distributed deadlock avoidance with liveness guarantees.	EMSOFT	2006	DBLP DOI BibTeX RDF	scheduling, distributed algorithms, deadlock avoidance
53	Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier	Confirmation of deadlock potentials detected by runtime analysis.	PADTAD	2006	DBLP DOI BibTeX RDF	scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis
53	Olav Lysne, Timothy Mark Pinkston, José Duato	Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	deadlock-freedom methodology, system reliability and availability, Interconnection network, dynamic reconfiguration
53	Loren Schwiebert	Deadlock-Free Oblivious Wormhole Routing with Cyclic Dependencies.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	channel dependency graph, unreachable configuration, Wormhole routing, oblivious routing, deadlock freedom
53	Soojung Lee, Junguk L. Kim	Performance Analysis of Distributed Deadlock Detection Algorithms.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	wait-for graph, distributed systems, distributed algorithms, Deadlock detection, cycle detection
53	Nidhi Agrawal, C. P. Ravikumar	An Euler Path Based Technique for Deadlock-free Multicasting.	ICPP	1997	DBLP DOI BibTeX RDF	Euler-Path, Routing, Multicasting, Multicomputers, Virtual Channels, Deadlock-free
53	Hyunmin Park, Dharma P. Agrawal	A Topology-Independent Generic Methodology for Deadlock-Free Wormhole Routing.	HPCA	1996	DBLP DOI BibTeX RDF	Subdigraph, Hypercube, Mesh, Adaptive Routing, Virtual Channel, Torus, Channels, Wormhole, Deadlock-free Routing Algorithm
53	Hyunmin Park, Dharma P. Agrawal	Generic Methodologies for Deadlock-Free Routing.	IPPS	1996	DBLP DOI BibTeX RDF	Subdigraph, Hypercube, Mesh, Adaptive Routing, Virtual Channel, Torus, Channels, Wormhole, Virtual Cut-through, Store-and-Forward, Deadlock-free Routing Algorithm
53	José Duato	A Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	path-based multicast, graph theory, wormhole routing, Adaptive routing, multicomputers, virtual channels, multicast routing, deadlock avoidance
53	José Duato	A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Adaptive routing, multicomputers, virtual channels, deadlock avoidance, wormhole
52	Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal	Deadlocks in Distributed Systems: Request Models and Definitions.	FTDCS	1995	DBLP DOI BibTeX RDF	Deadlock models, message communication systems, distributed algorithms, distributed deadlock detection
51	Sheau-Dong Lang	An Extended Banker's Algorithm for Deadlock Avoidance.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Banker's algorithm, operating system, deadlock, deadlock avoidance, graph reduction, worst-case complexity
51	Fabrizio Petrini, Marco Vanneschi	Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery.	IPPS	1997	DBLP DOI BibTeX RDF	minimal adaptive wormhole routing, potential deadlocks, performance analysis, multiprocessor interconnection networks, virtual channels, deadlock avoidance, timeout, deadlock recovery
51	Robert W. Horst	ServerNet Deadlock Avoidance and Fractahedral Topologies.	IPPS	1996	DBLP DOI BibTeX RDF	scalable topologies, fractahedral topologies, maximum link contention, 6-port ServerNet routers, performance evaluation, concurrency control, hypercube, mesh, multistage interconnection networks, network routing, deadlock avoidance, multistage networks, deadlock-free
49	K. Mani Chandy, Jayadev Misra, Laura M. Haas	Distributed Deadlock Detection	ACM Trans. Comput. Syst.	1983	DBLP DOI BibTeX RDF	message communication systems, resource deadlock, distributed deadlock detection, communication deadlock
49	Soojung Lee	Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
48	Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian 0002	Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
48	Xiang Xiao, Jaehwan John Lee	A Novel Parallel Deadlock Detection Algorithm and Hardware for Multiprocessor System-on-a-Chip.	IEEE Comput. Archit. Lett.	2007	DBLP DOI BibTeX RDF
48	Mariagrazia Dotoli, Maria Pia Fanti	Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
48	César Sánchez 0001, Henny B. Sipma, Zohar Manna	A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.	FASE	2007	DBLP DOI BibTeX RDF
48	Maria Pia Fanti	Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
48	Fu-Shiung Hsieh	Fault-tolerant deadlock avoidance algorithm for assembly processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
48	Jingyang Zhou, Xiaolin Chen, Han Dai, Jiannong Cao 0001, Daoxu Chen	M-Guard: A New Distributed Deadlock Detection Algorithm Based on Mobile Agent Technology.	ISPA	2004	DBLP DOI BibTeX RDF
48	Gertrude Neuman Levine	Defining deadlock with fungible resources.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
48	Gregor Gößler, Joseph Sifakis	Component-Based Construction of Deadlock-Free Systems: Extended Abstract.	FSTTCS	2003	DBLP DOI BibTeX RDF
48	Paola Inverardi, Massimo Tivoli	Automatic synthesis of deadlock free connectors for COM/DCOM applications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
48	Keijo Heljanko	Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.	TACAS	1999	DBLP DOI BibTeX RDF
48	Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda	Definition of Deadlock Patterns for Business Processes Workflow Models.	HICSS	1999	DBLP DOI BibTeX RDF
48	Nidhi Agrawal, C. P. Ravikumar	Adaptive Routing Based on Deadlock Recovery.	Euro-Par	1998	DBLP DOI BibTeX RDF
48	Sugath Warnakulasuriya, Timothy Mark Pinkston	Modeling Message Blocking and Deadlock in Interconnection Networks.	PCRCW	1997	DBLP DOI BibTeX RDF
48	José Duato	On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Theoretical Aspects.	EDMCC	1991	DBLP DOI BibTeX RDF
48	José Duato	On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies.	PARLE (1)	1991	DBLP DOI BibTeX RDF
47	Zixue Cheng, Yutaka Wada, Yaoxue Zhang, Shoichi Noguchi	A Distributed Solution for Resources Allocation to Overlapping Groups.	ICPADS	2000	DBLP DOI BibTeX RDF	Resource Allocation to Groups, Group Deadlock, Group Starvation, Distributed Algorithms, Distributed Resource Allocation
46	Fancong Zeng	Pattern-driven deadlock avoidance.	PADTAD	2009	DBLP DOI BibTeX RDF	Java, deadlock, exception, just-in-time (JIT) compilation
46	Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encrenaz	A tool for automatic detection of deadlock in wormhole networks on chip.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	interconnection networks, networks on chip, Deadlock, wormhole routing
46	Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano	An Effective Design of Deadlock-Free Routing Algorithms Based on 2D Turn Model for Irregular Networks.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	interconnection networks, Adaptive routing, PC clusters, deadlock avoidance, irregular topologies, system area networks, turn model
46	Hong Liu 0008, Fei Lin, Hongbin Zha	Fuzzy Decision Method for Motion Deadlock Resolving in Robot Soccer Games.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Deadlock Resolving, Fuzzy Decision, Soccer Robot
46	Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick	Deadlock-free scheduling of X10 computations with bounded resources.	SPAA	2007	DBLP DOI BibTeX RDF	deadlock-free scheduling, X10, active messages
46	Ye Zhou, Edward A. Lee	A causality interface for deadlock analysis in dataflow.	EMSOFT	2006	DBLP DOI BibTeX RDF	behavioral types, interfaces, deadlock, causality, dataflow, actors
46	Yong Ho Song, Timothy Mark Pinkston	Distributed Resolution of Network Congestion and Potential Deadlock Using Reservation-Based Scheduling.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	router scheduling, Interconnection networks, deadlock, congestion, router architecture
46	Nacer Farajzadeh, Mehdi Hashemzadeh, Morteza Mousakhani, Abolfazl Toroghi Haghighat	An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems.	CIT	2005	DBLP DOI BibTeX RDF	deadlock detection and resolution, wait-for-graph, Distributed systems, algorithm
46	Timothy Mark Pinkston, Ruoming Pang, José Duato	Deadlock-Free Dynamic Reconfiguration Schemes for Increased Network Dependability.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	dependable communication, hard link-level flow control, parallel processing, interconnection networks, dynamic reconfiguration, Deadlock-free routing
46	José Duato, Timothy Mark Pinkston	A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	General theory for deadlock-free fully adaptive routing, nonatomic queue allocation, irregular networks, regular networks
46	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties
46	José Ramón González de Mendívil, Federico Fariña, José Ramón Garitagoitia, Carlos F. Alastruey, José M. Bernabéu-Aubán	A Distributed Deadlock Resolution Algorithm for the AND Model.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
46	Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi	Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	real-time systems, verification, timed automata, deadlock freeness
46	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
46	Xiaola Lin, Philip K. McKinley, Lionel M. Ni	Deadlock-Free Multicast Wormhole Routing in 2-D Mesh Multicomputers.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	deadlock-free multicastwormhole routing, 2-D mesh multicomputers, nCUBE-2, wormhole-routed hypercubemulticomputer, broadcast routing algorithm, dynamic network trafficconditions, dual-path routing algorithm, parallel architectures, hypercube networks, digital simulation, simulation study
45	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
44	Gustavo D. Pifarré, Luis Gravano, Sergio A. Felperin, Jorge L. C. Sanz	Fully Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and other Networks: Algorithms and Simulations.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	adaptive minimal deadlock-free packet routing, virtual cut-through routing models, simulations, algorithms, concurrency control, message passing, hypercubes, multiprocessor interconnection networks, multiprocessor interconnection networks, meshes, packet switching, parallel machines, parallel machines, routing algorithms, deadlock, packet routing, shuffle-exchange, minimal paths, two-dimensional mesh
44	David J. Pritchard, Denis A. Nicole	Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	deadlock-free fixed degree network, cube-connected Mobius ladders, deadlock-free routingstrategy, fixed node degree, fixed degree topology of size, transputernetworks, parallel algorithms, computational complexity, graph theory, topology, Cayley graph, multiprocessorinterconnection network, network diameter, multiprocessor interconnectionnetworks, interval routing
44	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution