Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	D. Manivannan 0001, Mukesh Singhal	On Necessary and Sufficient Conditions for Deadlocks in AND and OR Models.	PDCS	2003	DBLP BibTeX RDF
20	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Irregular Networks.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
20	Soojung Lee	A Fast Algorithm for Detecting Distributed Deadlocks in the OR Request Model.	IPDPS	2001	DBLP DOI BibTeX RDF
20	Lisbeth Fajstrup	Loops, ditopology and deadlocks.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
20	Elzbieta Roszkowska	Preventing Second Level and Avoiding First Level Deadlocks in FMS.	ICRA	2000	DBLP DOI BibTeX RDF
20	Mark J. Karol, S. Jamaloddin Golestani, David Lee	Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks.	INFOCOM	2000	DBLP DOI BibTeX RDF
20	Kia Makki, Niki Pissinou	Efficient detection and resolution of deadlocks in distributed databases.	Comput. Commun.	1999	DBLP DOI BibTeX RDF
20	George Dimitoglou	Deadlocks and Methods for their Detection, Prevention and Recovery in Modern Operating Systems.	ACM SIGOPS Oper. Syst. Rev.	1998	DBLP DOI BibTeX RDF
20	Andreas Junghanns, Jonathan Schaeffer	Single-Agent Search in the Presence of Deadlocks.	AAAI/IAAI	1998	DBLP BibTeX RDF
20	Zhibin Jiang, Ming Jian Zuo	Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks.	SMC	1998	DBLP DOI BibTeX RDF
20	Naiqi Wu	Avoiding deadlocks in automated manufacturing systems with shared material handling system.	ICRA	1997	DBLP DOI BibTeX RDF
20	Ajay D. Kshemkalyani, Mukesh Singhal	Distributed Detection of Generalized Deadlocks.	ICDCS	1997	DBLP DOI BibTeX RDF
20	Viren Shah, Sandeepan Sanyal, Samrat Bhattacharya	Deadlocks in fully uncoordinated checkpointing rollback recovery systems.	WORDS	1997	DBLP DOI BibTeX RDF
20	Timothy Mark Pinkston, Sugath Warnakulasuriya	On Deadlocks in Interconnection Networks.	ISCA	1997	DBLP DOI BibTeX RDF
20	Soojung Lee, Junguk L. Kim	Resolving all Deadlocks in Distributed Systems.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
20	Y. C. Tay, W. Tim Loke	On Deadlocks of Exclusive AND-Requests for Resources.	Distributed Comput.	1995	DBLP DOI BibTeX RDF
20	Kjersti Moldeklev, Per Gunningberg	How a large ATM MTU causes deadlocks in TCP data transfers.	IEEE/ACM Trans. Netw.	1995	DBLP DOI BibTeX RDF
20	Dal-Soo Ryang, Kyu Ho Park	A Two-Level Distributed Detection Algorithm of AND/OR Deadlocks.	J. Parallel Distributed Comput.	1995	DBLP DOI BibTeX RDF
20	Mathias Weske	Deadlocks in Computersystemen.		1995	RDF
20	Kia Makki, Niki Pissinou	Detection and Resolution of Deadlocks in Distributed Database Systems.	CIKM	1995	DBLP DOI BibTeX RDF
20	Katsutoshi Hirayama, Jun'ichi Toyoda	Forming Coalitions for Breaking Deadlocks.	ICMAS	1995	DBLP BibTeX RDF
20	Shigang Chen, Yi Deng 0001, Wei Sun 0002, Naphtali Rishe	Efficient algorithms for detection and resolution of distributed deadlocks.	SPDP	1995	DBLP DOI BibTeX RDF
20	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
20	Wee Keong Ng, Chinya V. Ravishankar	On-Line Detection and Resolution of Communication Deadlocks.	HICSS (2)	1994	DBLP BibTeX RDF
20	Ndombe Cacutalua	On deadlocks in concurrent systems: a Petri net based approach for deadlock prediction and avoidance.		1994	RDF
20	Kelwyn A. D'Souza, Zbigniew Antoni Banaszak, Robert Wójcik	Modeling and control of deadlocks in a flexible machining cell.	WSC	1993	DBLP DOI BibTeX RDF
20	Kenneth Luo, William Klostermeyer, Yuan-Chieh Chow	A Distributed Algorithm for Detecting and Resolving Store-and-Forward Deadlocks in Networks with Minimum Exchange Buffers.	INFOCOM	1993	DBLP DOI BibTeX RDF
20	Anatoly E. Doroshenko	On Asynchronous Avoidance of Deadlocks in Parallel Programs.	Parallel Process. Lett.	1992	DBLP DOI BibTeX RDF
20	Richard A. Wysk, Neng-Shu Yang, Sanjay B. Joshi	Detection of deadlocks in flexible manufacturing cells.	IEEE Trans. Robotics Autom.	1991	DBLP DOI BibTeX RDF
20	Greg Findlow	Can Skeletons Really be Used to Detect Deadlocks of Nets?	PNPM	1991	DBLP DOI BibTeX RDF
20	Kunwarjit S. Bagga, Frank W. Owens	Petri nets, state machines, and deadlocks (abstract and references only).	ACM Conference on Computer Science	1991	DBLP DOI BibTeX RDF
20	Joffroy Beauquier, Annie Choquet, Antoine Petit 0001, Guy Vidal-Naquet	Detection of Deadlocks in an Infinite Family of Nets.	STACS	1991	DBLP DOI BibTeX RDF	deadlock detection, massive parallelism
20	C. Breitenbach, Gerhard Haßlinger, P. Herold	Deadlocks in einem verteilten System mit zentraler Datenhaltung: Vergleich von Auflösungsstrategien und Abschätzung der Deadlockrate.	Kommunikation in Verteilten Systemen	1991	DBLP DOI BibTeX RDF
20	Shu-jen Wang, Mukesh Singhal, Ming T. Liu	Efficient Detection of Communication Deadlocks in Distributed Systems.	ICPP (2)	1991	DBLP BibTeX RDF
20	Y. F. Huang, Y. H. Chin	Mathematical studies on a transaction's waits and deadlocks in a 2pl environment.	Int. J. Comput. Math.	1990	DBLP DOI BibTeX RDF
20	David A. Bell, Chengqi Zhang	Description and treatment of deadlocks in the Hecodes distributed expert system.	IEEE Trans. Syst. Man Cybern.	1990	DBLP DOI BibTeX RDF
20	Michel Minoux, Kamel Barkaoui	Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems.	Discret. Appl. Math.	1990	DBLP DOI BibTeX RDF
20	Christopher H. Nevison	Restructuring networks to avoid deadlocks in parallel simulations.	WSC	1990	DBLP DOI BibTeX RDF
20	Jingde Cheng	Task-wait-for graphs and their application to handling tasking deadlocks.	TRI-Ada	1990	DBLP DOI BibTeX RDF
20	Kunwarjit S. Bagga, Frank W. Owens	Deadlocks and traps in complete Petri nets.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
20	Dieter Zöbel, Christoph Koch 0002	Resolution techniques and Complexity Results with Deadlocks: A Classifying and Annotated Bibliography.	ACM SIGOPS Oper. Syst. Rev.	1988	DBLP DOI BibTeX RDF
20	Yin-Fu Huang, Yeh-Hao Chin	A probabilistic study on the transaction's waits and deadlocks.	COMPSAC	1988	DBLP DOI BibTeX RDF
20	Rakesh Agrawal 0001, Michael J. Carey 0001, Lawrence W. McVoy	The Performance of Alternative Strategies for Dealing with Deadlocks in Database Management Systems.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
20	Cheung-Wing Chan, Tak-Shing Yum	An Algorithm for Detecting and Resolving Store-and-Forward Deadlocks in Packet-Switched Networks.	IEEE Trans. Commun.	1987	DBLP DOI BibTeX RDF
20	J. G. Hunt	Detection of deadlocks in multiprocess systems.	ACM SIGPLAN Notices	1986	DBLP DOI BibTeX RDF
20	N. Natarajan	A Distributed Scheme for Detecting Communication Deadlocks.	IEEE Trans. Software Eng.	1986	DBLP DOI BibTeX RDF
20	Tak-Shing Peter Yum, Cheung-Wing Chan	An Algorithm for Detecting & Resolving Store-and-Forward Deadlocks in Packet-Switched Networks.	ICC	1986	DBLP BibTeX RDF
20	Jacek Swiderski	Examining Packet-Switched Networks with Local Congestion Control for Exposure to Store-and-Forward Deadlocks.	ICCC	1986	DBLP BibTeX RDF
20	Boris Shenker, Tadao Murata, Sol M. Shatz	Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs.	FJCC	1986	DBLP BibTeX RDF
20	Ottomar Herrlich, Rolf Detering, Mieczyslaw A. Klopotek	Towards Prevention of Deadlocks.	J. Inf. Process. Cybern.	1985	DBLP BibTeX RDF
20	Winfried Scherg	Ein einfacher Algorithmus zur Auflösung von Deadlocks in verteilten Datenbanksystemen.	Angew. Inform.	1984	DBLP BibTeX RDF
20	Steven M. German, David P. Helmbold, David C. Luckham	Monitoring for deadlocks in Ada tasking.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
20	Eljas Soisalon-Soininen, Derick Wood	An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems.	PODS	1982	DBLP DOI BibTeX RDF
20	K. H. Kim, A. Abou-El-Maga, S. Neu, Seung-Min Yang	Process Scheduling and Prevention of Conmunication Deadlocks in an Experimental Microcomputer Network.	RTSS	1982	DBLP BibTeX RDF
20	K. Mani Chandy, Jayadev Misra	A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.	PODC	1982	DBLP DOI BibTeX RDF
20	Kegang Hao, Raymond T. Yeh	Detection of Inherent Deadlocks in Distributed Programs.	ICDCS	1982	DBLP BibTeX RDF
20	Klaus D. Günther	Prevention of Deadlocks in Packet-Switched Data Transport Systems.	IEEE Trans. Commun.	1981	DBLP DOI BibTeX RDF
20	Witold Lipski Jr., Christos H. Papadimitriou	A Fast Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems.	J. Algorithms	1981	DBLP DOI BibTeX RDF
20	Joseph Sifakis	Deadlocks and Livelocks in Transition Systems.	MFCS	1980	DBLP DOI BibTeX RDF
20	Z. Laborczi	A note on deadlocks.	Acta Cybern.	1979	DBLP BibTeX RDF
20	A. Nico Habermann	A new approach to avoidance of system deadlocks.	Symposium on Operating Systems	1974	DBLP DOI BibTeX RDF
20	Dennis J. Frailey	A Practical Approach to Managing Resources and Avoiding Deadlocks.	Commun. ACM	1973	DBLP DOI BibTeX RDF
20	Edward G. Coffman Jr., M. J. Elphick, Arie Shoshani	System Deadlocks.	ACM Comput. Surv.	1971	DBLP DOI BibTeX RDF
20	Richard C. Holt	Comments on Prevention of System Deadlocks.	Commun. ACM	1971	DBLP DOI BibTeX RDF
20	Rafael O. Fontao	A Concurrent Algorithm for Avoiding Deadlocks.	SOSP	1971	DBLP DOI BibTeX RDF
20	H. D. Baecker	A note on data base deadlocks.	Commun. ACM	1970	DBLP DOI BibTeX RDF
20	Arie Shoshani, Edward G. Coffman Jr.	Sequencing Tasks in Multiprocess Systems to Avoid Deadlocks	SWAT	1970	DBLP DOI BibTeX RDF
20	A. Nico Habermann	Prevention of system deadlocks.	Commun. ACM	1969	DBLP DOI BibTeX RDF	scheduling, resource allocation, multiprogramming, time-sharing
19	Divakar Yadav, Michael J. Butler	Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
19	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
19	Zuohua Ding	Static Analysis of Concurrent Programs Using Ordinary Differential Equations.	ICTAC	2009	DBLP DOI BibTeX RDF	Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion
19	Benoît Caldairou, Benoît Naegel, Nicolas Passat	Segmentation of Complex Images Based on Component-Trees: Methodological Tools.	ISMM	2009	DBLP DOI BibTeX RDF	Component-trees, attribute-filtering, segmentation, grey-level images
19	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
19	Nalaka Gooneratne, Zahir Tari, James Harland	VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.	ICSOC	2008	DBLP DOI BibTeX RDF
19	José Miguel Montañana, José Flich, José Duato	Epoch-based reconfiguration: Fast, simple, and effective dynamic network reconfiguration.	IPDPS	2008	DBLP DOI BibTeX RDF
19	Alberto Portilla, Genoveva Vargas-Solar, Luciano García-Bañuelos, Christine Collet, José-Luis Zechinelli-Martini	Verifying Atomicity Requirements of Services Coordination Using B.	ENC	2008	DBLP DOI BibTeX RDF
19	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
19	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
19	César Sánchez 0001, Henny B. Sipma, Zohar Manna	Generating Efficient Distributed Deadlock Avoidance Controllers.	IPDPS	2007	DBLP DOI BibTeX RDF
19	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
19	Cyrille Artho, Christian Sommer 0001, Shinichi Honiden	Model Checking Networked Programs in the Presence of Transmission Failures.	TASE	2007	DBLP DOI BibTeX RDF
19	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
19	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
19	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
19	Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer	Autolocker: synchronization inference for atomic sections.	POPL	2006	DBLP DOI BibTeX RDF	pessimistic, atomic, lock
19	Christian F. Orellana, Cristian Ruz, Yadran Eterovic	Self-stabilizing Deadlock Detection Under the OR Requirement Model.	Euro-Par	2006	DBLP DOI BibTeX RDF
19	Juan-Pablo López-Grao, José Manuel Colom	Resource Allocation Systems: Some Complexity Results on the S4PR Class.	FORTE	2006	DBLP DOI BibTeX RDF
19	Masaki Hasegawa, Subhash Bhalla, Laurence Tianruo Yang	Elimination of Non-deterministic Delays in a Real-Time Database System.	ICESS	2005	DBLP DOI BibTeX RDF
19	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
19	César Sánchez 0001, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna	Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.	FORTE	2005	DBLP DOI BibTeX RDF
19	Paola Inverardi, Leonardo Mostarda, Massimo Tivoli, Marco Autili	Synthesis of correct and distributed adaptors for component-based systems: an automatic approach.	ASE	2005	DBLP DOI BibTeX RDF	component assembly, component based software engineering, component adaptation
19	Jonathan Billington, Guy Edward Gallasch, Lars Michael Kristensen, Thomas Mailund	Exploiting equivalence reduction and the sweep-line method for detecting terminal states.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
19	Fu-Shiung Hsieh	Fault-tolerant deadlock avoidance algorithm for assembly processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
19	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
19	Ingebjørg Theiss, Olav Lysne	LORE - Local Reconfiguration for Fault Management in Irregular Interconnects.	IPDPS	2004	DBLP DOI BibTeX RDF
19	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
19	P. Krishna Reddy, Subhash Bhalla	Asynchronous Operations in Distributed Concurrency Control.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	nonblocking protocols, distributed algorithms, distributed databases, Concurrency control, serializability, deadlock avoidance
19	Axel Siebenborn, Oliver Bringmann 0001, Wolfgang Rosenstiel	Worst-case performance analysis of parallel, communicating software processes.	CODES	2002	DBLP DOI BibTeX RDF
19	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
19	Nima Kaveh, Wolfgang Emmerich	Deadlock detection in distribution object systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	object middleware, model checking, UML, UML, process algebra