Search results for "deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
95	Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur	Deadlocks: From Exhibiting to Healing.	RV	2008	DBLP DOI BibTeX RDF
94	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
85	Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati	A type system for preventing data races and deadlocks in the java virtual machine language: 1.	LCTES	2007	DBLP DOI BibTeX RDF	SafeJava, deadlocks, data races, ownership types
75	Rajendra V. Boppana, Suresh Chalasani, Cauligi S. Raghavendra	Resource Deadlocks and Performance of Wormhole Multicast Routing Algorithms.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Consumption channels, multicasts, routing algorithms, deadlocks, wormhole routing, multicomputers
67	Mehdi Hashemzadeh, Nacer Farajzadeh, Abolfazl Toroghi Haghighat	Optimal Detection and Resolution of Distributed Deadlocks in the Generalized Model.	PDP	2006	DBLP DOI BibTeX RDF
67	Ajay D. Kshemkalyani, Mukesh Singhal	A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	generalized deadlock, Distributed database, replicated database, graph reduction, quorum consensus
66	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
66	Yong Ho Song, Timothy Mark Pinkston	A Progressive Approach to Handling Message-Dependent Deadlock in Parallel Computer Systems.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	message dependency, parallel processing, Interconnection network, deadlock-free routing
57	Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik	A randomized dynamic program analysis technique for detecting real deadlocks.	PLDI	2009	DBLP DOI BibTeX RDF	active testing, concurrency, deadlock detection, dynamic program analysis
57	Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
57	Jesú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.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms
57	Timothy Mark Pinkston, Sugath Warnakulasuriya	Characterization of Deadlocks in k-ary n-Cube Networks.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock characterization, true fully adaptive routing, $k$-ary $n$-cube interconnection networks, deadlock detection, deadlock recovery
57	Larry Soulé, Anoop Gupta	Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation.	DAC	1989	DBLP DOI BibTeX RDF
57	Byung-Chul Kim, Sang-Woo Jun, Dae-Joon Hwang, Yong-Kee Jun	Visualizing Potential Deadlocks in Multithreaded Programs.	PaCT	2009	DBLP DOI BibTeX RDF	potential deadlocks, lock-causality graph, visualization, debugging, multithreaded programs
57	Rahul Agarwal, Scott D. Stoller	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.	PADTAD	2006	DBLP DOI BibTeX RDF	testing, concurrent programs, deadlocks
57	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Interconnection Networks.	IPPS	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
57	SangKeun Lee 0001, Chong-Sun Hwang, Won-Gyu Lee	A unified approach to global concurrency control and global deadlocks in a multidatabase environment.	ICPADS	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
57	Valmir Carneiro Barbosa	Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs.	IEEE Trans. Software Eng.	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
57	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	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
55	Azzedine Boukerche, Carl Tropper	Hierarchical schedulings of time-next-event heuristic on distributed memory machines.	Annual Simulation Symposium	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
48	Mathias Kohler, Andreas Schaad	Avoiding Policy-based Deadlocks in Business Processes.	ARES	2008	DBLP DOI BibTeX RDF	Security, Access Control, Business Process, Deadlock Avoidance
47	Waleed A. Muhanna	Composite Programs: Hierarchical Construction, Circularity, and Deadlocks.	IEEE Trans. Software Eng.	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
47	Liu Lingzhong	Comments on "A Distributed Scheme for Detecting Communication Deadlocks''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	communication deadlocks detection, distributed scheme, distributed processing, correctness proof
47	Tobias Hilbrich, Bronis R. de Supinski, Martin Schulz 0001, Matthias S. Müller	A graph based approach for MPI deadlock detection.	ICS	2009	DBLP DOI BibTeX RDF	umpire, parallel programming, deadlock detection, mpi
47	Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato	A Cost-Effective Approach to Deadlock Handling in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	injection limitation, adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
47	Juan-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.	ICPP	1997	DBLP DOI BibTeX RDF	adaptive routing, virtual channels, Wormhole switching, deadlock detection, deadlock recovery
46	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.	MoDELS	2008	DBLP DOI BibTeX RDF	SPT, genetic algorithms, UML, MDD, deadlocks, concurrent systems, model analysis
46	Marta Rukoz	A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems.	WDAG	1989	DBLP DOI BibTeX RDF	distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions
39	Bill Mitchell	Characterizing Communication Channel Deadlocks in Sequence Diagrams.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Formal methods, Requirements Analysis, Distributed programming, Distributed networks, Protocol verification
39	A. Wegrzyn	Parallel algorithm for computation of deadlocks and traps in Petri nets.	ETFA	2005	DBLP DOI BibTeX RDF
39	Dawson R. Engler, Ken Ashcraft	RacerX: effective, static detection of race conditions and deadlocks.	SOSP	2003	DBLP DOI BibTeX RDF	deadlock detection, race detection, program checking
39	Subhash Bhalla, Masaki Hasegawa	Automatic Detection of Multi-Level Deadlocks in Distributed Transaction Management Systems.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
39	Yong Ho Song, Timothy Mark Pinkston	On Message.Dependent Deadlocks in Multiprocessor/Multicomputer Systems.	HiPC	2000	DBLP DOI BibTeX RDF
39	Nima Kaveh	Using Model Checking to Detect Deadlocks in Distributed Object Systems.	EDO	2000	DBLP DOI BibTeX RDF	Object Middleware, Model Checking, Software Architecture
39	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
39	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Irregular Networks.	ICPP	1999	DBLP DOI BibTeX RDF	deadlock characterization, non-atomic buffer allocation, Interconnection networks, adaptive routing, irregular topology
39	Jesú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.	SRDS	1999	DBLP DOI BibTeX RDF
39	Lisbeth Fajstrup, Eric Goubault, Martin Raußen	Detecting Deadlocks in Concurrent Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
39	Jingde Cheng, Kazuo Ushijima	Tasking Deadlocks in Ada 95 Programs and Their Detection.	Ada-Europe	1996	DBLP DOI BibTeX RDF
39	Ajay D. Kshemkalyani, Mukesh Singhal	Efficient Detection and Resolution of Generalized Distributed Deadlocks.	IEEE Trans. Software Eng.	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
39	N. Natarajan	A Distributed Algorithm for Detecting Communication Deadlocks.	FSTTCS	1984	DBLP DOI BibTeX RDF
38	Na Deng, Desheng Li, Changbao Li, Junliang Chen, Chuanchang Liu	On-the-Fly Detection Approach of Control Dependency Deadlocks in BPEL.	ICWS	2011	DBLP DOI BibTeX RDF	simple circuit, web services, directed graph, business process modeling, BPEL, deadlocks, control dependency
38	Andreas Lankes, Thomas Wild, Andreas Herkersdorf, Sören Sonntag, Helmut Reinig	Comparison of Deadlock Recovery and Avoidance Mechanisms to Approach Message Dependent Deadlocks in On-chip Networks.	NOCS	2010	DBLP DOI BibTeX RDF	message dependent deadlocks, strict ordering, Network-on-chip, deadlock avoidance, deadlock recovery
38	Marina Roesler, Walter A. Burkhard	Resolution of Deadlocks in Object-Oriented Distributed Systems.	IEEE Trans. Computers	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
37	Horatiu Jula, George Candea	A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.	RV	2008	DBLP DOI BibTeX RDF
37	Bharath N, Nagaraju Bussa	Artificial Deadlock Detection in Process Networks for ECLIPSE.	ASAP	2005	DBLP DOI BibTeX RDF
37	Mithuna Thottethodi, Alvin R. Lebeck, Shubhendu S. Mukherjee	BLAM : A High-Performance Routing Algorithm for Virtual Cut-Through Networks.	IPDPS	2003	DBLP DOI BibTeX RDF	non-minimal routing, chaotic routing, Multiprocessor interconnection networks, routing algorithm, k-ary n-cubes, virtual cut-through
37	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
37	Antti Valmari, Konsta Karsisto, Manu Setälä	Visualisation of Reduced Abstracted Behaviour as a Design Tool.	PDP	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
37	Xuemin Lin 0001, Jian Chen	An optimal deadlock resolution algorithm in multidatabase systems.	ICPADS	1996	DBLP DOI BibTeX RDF	global deadlocks, global transactions, distributed databases, concurrency control, transaction processing, transaction processing, multidatabase systems, multidatabase system, deadlock resolution
29		Deadlocks in Distributed Database Systems.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
29	Ahmed Awad 0001, Frank Puhlmann	Structural Detection of Deadlocks in Business Process Models.	BIS	2008	DBLP DOI BibTeX RDF
29	John Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki	Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks.	ASWEC	2007	DBLP DOI BibTeX RDF
29	Jingde Cheng	Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
29	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
29	Mark J. Karol, S. Jamaloddin Golestani, David Lee	Prevention of deadlocks and livelocks in lossless backpressured packet networks.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	backpressure, livelock prevention, lossless networks, congestion control, deadlock prevention, bounded delay
29	Kamel Barkaoui, Claude Dutheillet, Serge Haddad	An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
29	Jingde Cheng, Kazuo Ushijima	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.	Ada-Europe	1991	DBLP DOI BibTeX RDF
29	Berthold Kröger, Reinhard Lüling, Burkhard Monien, Oliver Vornberger	An Improved Algorithm to Detect Communication Deadlocks in Distributed Systems.	WDAG	1990	DBLP DOI BibTeX RDF
29	Joseph L. Hellerstein, Wesley W. Chu	Some potential deadlocks in layered communications architectures.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
29	Koji Nezu	System deadlocks resolution.	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
28	Yin Wang 0001, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
28	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
28	Srinivasan 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.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
28	Arun 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.	ICS	2006	DBLP DOI BibTeX RDF
28	Nacer Farajzadeh, Mehdi Hashemzadeh, Morteza Mousakhani, Abolfazl Toroghi Haghighat	An Efficient Generalized Deadlock Detection and Resolution Algorithm in Distributed Systems.	CIT	2005	DBLP DOI BibTeX RDF	deadlock detection and resolution, wait-for-graph, Distributed systems, algorithm
28	Juan-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.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	true fully adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
28	Moustafa 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.	ICNP	2002	DBLP DOI BibTeX RDF
28	Jun Zhou, Kuo-Chung Tai	Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.	ISSRE	2001	DBLP DOI BibTeX RDF
28	Markus Jäger 0001	Using Software Agents to Avoid Collisions Among Multiple Robots.	ICTAI	2001	DBLP DOI BibTeX RDF	Cooperating Software Agents, Collision Avoidance among multiple Robots, Area Partitioning Area Coverage, Cooperating Robots
28	Laurent Perrussel, Pierre-Jean Charrel	Inconsistent Requirements: An Argumentation View.	ICTAI	2001	DBLP DOI BibTeX RDF	> Collaborative Software Agents, Search, Distributed AI, Distributed Constraint Satisfaction
28	Ahmad Khonsari, Hamid Sarbazi-Azad, Mohamed Ould-Khaoua	Analysis of True Fully Adaptive Routing with Software-Based Deadlock Recovery.	ICPP	2001	DBLP DOI BibTeX RDF
28	Ingebjørg Theiss, Olav Lysne	Deadlock Avoidance for Wormhole Based Switches.	Euro-Par	2000	DBLP DOI BibTeX RDF
28	Hui-I Hsiao, Inderpal Narang	DLFM: A Transactional Resource Manager.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
28	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Client/Server Programs.	ICDCS	2000	DBLP DOI BibTeX RDF	client/server program, deadlock, labeled transition system, reachability graph
28	Vara Varavithya, Prasant Mohapatra	Asynchronous Tree-Based Multicasting in Wormhole-Switched MINs.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Asynchronous tree-based multicasting, deadlock configurations, multicast routing algorithm, multistage interconnection networks, wormhole switching
28	José 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.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Deadlock detection/resolution, AND model, hierarchical correctness proofs, input/output automata model, distributed systems
28	Elisa Bertino, Giovanni Chiola, Luigi V. Mancini	Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models.	ICATPN	1998	DBLP DOI BibTeX RDF
28	Pedro López 0001, Juan-Miguel Martínez 0001, José Duato	DRIL: Dynamically Reduced Message Injection Limitation Mechanism for Wormhole Networks.	ICPP	1998	DBLP DOI BibTeX RDF
28	Vara Varavithya, Prasant Mohapatra	Tree-Based Multicasting on Wormhole Routed Multistage Interconnection Networks.	ICPP	1997	DBLP DOI BibTeX RDF	Asynchronous tree-based multicasting, interprocessor communication, multicast communications
28	K. V. Anjan, Timothy Mark Pinkston	An Efficient, Fully Adaptive Deadlock Recovery Scheme: DISHA.	ISCA	1995	DBLP DOI BibTeX RDF
27	Jonathan Billington, Bing Han	Modelling and analysing the functional behaviour of TCP's connection management procedures.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	TCP connection management, Termination property, Deadlocks, Coloured Petri Nets, State space analysis
27	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
27	Sheng-De Wang, Pao Hwa Sui	Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns.	PRDC	2001	DBLP DOI BibTeX RDF	deadlocks, wormhole routing, Mesh networks, virtual channels, fault-tolerant routing
27	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
27	Christopher A. Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	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
27	Olav Lysne	Deadlock Avoidance for Switches Based on Wormhole Networks.	ICPP	1999	DBLP DOI BibTeX RDF	Inter-switch deadlocks, Interconnect networks, Wormhole routing, Deadlock avoidance, Switch fabric
27	Fabrizio Petrini, Marco Vanneschi	Performance Analysis of Minimal Adaptive Wormhole Routing with Time-Dependent Deadlock Recovery.	IPPS	1997	DBLP DOI BibTeX RDF	minimal adaptive wormhole routing, potential deadlocks, performance analysis, multiprocessor interconnection networks, virtual channels, deadlock avoidance, timeout, deadlock recovery
27	Andrea Clematis, Vittoria Gianuzzi	CPVM - Extending PVM for Consistent Checkpointing.	PDP	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
27	Hiroaki Higaki	Extended group communication algorithm for updating distributed programs.	ICPADS	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
27	Moreno Coli, Paolo Palazzari	An adaptive deadlock and livelock free routing algorithm.	PDP	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
27	Arindam Saha	A simulator for real-time parallel processing architectures.	Annual Simulation Symposium	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
27	Peter A. Franaszek, Jayant R. Haritsa, John T. Robinson, Alexander Thomasian	Distributed Concurrency Control Based on Limited Wait-Depth.	IEEE Trans. Parallel Distributed Syst.	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
27	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	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
27	In Kyung Ryu, Alexander Thomasian	Performance Analysis of Dynamic Locking with the No-Waiting Policy.	IEEE Trans. Software Eng.	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
27	Ugur Halici, Asuman Dogac	Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks.	IEEE Trans. Software Eng.	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
27	Bo Ingvar Sandén	Correction to "The Case for Electric Design of Real-Time Software''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	communication deadlocks detection, distributed scheme, distributed processing, correctness proof
27	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	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
27	Yoshiaki Kakuda, Yasushi Wakahara, Masamitsu Norigoe	An Acyclic Expansion Algorithm for Fast Protocol Validation.	IEEE Trans. Software Eng.	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
20	Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng	Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.	IEEE Access	2024	DBLP DOI BibTeX RDF