Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Shih-Chang Wang, Hung-Yau Lin, Sy-Yen Kuo, Yennun Huang	A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes.	PRDC	1999	DBLP DOI BibTeX RDF
34	Soojung Lee, Yoonjoon Lee	A Distributed Algorithm for Deadlock Detection under OR-request Model.	SRDS	1999	DBLP DOI BibTeX RDF
34	Rastislav Kralovic, Branislav Rovan, Peter Ruzicka, Daniel Stefankovic	Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks.	DISC	1998	DBLP DOI BibTeX RDF
34	Yoshiko Yasuda, Hiroaki Fujii, Hideya Akashi, Yasuhiro Inagami, Teruo Tanaka, Junji Nakagoshi, Hideo Wada, Tsutomu Sumimoto	Deadlock-Free Fault-tolerant Routing in the Multi-dimensional Crossbar Network and Its Implementation for the Hitachi SR2201.	IPPS	1997	DBLP DOI BibTeX RDF
34	Fernando de Ferreira Rezende, Theo Härder, Andreas Gloeckner, Jörg Lutze	Detection Arcs for Deadlock Management in Nested Transactions and their Performance.	BNCOD	1997	DBLP DOI BibTeX RDF
34	Rajendra V. Boppana, Suresh Chalasani	A Framework for Designing Deadlock-Free Wormhole Routing Algorithms.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Cayley networks, performance evaluation, deadlocks, wormhole routing, Adaptive routing, mesh networks, design techniques, multicomputer networks, de Bruijn networks
34	Kevin J. Compton, Chinya V. Ravishankar	Expected Deadlock Time in a Multiprocessing System.	J. ACM	1995	DBLP DOI BibTeX RDF	expected time analysis, asymptotic analysis, singularity analysis
34	Anne-Cécile Fabret, Antoine Petit 0001	On the Undecidability of Deadlock Detection in Families of Nets.	STACS	1995	DBLP DOI BibTeX RDF
34	Greg Findlow	Obtaining Deadlock-Preserving Skeletons for Coloured Nets.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
34	Shing-Tsaan Huang	A Distributed Deadlock Detection Algorithm for CSP-Like Communication.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF
34	Barry J. Brachman, Samuel T. Chanson	A Hierarchical Solution for Application Level Store-and-Forward Deadlock Prevention.	SIGCOMM	1989	DBLP DOI BibTeX RDF
34	Israel Cidon, Jeffrey M. Jaffe	Local distributed deadlock detection by knot detection.	SIGCOMM	1986	DBLP DOI BibTeX RDF
33	Pablo Abad Fidalgo, Valentin Puente, José-Ángel Gregorio	Reducing the Interconnection Network Cost of Chip Multiprocessors.	NOCS	2008	DBLP DOI BibTeX RDF	Chip Multiprocessors, Deadlock, Router Design
33	Kazumi Nakamatsu, Sheng-Luen Chung, Hayato Komaba, Atsuyuki Suzuki	A Discrete Event Control Based on EVALPSN Stable Model Computation.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF	EVALPSN(Extended Vector Annotated Logic Program with Strong Negation), control deadlock, paraconsistent logic program, stable model, discrete event control
33	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
33	Kamel Barkaoui, Rabah Benamara	On Concurrency Control in Multidatabase Systems with an Extended Transaction Model.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	global deadlock, extended transaction model, multidatabase systems
33	Tor Skeie, Olav Lysne, Ingebjørg Theiss	Layered Shortest Path (LASH) Routing in Irregular System Area Networks.	IPDPS	2002	DBLP DOI BibTeX RDF	shortest path, Network routing, virtual channels, irregular topologies, deadlock freedom
33	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Transformations of CCP programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	optimization, Concurrent constraint programming, deadlock-freeness
33	José Carlos Sancho, Antonio Robles	Improving the Up/Down Routing Scheme for Networks of Workstations.	Euro-Par	2000	DBLP DOI BibTeX RDF	routing algorithms, networks of workstations, deadlock avoidance, irregular topologies
33	José Carlos Sancho, Antonio Robles, José Duato	A Flexible Routing Scheme for Networks of Workstations.	ISHPC	2000	DBLP DOI BibTeX RDF	regular and irregular topologies, routing algorithms, Networks of workstations, deadlock avoidance
33	Jae H. Kim, Ziqiang Liu, Andrew A. Chien	Compressionless Routing: A Framework for Adaptive and Fault-Tolerant Routing.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Routing networks, fault tolerance, wormhole routing, adaptive routing, deadlock prevention
32	Jason Cong, Chunyue Liu, Glenn Reinman	ACES: application-specific cycle elimination and splitting for deadlock-free routing on irregular network-on-chip.	DAC	2010	DBLP DOI BibTeX RDF	application-specific Network-on-Chip, deadlock-free routing
32	Mostafa Rezazad, Mohammad Reza Hoseiny Farahabady, Hamid Sarbazi-Azad	A Deadlock Free Shortest Path Routing Algorithm for WK-Recursive Meshes.	ICDCN	2008	DBLP DOI BibTeX RDF	WK-recursive, shortest path routing, Deadlock Free Routing Algorithm
32	Yi Huang, Laura K. Dillon, R. E. Kurt Stirewalt	On Mechanisms for Deadlock Avoidance in SIP Servlet Containers.	IPTComm	2008	DBLP DOI BibTeX RDF	converged container, synchronization contract, Concurrency, negotiation, SIP, servlet, deadlock prevention
32	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	weakest precondition, program specification, deadlock freedom, program correctness
32	Lee Naish	Resource-Oriented Deadlock Analysis.	ICLP	2007	DBLP DOI BibTeX RDF	deadlock analysis, committed choice nondeterminism, floundering, Concurrency, partial order, dining philosophers, coroutining
32	Rickard Holsmark, Maurizio Palesi, Shashi Kumar	Deadlock Free Routing Algorithms for Mesh Topology NoC Systems with Regions.	DSD	2006	DBLP DOI BibTeX RDF	Application Specific Routing, Networks on Chip, Routing Algorithms, Deadlock, Wormhole Switching
32	Jie Wu 0001	A Fault-Tolerant and Deadlock-Free Routing Protocol in 2D Meshes Based on Odd-Even Turn Model.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	fault tolerance, fault models, virtual channels, Deadlock-free routing, deterministic routing, turn models
32	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.	FME	2003	DBLP DOI BibTeX RDF	rely/guarantee, deadlock, parallel systems, event-based systems, auxiliary variables
32	Hui Wu 0001, Wei-Ngan Chin, Joxan Jaffar	An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	distributed deadlock avoidance, partially ordered rank, wait-for graph, concurrency control
32	Jie Wu 0001	A deterministic fault-tolerant and deadlock-free routing protocol in 2-D meshes based on odd-even turn model.	ICS	2002	DBLP DOI BibTeX RDF	fault tolerance, fault models, virtual channels, deadlock-free routing, deterministic routing, turn models
32	Li Sheng 0001, Jie Wu 0001	A Note on 'A Tight Lower Bound on the Number of Channels Required for Deadlock-Free Wormhole Routing'.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	strongly connected digraphs, interconnection networks, Deadlock-free routing
32	Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk	Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.	DSN	2000	DBLP DOI BibTeX RDF	Simultaneous Reachability Analysis, Extended Finite State Machine Model, Race Conditions, Deadlock Detection
32	Olav Lysne	Deadlock Avoidance for Switches Based on Wormhole Networks.	ICPP	1999	DBLP DOI BibTeX RDF	Inter-switch deadlocks, Interconnect networks, Wormhole routing, Deadlock avoidance, Switch fabric
32	Moreno Coli, Paolo Palazzari	An adaptive deadlock and livelock free routing algorithm.	PDP	1995	DBLP DOI BibTeX RDF	livelock free routing algorithm, store and forward deadlocks, interprocessor network systems, buffered packet switched communications, DL free routing, nonadaptive routing modality, interconnection network bandwidth, communication topology, adaptive DL free routing, network buffers, casual movement, transputer based parallel machine, fault tolerant computing, multiprocessor interconnection networks, packet switching, adaptive systems, performance tests, deadlock free routing, fault tolerance capabilities
32	Hyunmin Park, Dharma P. Agrawal	A novel deadlock-free routing technique for a class of de Bruijn graph based networks.	IPPS	1995	DBLP DOI BibTeX RDF	deadlock-free routing technique, de Bruijn graph based networks, maximum message path length, dBCube graph, outcluster channels, cluster-to-cluster path, concurrency control, hypercube networks, virtual channels
32	Luis Gravano, Gustavo D. Pifarré, Pablo E. Berman, Jorge L. C. Sanz	Adaptive Deadlock- and Livelock-Free Routing with All Minimal Paths in Torus Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	adaptive deadlock-free routing, livelock-free routing, n-dimensional torus network, packet-switched fully-adaptive minimal routing, 4-Classes, dynamic message injectionmodel, performance evaluation, concurrency control, multiprocessor interconnection networks, virtual channels, Channels, torus networks, buffer requirement, minimal paths, traffic patterns, message lengths
32	Gustavo D. Pifarré, Luis Gravano, Gustavo Denicolay, Jorge L. C. Sanz	Adaptive Deadlock- and Livelock-Free Routing in the Hypercube Network.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	adaptive deadlock routing, livelock-free routing, routing node, derouting, partially adaptive algorithms, Hanging algorithm, Zenith algorithm, Hanging-Order algorithm, Nonminimal algorithm, Subcubes algorithm, E-Cube routing algorithm, Fully Adaptive Minimal algorithm, performance evaluation, parallel algorithms, parallel architectures, concurrency control, partitioning, hypercube networks, hypercube network, wormhole routing, network routing, Subcubes, Dimension-Order
32	Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz	Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	concurrency analysis, experimental evaluation, deadlock detection, automatic analysis, Ada tasking, state space explosion
32	José Duato	A New Theory of Deadlock-Free Adaptive Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	deadlock-free adaptive routing, wormhole networks, channeldependency graph, performance, graph theory, fault tolerant computing, concurrency control, message passing, routing algorithms, telecommunication network routing, adaptive algorithm, fault-tolerant algorithms
32	Ajoy Kumar Datta, Sukumar Ghosh	Modular Synthesis of Deadlock-Free Control Structures.	FSTTCS	1986	DBLP DOI BibTeX RDF	regular nets, Petri nets, synthesis, deadlock
31	Ajay D. Kshemkalyani, Mukesh Singhal	Efficient Detection and Resolution of Generalized Distributed Deadlocks.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	generalized distributed deadlock resolution, one-phase algorithm, concurrent sweeps, generalized distributed deadlock detection, outward sweep, distributed wait-for-graph, inward sweep, distributed snapshot, algorithm correctness, worst-case message complexity, leaf nodes, distributed system, computational complexity, concurrency control, directed graphs, directed graph, time complexity, messages, operating systems (computers), graph reduction
28	José Miguel Montañana, José Flich, José Duato	Epoch-based reconfiguration: Fast, simple, and effective dynamic network reconfiguration.	IPDPS	2008	DBLP DOI BibTeX RDF
28	Rahul Agarwal, Scott D. Stoller	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.	PADTAD	2006	DBLP DOI BibTeX RDF	testing, concurrent programs, deadlocks
28	Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin	LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.	MEMOCODE	2003	DBLP DOI BibTeX RDF
28	Jesús E. Villadangos, Federico Fariña, Alberto Córdoba, José Ramón González de Mendívil, José Ramón Garitagoitia	Knot Resolution Algorithm and its Performance Evaluation.	PDP	2003	DBLP DOI BibTeX RDF
28	Sumit Ghosh	P2EDAS: Asynchronous, Distributed Event Driven Simulation Algorithm with Inconsistent Event Preemption for Accurate Execution of VHDL Descriptions on Parallel Processors.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	simulation of hardware descriptions, inertial delays, descheduling, anticipatory scheduling, preemption of inconsistent events, parallel processing, VLSI, distributed algorithms, discrete event simulation, VHDL, Digital simulation, logic simulation, event driven simulation, timing semantics
28	Sumit Ghosh, Meng-Lin Yu	An Asynchronous Distributed Approach for the Simulation of Behavior-Level Models on Parallel Processors.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
28	Ronald C. de Vries	Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	null messages reduction, distributed discrete event simulation method, Misra approach, feedback networks, distributed processing, program verification, feedforward
27	David A. Cape, Bruce M. McMillin	Dihomotopic Reduction Used in Deadlock Detection.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
27	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay	Effective static deadlock detection.	ICSE	2009	DBLP DOI BibTeX RDF
27	Zhijun Ding, Changjun Jiang, MengChu Zhou	Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
27	Luigi Piroddi, Roberto Cordone, Ivano Fumagalli	Selective Siphon Control for Deadlock Prevention in Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
27	Nalini Vasudevan, Stephen A. Edwards	Static Deadlock Detection for the SHIM Concurrent Language.	MEMOCODE	2008	DBLP DOI BibTeX RDF
27	Horatiu Jula, George Candea	A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.	RV	2008	DBLP DOI BibTeX RDF
27	Shinichi Yamagiwa, Leonel Sousa	Design and implementation of a tool for modeling and programming deadlock free meta-pipeline applications.	IPDPS	2008	DBLP DOI BibTeX RDF
27	Li Jiao	A method for verifying deadlock freedom and liveness of petri nets.	ISCAS	2008	DBLP DOI BibTeX RDF
27	Zhiwu Li 0001, Moshe Shpitalni	A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions.	ICNSC	2008	DBLP DOI BibTeX RDF
27	Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry 0001	The Concept of Deadlock and Livelock in Hybrid Control Systems.	HSCC	2007	DBLP DOI BibTeX RDF
27	Maurizio Palesi, Shashi Kumar, Rickard Holsmark, Vincenzo Catania	Exploiting Communication Concurrency for Efficient Deadlock Free Routing in Reconfigurable NoC Platforms.	IPDPS	2007	DBLP DOI BibTeX RDF
27	Sherif A. Fahmy, Tarek Y. ElMekkawy, Subramaniam Balakrishnan	Job shop deadlock-free scheduling using Mixed Integer Programming and rank matrices.	SMC	2007	DBLP DOI BibTeX RDF
27	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
27	Joaquin Ezpeleta, Rüdiger Valk	A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
27	Yi-Sheng Huang, MuDer Jeng, Xiaolan Xie, Da-Hsiang Chung	Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
27	Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo	Designing Message-Dependent Deadlock Free Networks on Chips for Application-Specific Systems on Chips.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
27	Sagar Chaki, Nishant Sinha 0001	Assume-Guarantee Reasoning for Deadlock.	FMCAD	2006	DBLP DOI BibTeX RDF
27	Kamal Jain, Mohammad Taghi Hajiaghayi, Kunal Talwar	The Generalized Deadlock Resolution Problem.	ICALP	2005	DBLP DOI BibTeX RDF
27	Robert Wójcik, Krzysztof Bzdyra, Manuel M. Crisóstomo, Zbigniew Antoni Banaszak	Constraint programming approach to design of deadlock-free schedules in concurrent production systems.	ETFA	2005	DBLP DOI BibTeX RDF
27	Hesuan Hu, ZhiWu Li 0001, Weidong Wang	Modified PSO Algorithm for Deadlock Control in FMS.	CIS (1)	2005	DBLP DOI BibTeX RDF
27	P. Samson, P. Sinha	Hardware Acceleration of Deadlock Avoidance and Detection in Real-Time Operating Systems.	IWSOC	2005	DBLP DOI BibTeX RDF
27	Xin Cheng, Xiaozong Yang, Feng Jin	An Agent-Based Deadlock Detection/Resolution Algorithm for the AND Model.	PDCAT	2005	DBLP DOI BibTeX RDF
27	Elzbieta Roszkowska	Supervisory control for deadlock avoidance in compound processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
27	Olav Lysne, José Miguel Montañana, Timothy Mark Pinkston, José Duato, Tor Skeie, José Flich	Simple Deadlock-Free Dynamic Network Reconfiguration.	HiPC	2004	DBLP DOI BibTeX RDF
27	Zhiwu Li 0001, Jingwei Liang, Yang Lu, Anrong Wang	A deadlock prevention method for FMS with multiple resource acquisitions.	ICARCV	2004	DBLP DOI BibTeX RDF
27	ZhiWu Li 0001, XiangFeng Zhang	A deadlock prevention approach using elementary siphons for a class of Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
27	ZhiWu Li 0001, Hesuan Hu, MengChu Zhou	An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control.	SMC (5)	2004	DBLP DOI BibTeX RDF
27	ZhiWu Li 0001, Anrong Wang, Hua Lin	A deadlock prevention approach for FMS using siphons and the theory of regions.	SMC (6)	2004	DBLP DOI BibTeX RDF
27	Murat Uzam, MengChu Zhou	Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems.	SMC (5)	2004	DBLP DOI BibTeX RDF
27	Alberto Córdoba, Federico Fariña, José Ramón Garitagoitia, José Ramón González de Mendívil, Jesús E. Villadangos	A Low Communication Cost Algorithm for Distributed Deadlock Detection and Resolution.	PDP	2003	DBLP DOI BibTeX RDF
27	Pablo Boronat, Vicent Cholvi	A Transformation to Provide Deadlock-Free Programs.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
27	Zhen Chen, Zengji Liu, Zhiliang Qiu	A Deadlock-Free Wormhole Routing Scheme in the Pan-Mesh.	AINA	2003	DBLP DOI BibTeX RDF
27	Yuan Liu, Baowen Xu, Zhenqiang Chen	Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra.	ICFEM	2002	DBLP DOI BibTeX RDF
27	Jaeyong Shim, Dongsoo Han, Hongsoog Kim	Communication Deadlock Detection of Inter-organizational Workflow Definition.	DNIS	2002	DBLP DOI BibTeX RDF
27	Daniela Besozzi, Claudio Ferretti, Giancarlo Mauri, Claudio Zandron	Parallel Rewriting P Systems with Deadlock.	DNA	2002	DBLP DOI BibTeX RDF
27	Yong Ho Song, Timothy Mark Pinkston	A New Mechanism for Congestion and Deadlock Resolution.	ICPP	2002	DBLP DOI BibTeX RDF
27	R. C. Hansdah, Nilanjan Gantait, Sandip Dey	A Fault-Tolerant Distributed Deadlock Detection Algorithm.	IWDC	2002	DBLP DOI BibTeX RDF
27	Paola Inverardi, Simone Scriboni	Connectors Synthesis for Deadlock-Free Component-Based Architectures.	ASE	2001	DBLP DOI BibTeX RDF
27	Ruoming Pang, Timothy Mark Pinkston, José Duato	The Double Scheme: Deadlock-Free Dynamic Reconfiguration of Cut-Through Networks.	ICPP	2000	DBLP DOI BibTeX RDF
27	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	Using Multicast Communication to Reduce Deadlock in Replicated Databases.	SRDS	2000	DBLP DOI BibTeX RDF
27	Rafael Casado, Francisco J. Quiles 0001, José L. Sánchez 0002, José Duato	Deadlock-Free Routing in Irregular Networks with Dynamic Reconfiguration.	CANPC	1999	DBLP DOI BibTeX RDF
27	Jin Suk Kim, Eric Lehman, Frank Thomson Leighton	Oblivious Deadlock-Free Routing in a Faulty Hypercube.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
27	Elisa Bertino, Giovanni Chiola, Luigi V. Mancini	Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models.	ICATPN	1998	DBLP DOI BibTeX RDF
27	Hsin-Chou Chi, Chih-Tsung Tang	A Deadlock-Free Routing Scheme for Interconnection Networks with Irregular Topologies.	ICPADS	1997	DBLP DOI BibTeX RDF
27	Chim-fu Yeung, Sheung-lun Hung, Kam-yiu Lam	Performance Evaluation of a New Distributed Deadlock Detection Algorithm.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
27	David J. Pritchard	Load Balanced Deadlock-Free Deterministic Routing of Arbitrary Networks.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
27	Mitchell Flatebo, Ajoy Kumar Datta	Self-stabilizing Deadlock Detection Algorithms.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
27	Randy Appleton	Deadlock detection in a multidatabase.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
27	Nikitas J. Dimopoulos, Mahmood Chowdhury, Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos	Routing in Hypercycles. Deadlock Free and Backtracking Strategies.	PARLE	1992	DBLP DOI BibTeX RDF
27	Xiaoxiong Zhong, Virginia Mary Lo	Application-Specific Deadlock Free Wormhole Routing on Multicomputers.	PARLE	1992	DBLP DOI BibTeX RDF
27	Wuxu Peng, S. Purushothaman	A Unified Approach to the Deadlock Detection Problem in Networks of Communicating Finite State Machines.	CAV	1990	DBLP DOI BibTeX RDF