Search results for "deadlock-free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Nikitas J. Dimopoulos, Mahmood Chowdhury, Radhakrishnan Sivakumar, Vassilios V. Dimakopoulos	Routing in Hypercycles. Deadlock Free and Backtracking Strategies.	PARLE	1992	DBLP DOI BibTeX RDF
33	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
31	José Miguel Montañana, José Flich, José Duato	Epoch-based reconfiguration: Fast, simple, and effective dynamic network reconfiguration.	IPDPS	2008	DBLP DOI BibTeX RDF
31	Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin	LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.	MEMOCODE	2003	DBLP DOI BibTeX RDF
31	Sumit Ghosh, Meng-Lin Yu	An Asynchronous Distributed Approach for the Simulation of Behavior-Level Models on Parallel Processors.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
31	K. V. Anjan, Timothy Mark Pinkston	An Efficient, Fully Adaptive Deadlock Recovery Scheme: DISHA.	ISCA	1995	DBLP DOI BibTeX RDF
30	M. M. Hafizur Rahman, Susumu Horiguchi	High Performance Hierarchical Torus Network under Matrix Transpose Traffic Patterns.	ISPAN	2004	DBLP DOI BibTeX RDF	HTN, matrix transpose traffic pattern, dynamic communication performance, deadlock-free routing
30	Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano, Akira Funahashi	Routing Algorithms Based on 2D Turn Model for Irregular Networks.	ISPAN	2002	DBLP DOI BibTeX RDF	up/down routing, turn model based routing, traffic balancing, simulation, irregular network, deadlock-free
30	Zi-Tsan Chou, Chiun-Chieh Hsu, Jang-Ping Sheu	Bubblesort star graphs: a new interconnection network.	ICPADS	1996	DBLP DOI BibTeX RDF	bubblesort star graphs, deadlock-free wormhole routing algorithm, dilation two, expansion one, multiple disjoint copies, interconnection network, graph theory, hypercube, multiprocessor interconnection networks, mesh, network routing
30	Margaret H. Eich	Graph Directed Locking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	lock conversion, database flow graph locking, non-two-phase methods, distributed databases, distributed databases, directed graphs, database theory, directed acyclic graph, system recovery, deadlock-free, database concurrency control
30	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
29	Ming Li, Qing-An Zeng, Wen-Ben Jone	DyXY: a proximity congestion-aware deadlock-free dynamic routing method for network on chip.	DAC	2006	DBLP DOI BibTeX RDF	network-on-chip, theory, packet routing, queuing
29	Ziqiang Liu, José Duato, Lars-Erik Thorelli	Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing.	PARLE	1993	DBLP DOI BibTeX RDF
29	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
29	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
27	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
27	Gérard Boudol	A Deadlock-Free Semantics for Shared Memory Concurrency.	ICTAC	2009	DBLP DOI BibTeX RDF
27	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
27	Rickard Holsmark, Maurizio Palesi, Shashi Kumar	Deadlock Free Routing Algorithms for Mesh Topology NoC Systems with Regions.	DSD	2006	DBLP DOI BibTeX RDF	Application Specific Routing, Networks on Chip, Routing Algorithms, Deadlock, Wormhole Switching
27	Yau-Ming Sun, Chih-Hsueh Yang, Yeh-Ching Chung, Tai-Yi Huang	An Efficient Deadlock-Free Tree-Based Routing Algorithm for Irregular Wormhole-Routed Networks Based on the Turn Model	ICPP	2004	DBLP DOI BibTeX RDF
27	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.	FME	2003	DBLP DOI BibTeX RDF	rely/guarantee, deadlock, parallel systems, event-based systems, auxiliary variables
27	SungHo Cho	A Hybrid Concurrency Control with Deadlock-free Approach.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
27	Susumu Horiguchi, Yasuyuki Miura	Performance of Deadlock-Free Adaptive Routing for Hierarchical Interconnection Network TESH.	DFT	2002	DBLP DOI BibTeX RDF
27	Pedro López 0001, José Flich, José Duato	Deadlock-Free Routing in InfiniBand through Destination Renaming.	ICPP	2001	DBLP DOI BibTeX RDF
27	Naoki Kobayashi 0001, Shin Saito, Eijiro Sumii	An Implicitly-Typed Deadlock-Free Process Calculus.	CONCUR	2000	DBLP DOI BibTeX RDF
27	Pedro López 0001, José Duato	Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions.	PARLE	1993	DBLP DOI BibTeX RDF
27	Jean-Marc Adamo, N. Alhafez	Minimal, Adaptive and Deadlock-Free Routing for Multiprocessors.	CONPAR	1992	DBLP DOI BibTeX RDF
27	José Duato	Deadlock-free adaptive routing algorithms for multicomputers: evaluation of a new algorithm.	SPDP	1991	DBLP DOI BibTeX RDF
27	Léon Mugwaneza, Traian Muntean, Ibrahima Sakho	A Deadlock Free Routing Algorithm with Network Size Independent Buffering Space.	CONPAR	1990	DBLP DOI BibTeX RDF
27	Udo Kelter	The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol.	PODS	1988	DBLP DOI BibTeX RDF
27	Ajoy Kumar Datta, Sukumar Ghosh	Modular Synthesis of Deadlock-Free Control Structures.	FSTTCS	1986	DBLP DOI BibTeX RDF	regular nets, Petri nets, synthesis, deadlock
26	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
26	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
26	Hsin-Chou Chi, Wen-Jen Wu	Routing Tree Construction for Interconnection Network with Irregular Topologies.	PDP	2003	DBLP DOI BibTeX RDF
26	Kozo 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.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	real-time systems, verification, timed automata, deadlock freeness
26	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
26	Jae H. Kim, Ziqiang Liu, Andrew A. Chien	Compressionless Routing: A Framework for Adaptive and Fault-Tolerant Routing.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Routing networks, fault tolerance, wormhole routing, adaptive routing, deadlock prevention
26	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
26	Xiaola Lin, Philip K. McKinley, Abdol-Hossein Esfahanian	Adaptive Multicast Wormhole Routing in 2D Mesh Multicomputers.	PARLE	1993	DBLP DOI BibTeX RDF
26	Barry J. Brachman, Samuel T. Chanson	A Hierarchical Solution for Application Level Store-and-Forward Deadlock Prevention.	SIGCOMM	1989	DBLP DOI BibTeX RDF
26	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
26	Paul F. Reynolds Jr.	A shared resource algorithm for distributed simulation.	ISCA	1982	DBLP BibTeX RDF
24	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
24	Eric Kerfoot, Steve McKeever	Checking concurrent contracts with aspects.	SAC	2010	DBLP DOI BibTeX RDF	Java, concurrency, AOP, active objects, runtime assertion checking
24	Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encrenaz	A tool for automatic detection of deadlock in wormhole networks on chip.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	interconnection networks, networks on chip, Deadlock, wormhole routing
24	Murat Uzam, MengChu Zhou	An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2007	DBLP DOI BibTeX RDF
24	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
24	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
24	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
24	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
24	Tor Skeie, Olav Lysne, Ingebjørg Theiss	Layered Shortest Path (LASH) Routing in Irregular System Area Networks.	IPDPS	2002	DBLP DOI BibTeX RDF	shortest path, Network routing, virtual channels, irregular topologies, deadlock freedom
24	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Transformations of CCP programs.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	optimization, Concurrent constraint programming, deadlock-freeness
24	Jun Zhou, Kuo-Chung Tai	Deadlock Analysis of Synchronous Message-Passing Programs.	PDSE	1999	DBLP DOI BibTeX RDF	LTS, Deadlock, CCS, Observational Equivalence
24	Alexandre Mota 0001, Augusto Sampaio	Model-Checking CSP-Z.	FASE	1998	DBLP DOI BibTeX RDF
24	Anne-Cécile Fabret, Antoine Petit 0001	On the Undecidability of Deadlock Detection in Families of Nets.	STACS	1995	DBLP DOI BibTeX RDF
22	Amir Salimi Lafmejani, Spring Berman	Nonlinear MPC for collision-free and deadlock-free navigation of multiple nonholonomic mobile robots.	Robotics Auton. Syst.	2021	DBLP DOI BibTeX RDF
22	Hiroshi Noborio, Kiyomi Kawai, Kaoru Watanabe, Katsunori Tachibana, Takahiro Kunii, Kiminori Mizushino	Deadlock-Free and Collision-Free Liver Surgical Navigation by Switching Potential-Based and Sensor-Based Functions.	HCI (3)	2020	DBLP DOI BibTeX RDF
22	Sankui Sun, Chonglin Gu, Qian Wan 0002, Hejiao Huang, Xiaohua Jia	CROTPN Based Collision-Free and Deadlock-Free Path Planning of AGVs in Logistic Center.	ICARCV	2018	DBLP DOI BibTeX RDF
22	Luca Padovani, Tzu-Chun Chen, Andrea Tosatto	Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.	COORDINATION	2015	DBLP DOI BibTeX RDF
22	Pangfeng Liu, Yi-Fang Lin, Jan-Jan Wu	An Incremental Network Topology for Contention-free and Deadlock-free Routing.	ICPADS	2002	DBLP DOI BibTeX RDF
22	Yun-Hui Liu, Suguru Arimoto	A deadlock-free algorithm for planning a collision-free coordinated motion for two mobile robots amidst unknown environments.	Adv. Robotics	1992	DBLP DOI BibTeX RDF
22	Hiroshi Noborio	A Collision-free And Deadlock-free Path-planning Algorithm For Multiple Mobile Robots Without Mutual Communication.	IROS	1992	DBLP DOI BibTeX RDF
22	Hiroshi Noborio, Joe Hashime	A feasible collision-free and deadlock-free path-planning algorithm in a certain workspace where multiple robots move flexibly.	IROS	1991	DBLP DOI BibTeX RDF
22	J. K. Annot	A deadlock free and starvation free network of packet switching communication processors.	Parallel Comput.	1989	DBLP DOI BibTeX RDF
22	Patrick A. O'Donnell, Tomás Lozano-Pérez	Deadlock-free and collision-free coordination of two robot manipulators.	ICRA	1989	DBLP DOI BibTeX RDF
22	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
22	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
22	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
20	Xinming Duan, Dakun Zhang, Xuemei Sun	Fault-Tolerant Routing Schemes for Wormhole Mesh.	ISPA	2009	DBLP DOI BibTeX RDF	fault-tolerance, routing algorithm, mesh networks, deadlock-free
20	Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo	Designing application-specific networks on chips with floorplan information.	ICCAD	2006	DBLP DOI BibTeX RDF	networks on chips, topology, floorplan, deadlock-free routing
20	Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park	Experience with Applying Formal Methods to Protocol Specification and System Architecture.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	rule-based checking of tables, minimal deadlock-free wormhole routing schemes, fault-tolerant link initialization, formal verification, cache coherence protocols, sliding window protocols
20	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
20	Mingyao Yang, Lionel M. Ni	Design of Scalable and Multicast Capable Cut-Through Switches for High-Speed LANs.	ICPP	1997	DBLP DOI BibTeX RDF	Intra-switch interconnect, Switch packaging, Multicast, Deadlock-free routing, Switch architecture, Cut-through switching
20	Suresh Chalasani, Rajendra V. Boppana	Fault-Tolerance with Multimodule Routers.	HPCA	1996	DBLP DOI BibTeX RDF	multimodule routers, fault-tolerance, communication, multicomputers, wormhole switching, deadlock-free routing
20	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
20	Luis Gravano, Gustavo D. Pifarré, Pablo E. Berman, Jorge L. C. Sanz	Adaptive Deadlock- and Livelock-Free Routing with All Minimal Paths in Torus Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	adaptive deadlock-free routing, livelock-free routing, n-dimensional torus network, packet-switched fully-adaptive minimal routing, 4-Classes, dynamic message injectionmodel, performance evaluation, concurrency control, multiprocessor interconnection networks, virtual channels, Channels, torus networks, buffer requirement, minimal paths, traffic patterns, message lengths
20	Tze Chiang Lee, John P. Hayes	A Fault-Tolerant Communication Scheme for Hypercube Computers.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	fault-tolerant communication scheme, near-optimal routing, fault-free nodes, computationally efficient routing algorithm, deadlock-free implementations, parallel architectures, fault tolerant computing, broadcasting, hypercube networks, node failures, hypercube computers
20	Vijay Kumar 0002, Jerry Place, Gi-Chul Yang	An Efficient Algorithm for Mutual Exclusion Using Queue Migration in Computer Networks.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	queue migration, nonsymmetric deadlock-free mutual exclusion algorithm, lightly loaded system, performance evaluation, performance, computer networks, computer networks, queueing theory, network topology, mutual exclusion, network operating systems
20	Howard P. Katseff	Incomplete Hypercubes.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	k-dimensional hypercube, routing, multiprocessor interconnection networks, broadcast algorithms, interconnection topology, deadlock-free, incomplete hypercubes
19	Maurizio Palesi, Rickard Holsmark, Shashi Kumar, Vincenzo Catania	Application Specific Routing Algorithms for Networks on Chip.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
19	Terrence S. T. Mak, Peter Y. K. Cheung, Wayne Luk, Kai-Pui Lam	A DP-network for optimal dynamic routing in network-on-chip.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	optimal and sub-optimal routing, dynamic programming, network-on-chip, adaptive routing
19	Shengyong Wang, Song Foh Chew, Mark A. Lawley	Using Shared-Resource Capacity for Robust Control of Failure-Prone Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
19	Tjerk Bijlsma, Marco Bekooij, Pierre G. Jansen, Gerard J. M. Smit	Communication between nested loop programs via circular buffers in an embedded multiprocessor system.	SCOPES	2008	DBLP DOI BibTeX RDF
19	Reza Moraveji, Hamid Sarbazi-Azad, Arash Tavakkol	The Effect of Network Topology and Channel Labels on the Performance of Label-Based Routing Algorithms.	ICCS (1)	2008	DBLP DOI BibTeX RDF	Label-based routing algorithm, performance evaluation, network of workstation, irregular network
19	Jean-Marie Jacquet, Isabelle Linden	Towards a Theory of Refinement in Timed Coordination Languages.	COORDINATION	2007	DBLP DOI BibTeX RDF
19	Michihiro Koibuchi, Konosuke Watanabe, Tomohiro Otsuka, Hideharu Amano	Performance Evaluation of Deterministic Routings, Multicasts, and Topologies on RHiNET-2 Cluster.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	RHiNET, performance evaluation, multicast, interconnection networks, topology, PC clusters, Deterministic routing, system area networks
19	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
19	Mainak Chaudhuri, Mark A. Heinrich	Exploring Virtual Network Selection Algorithms in DSM Cache Coherence Protocols.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
19	Shaojie Wang, Sharad Malik	Synthesizing operating system based device drivers in embedded systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	embedded system software, operating system based software synthesis, device driver, correct-by-construction
19	Gregor Gößler, Joseph Sifakis	Priority Systems.	FMCO	2003	DBLP DOI BibTeX RDF
19	Elango Ganesan, Dhiraj K. Pradhan	Wormhole routing in de Bruijn networks and hyper-de Bruijn networks.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
19	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
19	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
19	Zixue Cheng, Yutaka Wada, Satoru Hashimoto, Aiguo He, Tongjun Huang	A New Method for Constructing Efficient Local Coteries.	ICOIN	2001	DBLP DOI BibTeX RDF
19	Ram Kesavan, Dhabaleswar K. Panda 0001	Multicasting on Switch-Based Irregular Networks Using Multi-drop Path-Based Multidestination Worms.	PCRCW	1997	DBLP DOI BibTeX RDF
17	Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers	Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
17	Jules Jacobs, Stephanie Balzer	Higher-Order Leak and Deadlock Free Locks.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
17	Ruipeng Zhang, Yanxiang Feng, Yikang Yang, Xiaoling Li 0001	A Deadlock-Free Hybrid Estimation of Distribution Algorithm for Cooperative Multi-UAV Task Assignment With Temporally Coupled Constraints.	IEEE Trans. Aerosp. Electron. Syst.	2023	DBLP DOI BibTeX RDF
17	Lichen Pan, Juncheng Liu, Jinhui Yuan, Rongkai Zhang 0003, Pengze Li, Zhen Xiao	OCCL: a Deadlock-free Library for GPU Collective Communication.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ruochen Zheng, Siyu Li	Deadlock-Free Collision Avoidance for Nonholonomic Robots.	CoRR	2023	DBLP DOI BibTeX RDF