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 |