Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Pedro López 0001, Juan-Miguel Martínez 0001, José Duato	DRIL: Dynamically Reduced Message Injection Limitation Mechanism for Wormhole Networks.	ICPP	1998	DBLP DOI BibTeX RDF
41	Peng Li, Kunal Agrawal, Jeremy Buhler, Roger D. Chamberlain	Deadlock avoidance for streaming computations with filtering.	SPAA	2010	DBLP DOI BibTeX RDF	architecturally diverse platforms, dataflow, data filtering
41	Antonio Monzon, José L. Fernández-Sánchez	Deadlock risk assessment in architectural models of real-time systems.	SIES	2009	DBLP DOI BibTeX RDF
41	Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas	Application-aware deadlock-free oblivious routing.	ISCA	2009	DBLP DOI BibTeX RDF	systems-on-chip, oblivious routing, on-chip interconnection networks
41	Xiang Xiao, Jaehwan John Lee	A Novel O(1) Deadlock Detection Methodology for Multiunit Resource Systems and Its Hardware Implementation for System-on-Chip.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
41	ZhiWu Li 0001, MengChu Zhou	On Siphon Computation for Deadlock Control in a Class of Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
41	Vivek K. Shanbhag	Deadlock-Detection in Java-Library Using Static-Analysis.	APSEC	2008	DBLP DOI BibTeX RDF
41	Seungjoo Lee, Dawn M. Tilbury	Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System With Serial and Parallel Configuration.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
41	Katsuyuki Ukegawa, M. C. Natori	Deadlock Resolution in Self-Assembly of Modular Structure Systems.	IROS	2006	DBLP DOI BibTeX RDF
41	Naoki Kobayashi 0001	A New Type System for Deadlock-Free Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
41	Naiqi Wu, MengChu Zhou	Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
41	Gang Xu, Zhiming Wu	Deadlock-free scheduling strategy for automated production cell.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
41	Maria Pia Fanti, MengChu Zhou	Deadlock control methods in automated manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
41	Joaquin Ezpeleta, Laura Recalde	A deadlock avoidance approach for nonsequential resource allocation systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
41	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina	Automated, compositional and iterative deadlock detection.	MEMOCODE	2004	DBLP DOI BibTeX RDF
41	Mariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis	Comparing deadlock detection and avoidance policies in automated storage and retrieval systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
41	Gertrude Neuman Levine	Defining deadlock.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
41	Pangfeng Liu, Yi-Fang Lin, Jan-Jan Wu	An Incremental Network Topology for Contention-free and Deadlock-free Routing.	ICPADS	2002	DBLP DOI BibTeX RDF
41	José Carlos Sancho, Antonio Robles, José Flich, Pedro López 0001, José Duato	Effective Methodology for Deadlock-Free Minimal Routing in InfiniBand Networks.	ICPP	2002	DBLP DOI BibTeX RDF
41	Stanislaw Chrobot	The Anatomy of Deadlock.	ICPP	2001	DBLP DOI BibTeX RDF
41	Jean Mayo, Phil Kearns	Distributed Deadlock Detection and Resolution Based on Hardware Clocks.	ICDCS	1999	DBLP DOI BibTeX RDF
41	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	LICS	1997	DBLP DOI BibTeX RDF
41	J. M. R. Martin, S. A. Jassim	An Efficient Technique for Deadlock Analysis of Large Scale Process Networks.	FME	1997	DBLP DOI BibTeX RDF
41	Michele Flammini	Deadlock-Free Interval Routing Schemes.	STACS	1997	DBLP DOI BibTeX RDF
41	K. V. Anjan, Timothy Mark Pinkston	An Efficient, Fully Adaptive Deadlock Recovery Scheme: DISHA.	ISCA	1995	DBLP DOI BibTeX RDF
41	Ahmed K. Elmagarmid	A Survey of Distributed Deadlock Algorithms.	SIGMOD Rec.	1986	DBLP DOI BibTeX RDF
41	Paul G. Spirakis	The Parallel Complexity of Deadlock Detection.	MFCS	1986	DBLP DOI BibTeX RDF
41	Donald S. Fussell, Zvi M. Kedem, Abraham Silberschatz	Deadlock Removal Using Partial Rollback in Database Systems.	SIGMOD Conference	1981	DBLP DOI BibTeX RDF
40	Jaehwan John Lee, Vincent John Mooney	A Novel {O(n)} Parallel Banker's Algorithm for System-on-a-Chip.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	Parallel Banker's Algorithm, deadlock avoidance in hardware, multiprocessor system-on-a-chip
40	Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Xuhui Li 0001	Mobile agent-enabled framework for structuring and building distributed systems on the internet.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	distributed systems, mobile agent, internet computing, deadlock detection
40	Joy N. Reed, Jane E. Sinclair, A. W. Roscoe 0001	Responsiveness of interoperating components.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Refinement, CSP, Deadlock, Responsiveness, Component-based systems
40	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
40	Marcello M. Bonsangue, Joost N. Kok	Semantics, Orderings and Recursion in the Weakest Precondition Calculus.	REX Workshop	1992	DBLP DOI BibTeX RDF	fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
39	Yaoting Jiao, Mei Yang, Yingtao Jiang, Yulu Yang, Xiao-chun Yun	Deadlock-Free Multi-Path Routing for Torus-Based NoCs.	ITNG	2008	DBLP DOI BibTeX RDF	deadlock, NoC, MPR
39	Mila E. Majster-Cederbaum, Moritz Martens	Compositional analysis of deadlock-freedom for tree-like component architectures.	EMSOFT	2008	DBLP DOI BibTeX RDF	architecture, design patterns, interaction systems, compositionality, component-based systems, deadlock-freedom
39	Manuel Prieto 0002, Jesús E. Villadangos, Federico Fariña, Alberto Córdoba	An O(n) Distributed Deadlock Resolution Algorithm.	PDP	2006	DBLP DOI BibTeX RDF	Deadlock detection/resolution, Single-resource request model, Distributed systems, Complexity, Distributed algorithms
39	Maurizio Palesi, Rickard Holsmark, Shashi Kumar, Vincenzo Catania	A methodology for design of application specific deadlock-free routing algorithms for NoC systems.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	networks, networks on chip, adaptive routing, application specific, deadlock-free routing
39	Jie Wu 0001, Li Sheng 0001	Deadlock-Free Multicasting in Irregular Networks Using Prefix Routing.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	prefix routing, multicasting, multiprocessor systems, deadlock
39	José Duato, Olav Lysne, Ruoming Pang, Timothy Mark Pinkston	Part I: A Theory for Deadlock-Free Dynamic Network Reconfiguration.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	deadlock-freedom theory, system reliability and availability, Interconnection network, dynamic reconfiguration
39	Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai	On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	cs-property, liveness, structure theory, deadlock-freeness
39	Xi Chen 0024, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe	Simulation based deadlock analysis for system level designs.	DAC	2005	DBLP DOI BibTeX RDF	cyclic dependency, metropolis, simulation, synchronization, deadlock, system level
39	Yong Ho Song, Timothy Mark Pinkston	A Progressive Approach to Handling Message-Dependent Deadlock in Parallel Computer Systems.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	message dependency, parallel processing, Interconnection network, deadlock-free routing
39	Alessandro Aldini, Marco Bernardo 0001	A General Approach to Deadlock Freedom Verification for Software Architectures.	FME	2003	DBLP DOI BibTeX RDF	software architecture, process algebra, deadlock
39	Michihiro Koibuchi, Akiya Jouraku, Konosuke Watanabe, Hideharu Amano	Descending Layers Routing: A Deadlock-Free Deterministic Routing using Virtual Channels in System Area Networks with Irregular Topologies.	ICPP	2003	DBLP DOI BibTeX RDF	RHiNET, interconnection networks, virtual channels, PC clusters, deadlock avoidance, irregular topologies, Deterministic routing, System Area Networks
39	Jie Wu 0001, Dajin Wang	Fault-Tolerant and Deadlock-Free Routing in 2-D Meshes Using Rectilinear-Monotone Polygonal Fault Blocks.	ICPP	2002	DBLP DOI BibTeX RDF	fault tolerance, fault models, virtual channels, Deadlock-free routing, deterministic routing, turn models
39	Rafael Casado, Aurelio Bermúdez, José Duato, Francisco J. Quiles 0001, José L. Sánchez 0002	A Protocol for Deadlock-Free Dynamic Reconfiguration in High-Speed Local Area Networks.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Interconnection networks, dynamic reconfiguration, deadlock avoidance, irregular topologies, system availability
39	Ming-Jer Tsai, Sheng-De Wang	Adaptive and Deadlock-Free Routing for Irregular Faulty Patterns in Mesh Multicomputers.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Adaptive and deadlock-free routing, irregular faulty pattern, fault tolerance, virtual channel, wormhole switching, mesh multicomputer
39	Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
39	José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia	Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm.	PDP	1996	DBLP DOI BibTeX RDF	safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance
39	Xuemin Lin 0001, Jian Chen	An optimal deadlock resolution algorithm in multidatabase systems.	ICPADS	1996	DBLP DOI BibTeX RDF	global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution
39	José Ramón González de Mendívil, Akim Demaille, José M. Bernabéu-Aubán, José Ramón Garitagoitia	Correctness of a distributed deadlock resolution algorithm for the single request model.	PDP	1995	DBLP DOI BibTeX RDF	distributed deadlock resolution algorithm, single request model, resolution algorithm, initial specification, complete distributed system, Input/Output Automata Model, formal specification, distributed algorithms, concurrency control, refinements, operating systems (computers), automata theory, high level specification
39	K. V. Anjan, Timothy Mark Pinkston	DISHA: a deadlock recovery scheme for fully adaptive routing.	IPPS	1995	DBLP DOI BibTeX RDF	DISHA, deadlock recovery scheme, fast routers, performance evaluation, performance, computational complexity, multiprocessor interconnection networks, fully adaptive routing
39	Yitzhak Birk	On-Line Control and Deadlock-Avoidance in a Page-Parallel Multiprocessor Rasterizer.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	online control, page-parallel multiprocessor rasterizer, full-page bitmaps, parallel processing, concurrency control, deadlock-avoidance, rendering (computer graphics), page-description language
39	William J. Dally, Hiromichi Aoki	Deadlock-Free Adaptive Routing in Multicomputer Networks Using Virtual Channels.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	multicomputer interconnection network, virtual channel utilization, parallel processing, multiprocessor interconnection networks, adaptive routing, virtual channels, network performance, deadlock-free, faulttolerance, fault tolerantcomputing
39	David B. Lomet	Multi-level locking with deadlock avoidance.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Concurrency, Locking, Hierarchic, Deadlock avoidance, Data base
38	C. S. Yang, Y. M. Tsai, Y. L. Tsai	Adaptive routing in k-ary n-cube multicomputers.	ICPADS	1996	DBLP DOI BibTeX RDF	k-ary n-cube multicomputers, distributed memory multiprocessor systems, virtual system, network congestion delay, performance evaluation, virtual reality, throughput, hypercube networks, wormhole routing, digital simulation, adaptive routing, distributed memory systems, simulation results, network routing, buffer size, deadlock-free routing, deadlock free routing, communication latency
38	Azzedine Boukerche, Carl Tropper	A distributed algorithm for the detection of local cycles and knots.	IPPS	1995	DBLP DOI BibTeX RDF	2m messages, blocking paradigm, deadlock breaking, distributed algorithms, distributed algorithm, graph theory, concurrency control, parallel simulation, cycles, deadlock detection, speed up, knots, diffusing computation
38	Vikram S. Adve, Mary K. Vernon	Performance Analysis of Mesh Interconnection Networks with Deterministic Routing.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	mesh interconnection networks, single-hit buffers, infinite buffers, nonadaptive deadlock-free routing scheme, closedqueueing network, message blocking, message pipelining, arbitrary source-destinationprobability distribution, 2D networks, shared-memory traffic, two dimensional network, performance evaluation, performance analysis, concurrency control, probability, multiprocessor interconnection networks, queueing theory, wormhole routing, network routing, virtual channels, deterministic routing, k-ary n-cube networks, deadlock-free routing algorithm, performance issues
38	Yaoxue Zhang, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi	An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	interactive protocol synthesis algorithm, global state transition graph, global state transition graph, deadlock avoidance rules, complete reception, protocols, graph theory, finite-state machines, finite automata, buffer overflow, production rules, interactive programming, deadlock freeness
37	Andreas Lankes, Thomas Wild, Andreas Herkersdorf, Sören Sonntag, Helmut Reinig	Comparison of Deadlock Recovery and Avoidance Mechanisms to Approach Message Dependent Deadlocks in On-chip Networks.	NOCS	2010	DBLP DOI BibTeX RDF	message dependent deadlocks, strict ordering, Network-on-chip, deadlock avoidance, deadlock recovery
37	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
37	David Gelernter	A DAG-Based Algorithm for Prevention of Store-and-Forward Deadlock in Packet Networks.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	store-and-forward deadlock, network operating systems, deadlock prevention, packet networks, Communication software
37	Joseph Y.-T. Leung, Edmund K. Lai	On Minimum Cost Recovery from System Deadlock.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	average-case performance, minimum cost deadlock recovery, system deadlock, Approximation algorithms, time complexity, NP-complete problems, worst case performance
35	Ju Gyun Kim	High Performance Cycle Detection Scheme for Multiprocessing Systems.	HiPC	2004	DBLP DOI BibTeX RDF
34	Qinqin Ni, Weizhen Sun, Sen Ma	Deadlock Detection Based on Resource Allocation Graph.	IAS	2009	DBLP DOI BibTeX RDF
34	Naiqi Wu, MengChu Zhou, ZhiWu Li 0001	Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
34	ZhiWu Li 0001, MengChu Zhou, Naiqi Wu	A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
34	Zhiwu Li 0001, Mi Zhao	On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
34	Dong Xiang, Yi Pan 0001, Qi Wang, Zhen Chen	Deadlock-Free Fully Adaptive Routing in 2-Dimensional Tori Based on New Virtual Network Partitioning Scheme.	ICDCS	2008	DBLP DOI BibTeX RDF
34	Wei Huang, Deyu Qi 0001	A Local Deadlock Detection and Resolution Algorithm for Process Networks.	CSSE (3)	2008	DBLP DOI BibTeX RDF
34	Dong Xiang, Qi Wang, Yi Pan 0001	Deadlock-Free Fully Adaptive Routing in Tori Based on a New Virtual Network Partitioning Scheme.	ICPP	2008	DBLP DOI BibTeX RDF
34	Murat Uzam, MengChu Zhou	An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
34	Kohei Suenaga, Naoki Kobayashi 0001	Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.	ESOP	2007	DBLP DOI BibTeX RDF
34	Xiang Xiao, Jaehwan John Lee	A novel O(1) parallel deadlock detection algorithm and architecture for multi-unit resource systems.	ICCD	2007	DBLP DOI BibTeX RDF
34	Hamid Reza Golmakani, James K. Mills, Beno Benhabib	Deadlock-Free Scheduling and Control of Flexible Manufacturing Cells Using Automata Theory.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
34	Christian F. Orellana, Cristian Ruz, Yadran Eterovic	Self-stabilizing Deadlock Detection Under the OR Requirement Model.	Euro-Par	2006	DBLP DOI BibTeX RDF
34	Xiaobin Li, Jean-Luc Gaudiot	Design Trade-Offs and Deadlock Prevention in Transient Fault-Tolerant SMT Processors.	PRDC	2006	DBLP DOI BibTeX RDF
34	Chuanfu Zhang, Yunsheng Liu, Tong Zhang 0008, Yabing Zha, Kedi Huang	A Deadlock Prevention Approach based on Atomic Transaction for Resource Co-allocation.	SKG	2005	DBLP DOI BibTeX RDF
34	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
34	Sven-Arne Reinemo, Tor Skeie	Ethernet as a Lossless Deadlock Free System Area Network.	ISPA	2005	DBLP DOI BibTeX RDF
34	Sukhamay Kundu	Deadlock-Free Distributed Relaxed Mutual-Exclusion Without Revoke-Messages.	IWDC	2005	DBLP DOI BibTeX RDF
34	Jonghun Park	A deadlock and livelock free protocol for decentralized Internet resource coallocation.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
34	ZhiWu Li 0001, MengChu Zhou	An Effective FMS Deadlock Prevention Policy based on Elementary Siphons.	ICRA	2004	DBLP DOI BibTeX RDF
34	Zhonghua Huang, Zhiming Wu	Deadlock-free Scheduling Method for Automated Manufacturing Systems Using Genetic Algorithm and Petri Nets.	ICRA	2004	DBLP DOI BibTeX RDF
34	Zhiwu Li 0001, Weixian Cao, Anrong Wang	Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems.	ICARCV	2004	DBLP DOI BibTeX RDF
34	Zhiwu Li 0001, Haibin Xia, Anrong Wang	An effective deadlock prevention policy using elementary siphons of Petri nets for FMS.	ICARCV	2004	DBLP DOI BibTeX RDF
34	Yu Ru, Weimin Wu, Hongye Su, Jian Chu	State feedback based deadlock-free supervisor synthesis for bounded Petri nets.	SMC (2)	2004	DBLP DOI BibTeX RDF
34	Doddaballapur Narasimha-Murthy Jayasimha, Loren Schwiebert, D. Manivannan 0001, Jeff A. May	A foundation for designing deadlock-free routing algorithms in wormhole networks.	J. ACM	2003	DBLP DOI BibTeX RDF	Knowledge complexity, statistical difference, zero knowledge, proof systems
34	Daniela Besozzi, Giancarlo Mauri, Claudio Zandron	Deadlock Decidability in Partial Parallel P Systems.	DNA	2003	DBLP DOI BibTeX RDF
34	Jonghun Park	A Scalable Protocol for Deadlock and Livelock Free Co-Allocation of Resources in Internet Computing.	SAINT	2003	DBLP DOI BibTeX RDF
34	D. P. Simpson, J. S. Reeve	Deadlock Free Specification Based on Local Process Properties.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
34	Gang Xu, Zhiming Wu	A Kind of Deadlock-free Scheduling Method Based on Petri Net.	HASE	2002	DBLP DOI BibTeX RDF
34	Bruce Ashfield, Dwight Deugo, Franz Oppacher, Tony White	Distributed Deadlock Detection in Mobile Agent Systems.	IEA/AIE	2002	DBLP DOI BibTeX RDF
34	Dah-Ming Chiu, Miriam Kadansky, Radia J. Perlman, John Reynders, Guy L. Steele Jr., Murat Yuksel	Deadlock-Free Routing Based on Ordered Links.	LCN	2002	DBLP DOI BibTeX RDF
34	Lorenzo Fernández Maimó, José M. García 0001, Rafael Casado	On Deadlock Frequency during Dynamic Reconfiguration in NOWs.	Euro-Par	2001	DBLP DOI BibTeX RDF
34	Jun Zhou, Kuo-Chung Tai	Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.	ISSRE	2001	DBLP DOI BibTeX RDF
34	Ahmad Khonsari, Hamid Sarbazi-Azad, Mohamed Ould-Khaoua	Analysis of True Fully Adaptive Routing with Software-Based Deadlock Recovery.	ICPP	2001	DBLP DOI BibTeX RDF
34	Ambrose Kofi Laing, Robert Cypher, Christian A. Duncan	On the Flattest Common Supersequence Method for Deadlock-Free Routing in Arbitrary Networks.	Theory Comput. Syst.	2000	DBLP DOI BibTeX RDF
34	José Carlos Sancho, Antonio Robles, José Duato	A New Methodology to Computer Deadlock-Free Routing Tables for Irregular Networks.	CANPC	2000	DBLP DOI BibTeX RDF
34	Naoki Kobayashi 0001	Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness.	IFIP TCS	2000	DBLP DOI BibTeX RDF