The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for deadlock with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1968-1973 (15) 1974-1976 (19) 1977-1978 (21) 1979 (15) 1980 (22) 1981-1982 (29) 1983-1984 (38) 1985 (17) 1986 (24) 1987 (26) 1988 (37) 1989 (40) 1990 (46) 1991 (52) 1992 (59) 1993 (42) 1994 (50) 1995 (57) 1996 (60) 1997 (74) 1998 (61) 1999 (61) 2000 (87) 2001 (102) 2002 (77) 2003 (119) 2004 (118) 2005 (120) 2006 (115) 2007 (131) 2008 (138) 2009 (114) 2010 (67) 2011 (70) 2012 (67) 2013 (60) 2014 (64) 2015 (62) 2016 (68) 2017 (52) 2018 (53) 2019 (48) 2020 (46) 2021 (52) 2022 (63) 2023 (50) 2024 (5)
Publication types (Num. hits)
article(980) book(1) incollection(8) inproceedings(1799) phdthesis(25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2324 occurrences of 962 keywords

Results
Found 2813 publication records. Showing 2813 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
170Barbara E. Wójcik, Zbigniew M. Wójcik Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
167Philip P. Macri Deadlock Detection and Resolution in a CODASYL Based Data Management System. Search on Bibsonomy SIGMOD Conference The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
154Yibei Ling, Shigang Chen, Cho-Yu Jason Chiang On Optimal Deadlock Detection Scheduling. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Deadlock detection scheduling, deadlock formation rate, deadlock persistence time
147Shigang Chen, Yibei Ling Stochastic analysis of distributed deadlock scheduling. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF deadlock detection scheduling, deadlock formation rate, deadlock persistence time
135Juan-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. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF adaptive routing, virtual channels, Wormhole switching, deadlock detection, deadlock recovery
121Juan-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. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF true fully adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
114Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato A Cost-Effective Approach to Deadlock Handling in Wormhole Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF injection limitation, adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
103Soojung Le Fast Detection and Resolution of Generalized Distributed Deadlock. Search on Bibsonomy PDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed deadlock, generalized deadlock, distributed algorithms, deadlock detection, deadlock resolution
103Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
84Prasasth Palnati, Mario Gerla, Emilio Leonardi Deadlock-free routing in an optical interconnect for high-speed wormhole routing networks. Search on Bibsonomy ICPADS The full citation details ... 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
76Young Man Kim, Ten-Hwang Lai, Neelam Soundarajan Efficient Distributed Deadlock Detection and Resolution using Probes, Tokens, and Barriers. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
74Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller A graph based approach for MPI deadlock detection. Search on Bibsonomy ICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF umpire, parallel programming, deadlock detection, mpi
74Jaehwan John Lee, Vincent John Mooney III An o(min(m, n)) parallel deadlock detection algorithm. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Deadlock detection
74Jaehwan Lee 0002, Vincent John Mooney III A novel deadlock avoidance algorithm and its hardware implementation. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF deadlock avoidance hardware IP design
74Sugath Warnakulasuriya, Timothy Mark Pinkston A Formal Model of Message Blocking and Deadlock Resolution in Interconnection Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Deadlock detection/resolution, network resource model, true fully-adaptive routing, virtual cut-through/wormhole switching, interconnection network
72Sugath Warnakulasuriya, Timothy Mark Pinkston Characterization of Deadlocks in Interconnection Networks. Search on Bibsonomy IPPS The full citation details ... 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
70Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent. Search on Bibsonomy IPPS The full citation details ... 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
69Md. Abdur Razzaque, Md. Mamun-Or-Rashid, Choong Seon Hong MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems. Search on Bibsonomy HPCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
69Soojung Lee Turn-based Deadlock Detection for Wormhole Routed Networks. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
69Zhonghua Huang, Zhiming Wu Deadlock-free Scheduling Method for Automated Manufacturing Systems with Limited Central Buffers. Search on Bibsonomy ICRA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
69Soojung Lee Efficient Generalized Deadlock Detection and Resolution in Distributed Systems. Search on Bibsonomy ICDCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
67Baolin Shao, Nalini Vasudevan, Stephen A. Edwards Compositional deadlock detection for rendezvous communication. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SHIM, concurrency, static analysis, deadlock, divide-and-conquer
67Jiannong Cao 0001, Jingyang Zhou, Weiwei Zhu, Daoxu Chen, Jian Lu 0001 A Mobile Agent Enabled Approach for Distributed Deadlock Detection. Search on Bibsonomy GCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mobile Computing, Mobile Agent, Deadlock Detection
67Spyros A. Reveliotis, Jin Young Choi 0001 On the Optimality of Randomized Deadlock Avoidance Policies. Search on Bibsonomy Discret. Event Dyn. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF sequential resource allocation systems, controlled Markov chains, randomized control policies, deadlock resolution
65Dong Xiang, Yueli Zhang, Yi Pan 0001, Jie Wu 0001 Deadlock-Free Adaptive Routing in Meshes Based on Cost-Effective Deadlock Avoidance Schemes. Search on Bibsonomy ICPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Deadlock-free adaptive routing, minimum-connected components, planar adaptive routing, mesh, fault-tolerant routing
65Timothy Mark Pinkston, Sugath Warnakulasuriya Characterization of Deadlocks in k-ary n-Cube Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Deadlock characterization, true fully adaptive routing, $k$-ary $n$-cube interconnection networks, deadlock detection, deadlock recovery
62Dong Xiang, Yueli Zhang, Yi Pan 0001 Practical Deadlock-Free Fault-Tolerant Routing in Meshes Based on the Planar Network Fault Model. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
62Soojung Lee Efficient Deadlock Detection in Parallel Computer Systems with Wormhole Routing. Search on Bibsonomy International Conference on Computational Science (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
62Zeng Fancong Deadlock Resolution via Exceptions for Dependable Java Applications. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
60Ken Hironaka, Hideo Saito, Kenjiro Taura High performance wide-area overlay using deadlock-free routing. Search on Bibsonomy HPDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF grids, bandwidth, collective communication, overlays, parallel applications, deadlock-free routing
60Pun H. Shiu, Yudong Tan, Vincent John Mooney III A novel parallel deadlock detection algorithm and architecture. Search on Bibsonomy CODES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF parallel algorithm, hardware/software codesign, real-time operating system, deadlock detection
60Jun Zhou, Kuo-Chung Tai Deadlock Analysis of Client/Server Programs. Search on Bibsonomy ICDCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF client/server program, deadlock, labeled transition system, reachability graph
60Eric Fleury, Pierre Fraigniaud A General Theory for Deadlock Avoidance in Wormhole-Routed Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Routing, multicast, deadlock, wormhole
60José Duato A Necessary and Sufficient Condition for Deadlock-Free Routing in Cut-Through and Store-and-Forward Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF interconnection networks, design methodologies, Adaptive routing, deadlock avoidance, virtual cut-through, store-and-forward
60Jörg Liebeherr, Ian F. Akyildiz Deadlock properties of queueing networks with finite capacities and multiple routing chains. Search on Bibsonomy Queueing Syst. Theory Appl. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF blocking networks, deadlocks, Queueing networks, deadlock prevention
58Chuanfu 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". Search on Bibsonomy APWeb Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF ODP3, Deadlock, Co-allocation, Livelock
58Dong Xiang, Qi Wang, Yi Pan 0001 Deadlock-Free Adaptive Routing in 2D Tori with a New Turn Model. Search on Bibsonomy ICA3PP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF deadlock-free adaptive routing, odd-even turn model, torus, Deadlock avoidance, turn model
58Kamel Barkaoui, Rabah Benamara Towards an efficient probabilistic deadlock detection method for multidatabase systems. Search on Bibsonomy FTDCS The full citation details ... 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
56Andrew A. Chien, Jae H. Kim Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF transmission-order preservation, fault tolerance, parallel processing, interconnection networks, adaptive routing, multicomputers, packet routing
55Cé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. Search on Bibsonomy IPDPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
55Gertrude Neuman Levine The classification of deadlock prevention and avoidance is erroneous. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Amy L. Williams, William Thies, Michael D. Ernst Static Deadlock Detection for Java Libraries. Search on Bibsonomy ECOOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Paul C. Attie, Hana Chockler Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. Search on Bibsonomy VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
55Marian V. Iordache, Panos J. Antsaklis Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Juan-Miguel Martínez 0001, Pedro López 0001, José Duato Impact of Buffer Size on the Efficiency of Deadlock Detection. Search on Bibsonomy HPCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
55Pedro 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. Search on Bibsonomy PCRCW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
55Miriam Di Ianni Wormhole Deadlock Prediction. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
53Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke The theory of deadlock avoidance via discrete control. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
53César Sánchez 0001, Henny B. Sipma, Zohar Manna, Christopher D. Gill Efficient distributed deadlock avoidance with liveness guarantees. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF scheduling, distributed algorithms, deadlock avoidance
53Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier Confirmation of deadlock potentials detected by runtime analysis. Search on Bibsonomy PADTAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis
53Olav Lysne, Timothy Mark Pinkston, José Duato Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF deadlock-freedom methodology, system reliability and availability, Interconnection network, dynamic reconfiguration
53Loren Schwiebert Deadlock-Free Oblivious Wormhole Routing with Cyclic Dependencies. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF channel dependency graph, unreachable configuration, Wormhole routing, oblivious routing, deadlock freedom
53Soojung Lee, Junguk L. Kim Performance Analysis of Distributed Deadlock Detection Algorithms. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF wait-for graph, distributed systems, distributed algorithms, Deadlock detection, cycle detection
53Nidhi Agrawal, C. P. Ravikumar An Euler Path Based Technique for Deadlock-free Multicasting. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Euler-Path, Routing, Multicasting, Multicomputers, Virtual Channels, Deadlock-free
53Hyunmin Park, Dharma P. Agrawal A Topology-Independent Generic Methodology for Deadlock-Free Wormhole Routing. Search on Bibsonomy HPCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Subdigraph, Hypercube, Mesh, Adaptive Routing, Virtual Channel, Torus, Channels, Wormhole, Deadlock-free Routing Algorithm
53Hyunmin Park, Dharma P. Agrawal Generic Methodologies for Deadlock-Free Routing. Search on Bibsonomy IPPS The full citation details ... 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
53José Duato A Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF path-based multicast, graph theory, wormhole routing, Adaptive routing, multicomputers, virtual channels, multicast routing, deadlock avoidance
53José Duato A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Adaptive routing, multicomputers, virtual channels, deadlock avoidance, wormhole
52Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal Deadlocks in Distributed Systems: Request Models and Definitions. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Deadlock models, message communication systems, distributed algorithms, distributed deadlock detection
51Sheau-Dong Lang An Extended Banker's Algorithm for Deadlock Avoidance. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Banker's algorithm, operating system, deadlock, deadlock avoidance, graph reduction, worst-case complexity
51Fabrizio Petrini, Marco Vanneschi Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery. Search on Bibsonomy IPPS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF minimal adaptive wormhole routing, potential deadlocks, performance analysis, multiprocessor interconnection networks, virtual channels, deadlock avoidance, timeout, deadlock recovery
51Robert W. Horst ServerNet Deadlock Avoidance and Fractahedral Topologies. Search on Bibsonomy IPPS The full citation details ... 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
49K. Mani Chandy, Jayadev Misra, Laura M. Haas Distributed Deadlock Detection Search on Bibsonomy ACM Trans. Comput. Syst. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF message communication systems, resource deadlock, distributed deadlock detection, communication deadlock
49Soojung Lee Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian 0002 Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
48Xiang Xiao, Jaehwan John Lee A Novel Parallel Deadlock Detection Algorithm and Hardware for Multiprocessor System-on-a-Chip. Search on Bibsonomy IEEE Comput. Archit. Lett. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Mariagrazia Dotoli, Maria Pia Fanti Deadlock Detection and Avoidance Strategies for Automated Storage and Retrieval Systems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48César Sánchez 0001, Henny B. Sipma, Zohar Manna A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. Search on Bibsonomy FASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Maria Pia Fanti Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Fu-Shiung Hsieh Fault-tolerant deadlock avoidance algorithm for assembly processes. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Jingyang Zhou, Xiaolin Chen, Han Dai, Jiannong Cao 0001, Daoxu Chen M-Guard: A New Distributed Deadlock Detection Algorithm Based on Mobile Agent Technology. Search on Bibsonomy ISPA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Gertrude Neuman Levine Defining deadlock with fungible resources. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Gregor Gößler, Joseph Sifakis Component-Based Construction of Deadlock-Free Systems: Extended Abstract. Search on Bibsonomy FSTTCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Paola Inverardi, Massimo Tivoli Automatic synthesis of deadlock free connectors for COM/DCOM applications. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
48Keijo Heljanko Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets. Search on Bibsonomy TACAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda Definition of Deadlock Patterns for Business Processes Workflow Models. Search on Bibsonomy HICSS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Nidhi Agrawal, C. P. Ravikumar Adaptive Routing Based on Deadlock Recovery. Search on Bibsonomy Euro-Par The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Sugath Warnakulasuriya, Timothy Mark Pinkston Modeling Message Blocking and Deadlock in Interconnection Networks. Search on Bibsonomy PCRCW The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
48José Duato On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Theoretical Aspects. Search on Bibsonomy EDMCC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
48José Duato On the Design of Deadlock-Free Adaptive Routing Algorithms for Multicomputers: Design Methodologies. Search on Bibsonomy PARLE (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
47Zixue Cheng, Yutaka Wada, Yaoxue Zhang, Shoichi Noguchi A Distributed Solution for Resources Allocation to Overlapping Groups. Search on Bibsonomy ICPADS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Resource Allocation to Groups, Group Deadlock, Group Starvation, Distributed Algorithms, Distributed Resource Allocation
46Fancong Zeng Pattern-driven deadlock avoidance. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java, deadlock, exception, just-in-time (JIT) compilation
46Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encrenaz A tool for automatic detection of deadlock in wormhole networks on chip. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interconnection networks, networks on chip, Deadlock, wormhole routing
46Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano An Effective Design of Deadlock-Free Routing Algorithms Based on 2D Turn Model for Irregular Networks. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF interconnection networks, Adaptive routing, PC clusters, deadlock avoidance, irregular topologies, system area networks, turn model
46Hong Liu 0008, Fei Lin, Hongbin Zha Fuzzy Decision Method for Motion Deadlock Resolving in Robot Soccer Games. Search on Bibsonomy ICIC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Deadlock Resolving, Fuzzy Decision, Soccer Robot
46Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick Deadlock-free scheduling of X10 computations with bounded resources. Search on Bibsonomy SPAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF deadlock-free scheduling, X10, active messages
46Ye Zhou, Edward A. Lee A causality interface for deadlock analysis in dataflow. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF behavioral types, interfaces, deadlock, causality, dataflow, actors
46Yong Ho Song, Timothy Mark Pinkston Distributed Resolution of Network Congestion and Potential Deadlock Using Reservation-Based Scheduling. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF router scheduling, Interconnection networks, deadlock, congestion, router architecture
46Nacer Farajzadeh, Mehdi Hashemzadeh, Morteza Mousakhani, Abolfazl Toroghi Haghighat An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF deadlock detection and resolution, wait-for-graph, Distributed systems, algorithm
46Timothy Mark Pinkston, Ruoming Pang, José Duato Deadlock-Free Dynamic Reconfiguration Schemes for Increased Network Dependability. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF dependable communication, hard link-level flow control, parallel processing, interconnection networks, dynamic reconfiguration, Deadlock-free routing
46José Duato, Timothy Mark Pinkston A General Theory for Deadlock-Free Adaptive Routing Using a Mixed Set of Resources. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF General theory for deadlock-free fully adaptive routing, nonatomic queue allocation, irregular networks, regular networks
46Hiromi Hiraishi Verification of deadlock free property of high level robot control. Search on Bibsonomy Asian Test Symposium The full citation details ... 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
46José 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. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
46Kozo 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. Search on Bibsonomy ICPP Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF real-time systems, verification, timed automata, deadlock freeness
46Jun Zhou, Kuo-Chung Tai Deadlock Analysis of Synchronous Message-Passing Programs. Search on Bibsonomy PDSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF LTS, Deadlock, CCS, Observational Equivalence
46Xiaola Lin, Philip K. McKinley, Lionel M. Ni Deadlock-Free Multicast Wormhole Routing in 2-D Mesh Multicomputers. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
45Gerald M. Karam, Raymond J. A. Buhr Starvation and Critical Race Analyzers for Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
44Gustavo 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. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
44David J. Pritchard, Denis A. Nicole Cube Connected Mobius Ladders: An Inherently Deadlock-Free Fixed Degree Network. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 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
44Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution
Displaying result #1 - #100 of 2813 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license