The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1969-1980 (16) 1981-1984 (16) 1985-1986 (15) 1987-1988 (17) 1989-1990 (30) 1991-1992 (21) 1993-1994 (20) 1995 (24) 1996 (19) 1997 (18) 1998 (20) 1999 (26) 2000 (26) 2001 (26) 2002 (24) 2003 (23) 2004 (42) 2005 (37) 2006 (36) 2007 (42) 2008 (52) 2009 (38) 2010 (16) 2011-2012 (15) 2013-2014 (18) 2015-2017 (19) 2018-2022 (20) 2023-2024 (8)
Publication types (Num. hits)
article(173) book(1) incollection(3) inproceedings(504) phdthesis(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 948 occurrences of 513 keywords

Results
Found 684 publication records. Showing 684 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
95Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur Deadlocks: From Exhibiting to Healing. Search on Bibsonomy RV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
94Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard Ownership types for safe programming: preventing data races and deadlocks. Search on Bibsonomy OOPSLA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF deadlocks, encapsulation, data races, ownership types
85Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati A type system for preventing data races and deadlocks in the java virtual machine language: 1. Search on Bibsonomy LCTES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SafeJava, deadlocks, data races, ownership types
75Rajendra V. Boppana, Suresh Chalasani, Cauligi S. Raghavendra Resource Deadlocks and Performance of Wormhole Multicast Routing Algorithms. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Consumption channels, multicasts, routing algorithms, deadlocks, wormhole routing, multicomputers
67Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model. Search on Bibsonomy PDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
67Ajay D. Kshemkalyani, Mukesh Singhal A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF generalized deadlock, Distributed database, replicated database, graph reduction, quorum consensus
66Jan Christiansen, Frank Huch Searching for deadlocks while debugging concurrent haskell programs. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF concurrent haskell, detecting deadlocks, debugging, deadlock
66Yong Ho Song, Timothy Mark Pinkston A Progressive Approach to Handling Message-Dependent Deadlock in Parallel Computer Systems. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF message dependency, parallel processing, Interconnection network, deadlock-free routing
57Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik A randomized dynamic program analysis technique for detecting real deadlocks. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF active testing, concurrency, deadlock detection, dynamic program analysis
57Rahul Agarwal, Liqiang Wang, Scott D. Stoller Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba A Safe Algorithm for Resolving OR Deadlocks. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms
57Timothy 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
57Larry Soulé, Anoop Gupta Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation. Search on Bibsonomy DAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
57Byung-Chul Kim, Sang-Woo Jun, Dae-Joon Hwang, Yong-Kee Jun Visualizing Potential Deadlocks in Multithreaded Programs. Search on Bibsonomy PaCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs
57Rahul Agarwal, Scott D. Stoller Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. Search on Bibsonomy PADTAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF testing, concurrent programs, deadlocks
57Sugath 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
57SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee A unified approach to global concurrency control and global deadlocks in a multidatabase environment. Search on Bibsonomy ICPADS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF unified approach, global concurrency control, global deadlocks, multidatabase environment, multidatabase transaction management, rigid conflict serializability, global serializability, concurrency control, interleavings, sufficient condition, database operations
57Valmir Carneiro Barbosa Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF randomly generated systems, distributed parallel programs, unavailability, message buffers, message buffering space, buffer usage, NP-hard optimization problems, computational complexity, parallel programming, concurrency, heuristic, upper bounds, programming theory, communication channels, deadlock prevention, process execution, communication deadlocks
57Tadao Murata, Boris Shenker, Sol M. Shatz Detection of Ada Static Deadlocks Using Petri Net Invariants. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
55Azzedine Boukerche, Carl Tropper Hierarchical schedulings of time-next-event heuristic on distributed memory machines. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF semi-global time-next-event heuristic, logical process unblocking, interprocessor deadlocks, processor cluster, queuing network simulation, one-level scheduling, parallel algorithms, concurrency control, distributed memory systems, processor scheduling, torus, heuristic programming, run time, distributed memory machines, hierarchical scheduling, shortest path algorithm, lookahead, two-level scheduling, simulation parallelism
48Mathias Kohler, Andreas Schaad Avoiding Policy-based Deadlocks in Business Processes. Search on Bibsonomy ARES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Security, Access Control, Business Process, Deadlock Avoidance
47Waleed A. Muhanna Composite Programs: Hierarchical Construction, Circularity, and Deadlocks. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF hierarchical construction, nonprocedural development environment, composite programs, input ports, output ports, coupling graph, cycle enumeration, atomic programs, deadly cycles, graph theory, graph theory, concurrency control, interfaces, programming environments, decomposition, programming theory, necessary and sufficient conditions, circularity, communication behavior, cyclic, communication deadlocks
47Liu Lingzhong Comments on "A Distributed Scheme for Detecting Communication Deadlocks''. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF communication deadlocks detection, distributed scheme, distributed processing, correctness proof
47Tobias 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
47Juan-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
47Juan-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
46Marwa Shousha, Lionel C. Briand, Yvan Labiche A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
46Marta Rukoz A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems. Search on Bibsonomy WDAG The full citation details ... 1989 DBLP  DOI  BibTeX  RDF distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions
39Bill Mitchell Characterizing Communication Channel Deadlocks in Sequence Diagrams. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Formal methods, Requirements Analysis, Distributed programming, Distributed networks, Protocol verification
39A. Wegrzyn Parallel algorithm for computation of deadlocks and traps in Petri nets. Search on Bibsonomy ETFA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39Dawson R. Engler, Ken Ashcraft RacerX: effective, static detection of race conditions and deadlocks. Search on Bibsonomy SOSP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF deadlock detection, race detection, program checking
39Subhash Bhalla, Masaki Hasegawa Automatic Detection of Multi-Level Deadlocks in Distributed Transaction Management Systems. Search on Bibsonomy ICPP Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Yong Ho Song, Timothy Mark Pinkston On Message.Dependent Deadlocks in Multiprocessor/Multicomputer Systems. Search on Bibsonomy HiPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Nima Kaveh Using Model Checking to Detect Deadlocks in Distributed Object Systems. Search on Bibsonomy EDO The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Object Middleware, Model Checking, Software Architecture
39Johann Blieberger, Bernd Burgstaller, Bernhard Scholz Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. Search on Bibsonomy Ada-Europe The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Sugath Warnakulasuriya, Timothy Mark Pinkston Characterization of Deadlocks in Irregular Networks. Search on Bibsonomy ICPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF deadlock characterization, non-atomic buffer allocation, Interconnection networks, adaptive routing, irregular topology
39Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, José M. Bernabéu-Aubán, Gottfried Vossen Resolving Distributed Deadlocks in the OR Request Model. Search on Bibsonomy SRDS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Lisbeth Fajstrup, Eric Goubault, Martin Raußen Detecting Deadlocks in Concurrent Systems. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Jingde Cheng, Kazuo Ushijima Tasking Deadlocks in Ada 95 Programs and Their Detection. Search on Bibsonomy Ada-Europe The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
39Ajay D. Kshemkalyani, Mukesh Singhal Efficient Detection and Resolution of Generalized Distributed Deadlocks. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
39N. Natarajan A Distributed Algorithm for Detecting Communication Deadlocks. Search on Bibsonomy FSTTCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
38Na Deng, Desheng Li, Changbao Li, Junliang Chen, Chuanchang Liu On-the-Fly Detection Approach of Control Dependency Deadlocks in BPEL. Search on Bibsonomy ICWS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF simple circuit, web services, directed graph, business process modeling, BPEL, deadlocks, control dependency
38Andreas 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. Search on Bibsonomy NOCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF message dependent deadlocks, strict ordering, Network-on-chip, deadlock avoidance, deadlock recovery
38Marina Roesler, Walter A. Burkhard Resolution of Deadlocks in Object-Oriented Distributed Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1989 DBLP  DOI  BibTeX  RDF worst time complexity, object-oriented distributed systems, semantic lock model, message traffic, average time complexities, distributed algorithm, distributed databases, concurrency control, deadlocks resolution, dependence relations, concurrency control algorithms
37Horatiu Jula, George Candea A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. Search on Bibsonomy RV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Bharath N, Nagaraju Bussa Artificial Deadlock Detection in Process Networks for ECLIPSE. Search on Bibsonomy ASAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Mithuna Thottethodi, Alvin R. Lebeck, Shubhendu S. Mukherjee BLAM : A High-Performance Routing Algorithm for Virtual Cut-Through Networks. Search on Bibsonomy IPDPS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF non-minimal routing, chaotic routing, Multiprocessor interconnection networks, routing algorithm, k-ary n-cubes, virtual cut-through
37Jun 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
37Antti Valmari, Konsta Karsisto, Manu Setälä Visualisation of Reduced Abstracted Behaviour as a Design Tool. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF reduced abstracted behaviour visualisation, software design tool, user-friendly formal method, incorrect actions, simultaneous analysis, communication protocol development, distributed system, formal specification, distributed processing, concurrency control, feedback, transport protocols, deadlocks, data visualisation, program diagnostics, graphical representation, livelocks, graphical display, design errors
37Xuemin Lin 0001, Jian Chen An optimal deadlock resolution algorithm in multidatabase systems. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution
29 Deadlocks in Distributed Database Systems. Search on Bibsonomy Encyclopedia of Database Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Ahmed Awad 0001, Frank Puhlmann Structural Detection of Deadlocks in Business Process Models. Search on Bibsonomy BIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. Search on Bibsonomy ASWEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Jingde Cheng Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001 Concurrent software verification with states, events, and deadlocks. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
29Mark J. Karol, S. Jamaloddin Golestani, David Lee Prevention of deadlocks and livelocks in lossless backpressured packet networks. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF backpressure, livelock prevention, lossless networks, congestion control, deadlock prevention, bounded delay
29Kamel Barkaoui, Claude Dutheillet, Serge Haddad An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
29Jingde Cheng, Kazuo Ushijima Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. Search on Bibsonomy Ada-Europe The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
29Berthold Kröger, Reinhard Lüling, Burkhard Monien, Oliver Vornberger An Improved Algorithm to Detect Communication Deadlocks in Distributed Systems. Search on Bibsonomy WDAG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Joseph L. Hellerstein, Wesley W. Chu Some potential deadlocks in layered communications architectures. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
29Koji Nezu System deadlocks resolution. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
28Yin 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
28Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Srinivasan 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. Search on Bibsonomy VLSI-SoC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Arun Kejariwal, Hideki Saito 0001, Xinmin Tian, Milind Girkar, Wei Li 0015, Utpal Banerjee, Alexandru Nicolau, Constantine D. Polychronopoulos Lightweight lock-free synchronization methods for multithreading. Search on Bibsonomy ICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
28Nacer 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
28Juan-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
28Moustafa A. Youssef 0001, Arunchandar Vasan 0001, Raymond E. Miller Specification and Analysis of the DCF and PCF Protocols in the 802.11 Standard Using Systems of Communicating Machines. Search on Bibsonomy ICNP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Jun Zhou, Kuo-Chung Tai Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. Search on Bibsonomy ISSRE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Markus Jäger 0001 Using Software Agents to Avoid Collisions Among Multiple Robots. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Cooperating Software Agents, Collision Avoidance among multiple Robots, Area Partitioning Area Coverage, Cooperating Robots
28Laurent Perrussel, Pierre-Jean Charrel Inconsistent Requirements: An Argumentation View. Search on Bibsonomy ICTAI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF > Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
28Ahmad Khonsari, Hamid Sarbazi-Azad, Mohamed Ould-Khaoua Analysis of True Fully Adaptive Routing with Software-Based Deadlock Recovery. Search on Bibsonomy ICPP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Ingebjørg Theiss, Olav Lysne Deadlock Avoidance for Wormhole Based Switches. Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Hui-I Hsiao, Inderpal Narang DLFM: A Transactional Resource Manager. Search on Bibsonomy SIGMOD Conference The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
28Jun 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
28Vara Varavithya, Prasant Mohapatra Asynchronous Tree-Based Multicasting in Wormhole-Switched MINs. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Asynchronous tree-based multicasting, deadlock configurations, multicast routing algorithm, multistage interconnection networks, wormhole switching
28José 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
28Elisa Bertino, Giovanni Chiola, Luigi V. Mancini Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Pedro López 0001, Juan-Miguel Martínez 0001, José Duato DRIL: Dynamically Reduced Message Injection Limitation Mechanism for Wormhole Networks. Search on Bibsonomy ICPP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Vara Varavithya, Prasant Mohapatra Tree-Based Multicasting on Wormhole Routed Multistage Interconnection Networks. Search on Bibsonomy ICPP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Asynchronous tree-based multicasting, interprocessor communication, multicast communications
28K. V. Anjan, Timothy Mark Pinkston An Efficient, Fully Adaptive Deadlock Recovery Scheme: DISHA. Search on Bibsonomy ISCA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Jonathan Billington, Bing Han Modelling and analysing the functional behaviour of TCP's connection management procedures. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis
27Klaus Havelund, Grigore Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
27Sheng-De Wang, Pao Hwa Sui Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns. Search on Bibsonomy PRDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF deadlocks, wormhole routing, Mesh networks, virtual channels, fault-tolerant routing
27Klaus Havelund, Thomas Pressburger Model Checking JAVA Programs using JAVA PathFinder. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
27Christopher A. Rouff, James L. Rash, Michael G. Hinchey Experience Using Formal Methods for Specifying a Multi-Agent System. Search on Bibsonomy ICECCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
27Olav Lysne Deadlock Avoidance for Switches Based on Wormhole Networks. Search on Bibsonomy ICPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Inter-switch deadlocks, Interconnect networks, Wormhole routing, Deadlock avoidance, Switch fabric
27Fabrizio 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
27Andrea Clematis, Vittoria Gianuzzi CPVM - Extending PVM for Consistent Checkpointing. Search on Bibsonomy PDP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF CPVM, consistent checkpointing, global checkpoint-restart algorithms, job-swapping, parallel programming, software tools, concurrency control, migration, deadlocks, termination, software fault tolerance, software fault-tolerance, software libraries, software library, PVM, Parallel Virtual Machine, software portability, nonblocking
27Hiroaki Higaki Extended group communication algorithm for updating distributed programs. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF extended group communication algorithm, distributed programs updating, protocol errors, distributed application programs, protocols, distributed processing, concurrency control, deadlocks, user requirements, dynamic updating
27Moreno Coli, Paolo Palazzari An adaptive deadlock and livelock free routing algorithm. Search on Bibsonomy PDP The full citation details ... 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
27Arindam Saha A simulator for real-time parallel processing architectures. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF real-time parallel processing architectures, time-driven flit-based wormhole-routed parallel processor network simulator, user-friendly graphical user interface, prioritized queues, resource allocation policies, message priorities, average latency convergence, throughput monitoring, communication characteristics, performance, real-time systems, resource allocation, parallel architectures, graphical user interfaces, virtual machines, concurrency control, convergence, deadlocks, virtual channel, overlaps, real-time networks
27Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian Distributed Concurrency Control Based on Limited Wait-Depth. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Wait-DepthLimited, Wound-Wait CC, distributed 2PL, limited wait-depth, distributedalgorithms, performance evaluation, performance evaluation, distributed algorithms, distributed databases, distributed databases, concurrency control, concurrency control, distributed, transaction processing, transaction processing, deadlocks, database theory, two-phase locking
27Leo Yuhsiang Liu, R. K. Shyamasundar Static Analysis of Real-Time Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
27In Kyung Ryu, Alexander Thomasian Performance Analysis of Dynamic Locking with the No-Waiting Policy. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF dynamic locking, no-waiting policy, blocking delays, cyclic restarts, throughput characteristic, read-only query, time-stamp ordering method, performance evaluation, performance analysis, concurrency control, concurrency control, transaction processing, deadlocks, transaction processing system, update transactions
27Ugur Halici, Asuman Dogac Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF concurrent transaction execution, distributed database management systems, ordering by serialization numbers, OSN method, certifier model, time-interval techniques, short-term locks, standard transaction execution policy, log classification, concurrency, distributed databases, distributed databases, concurrency control, concurrency control, deadlocks, serializability, complexity analysis, two-phase locking, distributed scheduler, timestamp ordering
27Bo Ingvar Sandén Correction to "The Case for Electric Design of Real-Time Software''. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF communication deadlocks detection, distributed scheme, distributed processing, correctness proof
27Tony T. Lee, Ming-Yee Lai A Relational Algebraic Approach to Protocol Verification. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
27Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe An Acyclic Expansion Algorithm for Fast Protocol Validation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF acyclic expansion algorithm, protocol errors, system deadlocks, channel overflows, protocols, finite state machines, program verification, finite automata, system recovery, state transitions, computer communications software, protocol validation, communications software
20Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng Petri Net Unfolding-Based Detection and Replay of Program Deadlocks. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 684 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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