Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Ajay D. Kshemkalyani, Mukesh Singhal	Correct Two-Phase and One-Phase Deadlock Detection Algorithms for Distributed Systems.	SPDP	1990	DBLP DOI BibTeX RDF
27	Beverly A. Sanders, Philipp A. Heuberger	Distributed Deadlock Detection and Resolution with Probes.	WDAG	1989	DBLP DOI BibTeX RDF
27	Bin Jiang	Deadlock Detection is Really Cheap.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF
27	J. K. Annot, Rob A. H. van Twist	A Novel Deadlock Free and Starvation Free Packet Switching Communication Processor.	PARLE (1)	1987	DBLP DOI BibTeX RDF
27	Rakesh Agrawal 0001, Michael J. Carey 0001, David J. DeWitt	Deadlock Detection is Cheap.	SIGMOD Rec.	1983	DBLP DOI BibTeX RDF
27	Henry F. Korth	Deadlock Freedom Using Edge Locks.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF	concurrency control, locking, serializability
26	Alper Sen 0001, Vinit Ogale, Magdy S. Abadir	Predictive runtime verification of multi-processor SoCs in SystemC.	DAC	2008	DBLP DOI BibTeX RDF	predictive verification, deadlock, SystemC, assertion, ESL
26	Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak	Design of Admissible Schedules for AGV Systems with Constraints: A Logic-Algebraic Approach.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	scheduling, constraints logic programming, deadlock avoidance
26	Olav Lysne, Tor Skeie, Sven-Arne Reinemo, Ingebjørg Theiss	Layered Routing in Irregular Networks.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	Routing functions, interprocessor communication, deadlock avoidance, irregular topologies
26	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager	Model checker aided design of a controller for a wafer scanner.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Resource allocation systems, Deadlock avoidance policy, Finite and timed automata, Stuttering bisimulation, Model checking, Throughput optimization
26	Jipeng Zhou	Fault-Tolerant Wormhole Routing with 2 Virtual Channels in Meshes.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	disjoint fault-connected region, fault-tolerant wormhole routing, virtual channel, deadlock freedom
26	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
26	Kengo Katayama, Takahiro Koshiishi, Hiroyuki Narihisa	Reinforcement learning agents with primary knowledge designed by analytic hierarchy process.	SAC	2005	DBLP DOI BibTeX RDF	profit sharing, pursuit problem, sokoban, reinforcement learning, deadlock, analytic hierarchy process
26	D. Manivannan 0001, Mukesh Singhal	An Efficient Distributed Algorithm for Detection of Knots and Cycles in a Distributed Graph.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Distributed graph, knot detection, distributed systems, distributed algorithms, distributed simulation, deadlock detection
26	Peter K. K. Loh, Wen-Jing Hsu	Design of a Vialbe Fault-Tolerant Routing Strategy for Optical-Based Grids.	ISPA	2003	DBLP DOI BibTeX RDF	livelock-freedom, wavelength-division multiplexing, Fault-tolerant routing, deadlock-freedom, grid networks
26	Olav Lysne, Timothy Mark Pinkston, José Duato	A Methodology for Developing Dynamic Network Reconfiguration Processes.	ICPP	2003	DBLP DOI BibTeX RDF	dynamic network reconfiguration, interconnection network architecture, highly-available and highly-dependable network-based systems, Deadlock-free routing
26	Michihiro Koibuchi, Konosuke Watanabe, Kenichi Kono, Akiya Jouraku, Hideharu Amano	Performance Evaluation of Routing Algorithms in RHiNET-2 Cluster.	CLUSTER	2003	DBLP DOI BibTeX RDF	RHiNET-2 cluster, Up/Down routing, performance evaluation, interconnection networks, deadlock avoidance, Deterministic routing, System Area Networks
26	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou	Reduction Methods for Real-Time Systems Using Delay Time Petri Nets.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	net reduction, schedule, Real-time systems, Petri nets, deadlock, reachability, state explosion
26	Andres Ibañez, Valentin Puente, José A. Gregorio, Ramón Beivide	A New Communication Mechanism for Cluster Computing.	Euro-Par	2001	DBLP DOI BibTeX RDF	bubble method, routing algorithm, deadlock, routers, virtual channels, irregular networks
26	José Carlos Sancho, Antonio Robles, José Duato	Effective Strategy to Compute Forwarding Tables for InfiniBand Networks.	ICPP	2001	DBLP DOI BibTeX RDF	InfiniBand network, performance evaluation, routing algorithms, deadlock avoidance, irregular topologies
26	Takeo Hosomi, Yasushi Kanoh, Masaaki Nakamura, Tetsuya Hirose	A DSM Architecture for a Parallel Computer Cenju-4.	HPCA	2000	DBLP DOI BibTeX RDF	scalability, multicast, shared-memory, deadlock, coherence protocol, starvation, directory, gathering, ccNUMA
26	Wenjian Qiao, Lionel M. Ni, Tomas Rokicki	Adaptive-Trail Routing and Performance Evaluation in Irregular Networks Using Cut-Through Switches.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	incremental scalability, performance evaluation, Adaptive routing, deadlock-free routing, irregular networks, cut-through switches
26	Dhabaleswar K. Panda 0001, Sanjay Singal, Ram Kesavan	Multidestination Message Passing in Wormhole k-ary n-cube Networks with Base Routing Conformed Paths.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	deadlock-freedom and interprocessor communication, multicast, interconnection networks, broadcast, meshes, Wormhole routing, collective communication, k-ary n-cubes
26	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
26	Xiaola Lin, Philip K. McKinley, Lionel M. Ni	The Message Flow Model for Routing in Wormhole-Routed Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Channel dependency graph, message flow model, wormhole routing, adaptive routing, mesh networks, multicast communication, deadlock-free routing
26	Masato Notomi, Tadao Murata	Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	hierarchical reachability graph, bounded Petri nets, concurrent-software analysis, communication protocol software, hierarchically organized state space, deadlock state, successor states, software engineering, Petri nets, efficiency, tractability, markings, state explosion, multiprocessing programs, hierarchical systems, state-space methods, Ada programs
26	Joffroy Beauquier, Annie Choquet, Antoine Petit 0001, Guy Vidal-Naquet	Detection of Deadlocks in an Infinite Family of Nets.	STACS	1991	DBLP DOI BibTeX RDF	deadlock detection, massive parallelism
26	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
25	Ferenc Bujtor, Lev Sorokin, Walter Vogler	Testing Preorders for dMTS: Deadlock- and the New Deadlock-/DivergenceTesting.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
25	Massimo Canale, Simone Casale Brunet, Endri Bezati, Marco Mattavelli, Jörn W. Janneck	Dataflow Programs Analysis and Optimization Using Model Predictive Control Techniques - Two Examples of Bounded Buffer Scheduling: Deadlock Avoidance and Deadlock Recovery Strategies.	J. Signal Process. Syst.	2016	DBLP DOI BibTeX RDF
25	Ferenc Bujtor, Lev Sorokin, Walter Vogler	Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing.	ACSD	2015	DBLP DOI BibTeX RDF
25	Andrei Karatkevich, Iwona Grobelna	Deadlock detection in Petri nets: One trace for one deadlock?	HSI	2014	DBLP DOI BibTeX RDF
25	Keyi Xing, LiBin Han, MengChu Zhou, Feng Wang	Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy.	IEEE Trans. Syst. Man Cybern. Part B	2012	DBLP DOI BibTeX RDF
25	Rahil Hosseini, Abolfazl Toroghi Haghighat	A Survey of Distributed Probe-based Deadlock Detection Algorithms and an Improvement for Solving False Deadlock.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
25	J. Adeane, V. W. Wittorff	Deadlock Avoidance in the PNNI Routing Protocol - A Deadlock Prevention Algorithm.	INTERWORKING	2002	DBLP BibTeX RDF
25	Markus Jäger 0001, Bernhard Nebel	Decentralized collision avoidance, deadlock detection, and deadlock resolution for multiple mobile robots.	IROS	2001	DBLP DOI BibTeX RDF
25	Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal	Erratum: Deadlock Models and a General Algorithm for Distributed Deadlock Detection.	J. Parallel Distributed Comput.	1996	DBLP DOI BibTeX RDF
25	Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal, Mukesh Singhal	Deadlock Models and a General Algorithm for Distributed Deadlock Detection.	J. Parallel Distributed Comput.	1995	DBLP DOI BibTeX RDF
25	Nukala Viswanadham, Yadati Narahari, Timothy L. Johnson	Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models.	IEEE Trans. Robotics Autom.	1990	DBLP DOI BibTeX RDF
25	Philip M. Merlin, Paul J. Schweitzer	Deadlock Avoidance in Store-and-Forward Networks-I: Store-and-Forward Deadlock.	IEEE Trans. Commun.	1980	DBLP DOI BibTeX RDF
25	Philip M. Merlin, Paul J. Schweitzer	Deadlock Avoidance in Store-and-Forward Networks-II: Other Deadlock Types.	IEEE Trans. Commun.	1980	DBLP DOI BibTeX RDF
25	Jing Bi, Zhiliang Zhu 0001, Haitao Yuan 0001, Yushun Fan, Ming Tie	A Petri Net Based Hybrid Optimal Controller for Deadlock Prevention in Web Service Composition.	ICWS	2011	DBLP DOI BibTeX RDF	Controlled Petri net, hybrid optimal controller, web service composition, compatibility, deadlock prevention
25	Ruizhe Wu, Yi Wang 0007, Dan Zhao 0001	A Low-Cost Deadlock-Free Design of Minimal-Table Rerouted XY-Routing for Irregular Wireless NoCs.	NOCS	2010	DBLP DOI BibTeX RDF	Wireless Network-on-Chip, Segmented XY-Routing, Turn Classes-based Deadlock Avoidance
25	Gonzalo Zarza, Diego Lugones, Daniel Franco 0002, Emilio Luque	Deadlock Avoidance for Interconnection Networks with Multiple Dynamic Faults.	PDP	2010	DBLP DOI BibTeX RDF	interconnection networks, adaptive routing, deadlock avoidance
25	Sami Taktak, Emmanuelle Encrenaz, Jean Lou Desbarbieux	A Polynomial Algorithm to Prove Deadlock-Freeness of Wormhole Networks.	PDP	2010	DBLP DOI BibTeX RDF	routing function, Network, deadlock, dependency graph, wormhole
25	Majid Janidarmian, Vahhab Samadi Bokharaie, Ahmad Khademzadeh, Misagh Tavanpour	Sorena: New on Chip Network Topology Featuring Efficient Mapping and Simple Deadlock Free Routing Algorithm.	CIT	2010	DBLP DOI BibTeX RDF	routing, mapping, network on chip, topology, deadlock-free
25	Yuri Nishikawa, Michihiro Koibuchi, Hiroki Matsutani, Hideharu Amano	A Deadlock-Free Non-minimal Fully Adaptive Routing Using Virtual Cut-Through Switching.	NAS	2010	DBLP DOI BibTeX RDF	non-minimal fully adaptive routing, NoC, deadlock-free routing, SAN, turn-model, virtual cut-through
25	B. M. Monjurul Alom, Frans A. Henskens, Michael Richard Hannaford	Deadlock Detection Views of Distributed Database.	ITNG	2009	DBLP DOI BibTeX RDF	Deadlock Cycle, Priority_Id, Transaction Queue (TQ), TWFG, Transaction Manager (TM)
25	Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan 0001	Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.	ASE	2009	DBLP DOI BibTeX RDF	Concurrent Libraries, Static Analysis, Program Analysis, Deadlock Detection, SMT solvers
25	Milosh V. Ivanovich, Moshe Zukerman, Fraser Cameron	A study of deadlock models for a multiservice medium access protocol employing a Slotted Aloha signalling channel.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	p-persistence, HFC, protocol, MAC, deadlock, contention resolution
25	Ran Libeskind-Hadas	A Tight Lower Bound on the Number of Channels Required for Deadlock-Free Wormhole Routing.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	fault tolerance, Wormhole routing, deadlock-free routing algorithms
25	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	concurrency, type theory, deadlock-freedom
25	Robert Cypher, Luis Gravano	Storage-Efficient, Deadlock-Free Packet Routing Algorithms for Torus Networks.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	deadlock-free packet routing algorithms, torus interconnection networks, minimal length packet routing, VLSI, multiprocessor interconnection networks, packet switching, VLSI implementation, torus networks
25	Baruch Awerbuch, Yossi Azar	Local Optimization of Global Objectives: Competitive Distributed Deadlock Resolution and Resource Allocation	FOCS	1994	DBLP DOI BibTeX RDF	minimum fractional coloring, global objectives, competitive distributed deadlock resolution, distributed server-client architectures, distributed bandwidth management, globally-optimum performance, maximum fractional independent set, distributed computing, resource allocation, admission control, communication networks, communication networking, job scheduling, network throughput, local optimization
25	Michael Young, David L. Levine, Richard N. Taylor	Comments on "Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
25	Ferenc Belik	An Efficient Deadlock Avoidance Rechnique.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	deadlock avoidance technique, resource allocation algorithm, path matrix representation, concurrency control, concurrency control, directed graphs, directed acyclic graphs
25	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	Correction to "A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution".	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, pseudocode, distributed processing, error correction, system recovery, distributed deadlock detection
25	Ahmed K. Elmagarmid, Ajoy Kumar Datta	Two-Phase Deadlock Detection Algorithm.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	deadlock detection algorithm, transaction-wait-for, multiple disjoint controllers, two-phase property, detection step, actual cycle detection, transaction-based distributed processing systems, distributed algorithm, distributed processing, distributed databases, transaction processing, deadlocks
25	Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu	A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection
25	David B. Lomet	A Practical Deadlock Avoidance Algorithm for Data Base Systems.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF	data base systems, resource allocation, operating systems, deadlock, multiprocessing
21	Eric Kerfoot, Steve McKeever	Checking concurrent contracts with aspects.	SAC	2010	DBLP DOI BibTeX RDF	Java, concurrency, AOP, active objects, runtime assertion checking
21	Jizhen Liu, Kehe Wu, Tong Zhang, Gang Ma 0010	The Design and Implementation of Security Defense Technology Based on Mandatory Running Control.	IAS	2009	DBLP DOI BibTeX RDF
21	PengCheng Xiong, Mengchu Zhou, Calton Pu	A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches.	ICWS	2009	DBLP DOI BibTeX RDF
21	Xin Wang 0003, Yingqun Yu, Georgios B. Giannakis	Design and Analysis of Cross-Layer Tree Algorithms for Wireless Random Access.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
21	ZhiWu Li 0001, MengChu Zhou	Control of Elementary and Dependent Siphons in Petri Nets and Their Application.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
21	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
21	Nima Sharifimehr, Samira Sadaoui	An Extended Concurrency Control Service for CORBA.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Concurrency Control Service, Distributed Systems, CORBA
21	Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen	Compositional Verification for Component-Based Systems and Application.	ATVA	2008	DBLP DOI BibTeX RDF
21	Thomas Panhofer, Werner Friesenbichler, Martin Delvai	Fault tolerant Four-State Logic by using Self-Healing Cells.	ICCD	2008	DBLP DOI BibTeX RDF
21	Shan Lu 0001, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou 0001	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
21	Victor Khomenko, Maciej Koutny	Verification of bounded Petri nets using integer programming.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
21	Niels Lohmann, Peter Massuthe, Karsten Wolf	Behavioral Constraints for Services.	BPM	2007	DBLP DOI BibTeX RDF	Petri nets, Constraints, Business process modeling and analysis, Process verification and validation, Formal models in business process management, Operating guidelines
21	Maurizio Palesi, Shashi Kumar, Rickard Holsmark	A Method for Router Table Compression for Application Specific Routing in Mesh Topology NoC Architectures.	SAMOS	2006	DBLP DOI BibTeX RDF
21	Jia-Ying Tzeng, Tung-Kuan Liu, Jyh-Horng Chou	Applications of Multi-objective Evolutionary Algorithms to Cluster Tool Evolutionary Algorithms to Cluster Tool.	ICICIC (2)	2006	DBLP DOI BibTeX RDF
21	César Sánchez 0001, Henny B. Sipma, Christopher D. Gill, Zohar Manna	Distributed Priority Inheritance for Real-Time and Embedded Systems.	OPODIS	2006	DBLP DOI BibTeX RDF
21	Jaehwan John Lee, Vincent John Mooney III	A novel O(n) parallel banker's algorithm for System-on-a-Chip.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Jan A. Bergstra, Cornelis A. Middelburg	Model Theory for Process Algebra.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
21	Beatrice M. Ombuki, Mario Ventresca	Local Search Genetic Algorithms for the Job Shop Scheduling Problem.	Appl. Intell.	2004	DBLP DOI BibTeX RDF	genetic algorithms, combinatorial optimization, local search, tabu search, job shop scheduling
21	Hsin-Chou Chi, Wen-Jen Wu	Routing Tree Construction for Interconnection Network with Irregular Topologies.	PDP	2003	DBLP DOI BibTeX RDF
21	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
21	Elvira Baydal, Pedro López 0001, José Duato	A Simple and Efficient Mechanism to Prevent Saturation in Wormhole Networks.	IPDPS	2000	DBLP DOI BibTeX RDF	message throttling, performance evaluation, congestion control, deadlocks, wormhole
21	Mihaela Sighireanu, Radu Mateescu 0001	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF
21	Alexandre Mota 0001, Augusto Sampaio	Model-Checking CSP-Z.	FASE	1998	DBLP DOI BibTeX RDF
21	Ausif Mahmood, Donald J. Lynch, Roger B. Shaffer	Optimally Adaptive, Minimum-Distance, Circuit-Switched Routing in Hypercubes.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	parallel processing, interconnection networks, hypercube, routing algorithms, adaptive routing, k-ary n-cube, circuit switched
21	Federico Silla, Manuel P. Malumbres, Antonio Robles, Pedro López 0001, José Duato	Efficient Adaptive Routing in Networks of Workstations with Irregular Topology.	CANPC	1997	DBLP DOI BibTeX RDF
21	Yu-Chee Tseng, Dhabaleswar K. Panda 0001, Ten-Hwang Lai	A Trip-Based Multicasting Model in Wormhole-Routed Networks with Virtual Channels.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	fault tolerance, multicast, Routing algorithm, wormhole-routing, collective communication, virtual channel, interprocessor communication, path-based routing
21	Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki	Fibre Channel Fabrics: Evaluation and Design.	HICSS (1)	1996	DBLP DOI BibTeX RDF
21	Mahesh Girkar, Robert Moll	New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
21	Xiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian	Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers.	PARLE	1993	DBLP DOI BibTeX RDF
21	Allan Cheng, Javier Esparza, Jens Palsberg	Complexity Results for 1-safe Nets.	FSTTCS	1993	DBLP DOI BibTeX RDF
21	Peter B. Ladkin, Barbara Simons	Compile-time analysis of communicating processes.	ICS	1992	DBLP DOI BibTeX RDF
21	R. C. Hansdah, Lalit M. Patnaik	Weak Consistency Of Read-only Transactions: A Tool to Improve Concurrency in Heterogeneous Locking Protocols.	FSTTCS	1987	DBLP DOI BibTeX RDF
21	Jayadev Misra	Distributed Discrete-Event Simulation.	ACM Comput. Surv.	1986	DBLP DOI BibTeX RDF
21	Paul F. Reynolds Jr.	A shared resource algorithm for distributed simulation.	ISCA	1982	DBLP BibTeX RDF
20	JongSoo Park, William J. Dally	Buffer-space efficient and deadlock-free scheduling of stream applications on multi-core architectures.	SPAA	2010	DBLP DOI BibTeX RDF	compiler and tools for concurrent programming, green computing and power-efficient architectures, multi-core architectures, stream programming
20	Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis	D-Finder: A Tool for Compositional Deadlock Detection and Verification.	CAV	2009	DBLP DOI BibTeX RDF
20	Gérard Boudol	A Deadlock-Free Semantics for Shared Memory Concurrency.	ICTAC	2009	DBLP DOI BibTeX RDF
20	Matthias Bo Stuart, Mikkel Bystrup Stensgaard, Jens Sparsø	Synthesis of topology configurations and deadlock free routing algorithms for ReNoC-based systems-on-chip.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	routing, system-on-chip, mapping, network-on-chip, synthesis, configuration
20	Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li 0002	Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources.	TASE	2009	DBLP DOI BibTeX RDF
20	Olav Lysne, José Miguel Montañana, José Flich, José Duato, Timothy Mark Pinkston, Tor Skeie	An Efficient and Deadlock-Free Network Reconfiguration Protocol.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Interconnections (Subsystems), Topology, I/O and Data Communications