Search results for "deadlock-free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Qiang Li	A Deadlock-free Adaptive Routing Algorithm for Direct Binary Hypercubes.	IFIP Congress (1)	1992	DBLP BibTeX RDF
17	Luis Gravano, Gustavo D. Pifarré, Gustavo Denicolay, Jorge L. C. Sanz	Adaptive Deadlock-Free Worrnhole Routing in Hypercubes.	IPPS	1992	DBLP DOI BibTeX RDF
17	Qiang Li	An Improved Multiple-Path Deadlock-Free Routing Algorithm in Binary Hypercubes.	IPPS	1992	DBLP DOI BibTeX RDF
17	Jen-Shiuh Liu, Wen-Jing Hsu	Distributed Algorithms for Shortest-Path Deadlock-Free Routing and Broadcasting in a Class of Interconnection Topologies.	IPPS	1992	DBLP DOI BibTeX RDF
17	Robert Cypher, Luis Gravano	Requirements for Deadlock-Free, Adaptive Packet Routing.	PODC	1992	DBLP DOI BibTeX RDF
17	Raj Kumar Batra, Marek Rusinkiewicz, Dimitrios Georgakopoulos 0001	A Decentralized Deadlock-Free Concurrency Control Method for Multidatabase Transactions.	ICDCS	1992	DBLP DOI BibTeX RDF
17	Robert Cypher, Luis Gravano	Adaptive, Deadlock-Free Packet Routing in Torus Networks with Minimal Storage.	ICPP (3)	1992	DBLP BibTeX RDF
17	Mahmood A. Khan	A design environment for deadlock-free concurrent software.		1992	RDF
17	P. Pramanik, Pradip K. Das, A. K. Bandyopadhyay 0001, D. Q. M. Fay	A Deadlock-Free Communication Kernel for Loop Architecture.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
17	Mukesh Singhal	A Class of Deadlock-Free Meakawa-Type Algorithms for Mutual Exclusion in Distributed Systems.	Distributed Comput.	1991	DBLP DOI BibTeX RDF
17	N. T. Son, Yakup Paker	Adaptive Deadlock-Free Packet Routeing in Transputer-Based Multiprocessor Interconnection Networks.	Comput. J.	1991	DBLP DOI BibTeX RDF
17	Ian F. Akyildiz, Jörg Liebeherr	Optimal deadlock free buffer allocation in multiple chain blocking networks.	Performance of Distributed Systems and Integrated Communication Networks	1991	DBLP BibTeX RDF
17	Baruch Awerbuch, Shay Kutten, David Peleg	Efficient Deadlock-Free Routing.	PODC	1991	DBLP DOI BibTeX RDF
17	Ming-Yun Horng, Leonard Kleinrock	On the Performance of a Deadlock-free Routing Algorithm for Boolean n-Cube Interconnection Networks with Finite Buffers.	ICPP (3)	1991	DBLP BibTeX RDF
17	Xiaola Lin, Lionel M. Ni	Deadlock-Free Multicast Wormhole Routing in Multicomputer Networks.	ISCA	1991	DBLP DOI BibTeX RDF
17	Gustavo D. Pifarré, Luis Gravano, Sergio A. Felperin, Jorge L. C. Sanz	Fully-Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and Other Networks.	SPAA	1991	DBLP DOI BibTeX RDF
17	Abhijit Sengupta, Subir Bandyopadhyay	Deadlock-Free Routing in k-Ary Hypercube Network in Presence of Processor Failures.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
17	P. Pramanik, Pradip K. Das, A. K. Bandyopadhyay 0001, D. Q. M. Fay	A deadlock-free communication kernel for loop connected message passing computer architecture.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
17	Geoffrey F. Carpenter	The synthesis of deadlock-free interprocess communications.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
17	Michael Peercy, Prithviraj Banerjee	Distributed algorithms for shortest-path, deadlock-free routing and broadcasting in arbitrarily faulty hypercubes.	FTCS	1990	DBLP DOI BibTeX RDF
17	Peter A. J. Hilbers, Johan J. Lukkien	Deadlock-Free Message Routing in Multicomputer Networks.	Distributed Comput.	1989	DBLP DOI BibTeX RDF
17	S. Kundu, Ian F. Akyildiz	Deadlock Free Buffer Allocation in Closed Queueing Networks.	Queueing Syst. Theory Appl.	1989	DBLP DOI BibTeX RDF
17	Jean-Yves Girard 0001	Geometry of interaction 2: deadlock-free algorithms.	Conference on Computer Logic	1988	DBLP DOI BibTeX RDF
17	William J. Dally, Charles L. Seitz	Deadlock-Free Message Routing in Multiprocessor Interconnection Networks.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	message passing multiprocessors, parallel processing, interconnection networks, Communication networks, graph model, concurrent computation
17	Gian Carlo Bongiovanni, Daniel P. Bovet	Minimal deadlock-free store-and-forward communication networks.	Networks	1987	DBLP DOI BibTeX RDF
17	Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer	Pre-Analysis Locking: A Safe and Deadlock Free Locking Policy.	VLDB	1985	DBLP BibTeX RDF
17	H. Zedan	A note on deadlock-free proofs of network of processes.	ACM SIGPLAN Notices	1984	DBLP DOI BibTeX RDF
17	Ajoy Kumar Datta, Sukumar Ghosh	Synthesis of a Class of Deadlock-Free Petri Nets.	J. ACM	1984	DBLP DOI BibTeX RDF
17	Toshihide Ibaraki, Hussein M. Abdel-Wahab, Tiko Kameda	Design of Minimum-Cost Deadlock-Free Systems	J. ACM	1983	DBLP DOI BibTeX RDF
17	Toshihide Ibaraki, Tsunehiko Kameda	Deadlock-Free Systems for a Bounded Number of Processes.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF
17	Jane Grimson	An Efficient Deadlock-free Algorithm for Handling Concurrent Update in Databases.	BNCOD	1982	DBLP BibTeX RDF
17	Sam Toueg, Kenneth Steiglitz	Some Complexity Results in the Design of Deadlock-Free Packet Switching Networks.	SIAM J. Comput.	1981	DBLP DOI BibTeX RDF
17	Sam Toueg, Jeffrey D. Ullman	Deadlock-Free Packet Switching Networks.	SIAM J. Comput.	1981	DBLP DOI BibTeX RDF
17	Henry F. Korth	A Deadlock-Free, Variable Granularity Locking Protocol.	Berkeley Workshop	1981	DBLP BibTeX RDF
17	Sam Toueg, Jeffrey D. Ullman	Deadlock-Free Packet Switching Networks	STOC	1979	DBLP DOI BibTeX RDF
17	E. Baubold, J. D. Haenle	A Method of Deadlock-free Resource Allocation and Flow Control in Packet Networks.	ICCC	1976	DBLP BibTeX RDF
17	Christian Kuznia, Rudolf Kober, Herbert Kopp	SMS 101 - A Structured Multimicroprocessor System with Deadlock-Free Operation Scheme.	ISCA	1976	DBLP DOI BibTeX RDF
17	A. O. Hill, H. R. A. Townsend	Deadlock-Free Parallel Processing.	IJCAI	1975	DBLP BibTeX RDF
17	Donald D. Chamberlin, Raymond F. Boyce, Irving L. Traiger	A Deadlock-Free Scheme for Resource Locking in a Data-Base Environment.	IFIP Congress	1974	DBLP BibTeX RDF
17	Robert David Russell	A model for deadlock-free resource allocation.		1972	RDF
17	Howard Foster	Tool Support for Safety Analysis of Service Composition and Deployment Models.	ICWS	2008	DBLP DOI BibTeX RDF
17	Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur	Deadlocks: From Exhibiting to Healing.	RV	2008	DBLP DOI BibTeX RDF
17	Christian Stahl, Karsten Wolf	Covering Places and Transitions in Open Nets.	BPM	2008	DBLP DOI BibTeX RDF	process modeling and analysis, SOA, Petri nets, operating guidelines
17	Li Jiao	A method for verifying deadlock freedom and liveness of petri nets.	ISCAS	2008	DBLP DOI BibTeX RDF
17	Liu Xin, Yin Guisheng, Zhang Ziying	Research on Modeling and Simulation of AUV System Based on CTOPN.	CSSE (5)	2008	DBLP DOI BibTeX RDF
17	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
17	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
17	Jie Wu 0001, Zhen Jiang	On constructing the minimum orthogonal convex polygon for the fault-tolerant routing in 2-D faulty meshes.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
17	Elzbieta Roszkowska	Supervisory control for deadlock avoidance in compound processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
17	Aurelio Bermúdez, Rafael Casado, Francisco J. Quiles 0001	Distributing InfiniBand Forwarding Tables.	Euro-Par	2004	DBLP DOI BibTeX RDF
17	Jie Wu 0001, Zhen Jiang	On Constructing the Minimum Orthogonal Convex Polygon in 2-D Faulty Meshes.	IPDPS	2004	DBLP DOI BibTeX RDF
17	Huiran Liu, Zhibin Jiang, Richard Y. K. Fung	An extended object-oriented Petri nets for modeling and analysis automated re-entrant manufacturing systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
17	Sheng-Hsuan Hsu, Ching-Chi Hsu, Shun-Shii Lin, Ferng-Ching Lin	A Multi-Channel MAC Protocol Using Maximal Matching for Ad Hoc.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
17	Yaojun Han, Changjun Jiang, Xuemei Luo	A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets.	ISPAN	2004	DBLP DOI BibTeX RDF
17	José Flich, Pedro López 0001, Manuel P. Malumbres, José Duato, Tomas Rokicki	Applying In-Transit Buffers to Boost the Performance of Networks with Source Routing.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Networks of workstations, wormhole switching, irregular topologies, source routing, minimal routing
17	Rafael Casado, Aurelio Bermúdez, Francisco J. Quiles 0001, José Duato	Influence of Network Size and Load on the Performance of Reconfiguration Protocols.	NCA	2001	DBLP DOI BibTeX RDF
17	Rafael Casado, Aurelio Bermúdez, Francisco J. Quiles 0001, José L. Sánchez 0002, José Duato	Performance Evaluation of Dynamic Reconfiguration in High-Speed Local Area Networks.	HPCA	2000	DBLP DOI BibTeX RDF
17	Prasant Mohapatra	Wormhole Routing Techniques for Directly Connected Multicomputer Systems.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
17	Stephan Kleuker	Reengineering of Distributed Systems Using Formal Methods.	CSMR	1998	DBLP DOI BibTeX RDF	formal methods, reengineering, incremental development
17	José Duato	A Theory of Fault-Tolerant Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	channel redundancy, network redundancy, interconnection networks, Adaptive routing, fault-tolerant routing, wormhole switching
17	K. V. Anjan, Timothy Mark Pinkston	DISHA: a deadlock recovery scheme for fully adaptive routing.	IPPS	1995	DBLP DOI BibTeX RDF	DISHA, deadlock recovery scheme, fast routers, performance evaluation, performance, computational complexity, multiprocessor interconnection networks, fully adaptive routing
17	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
17	Chris R. Jesshope, P. R. Miller, Jay T. Yantchev	High Performance Communications in Processor Networks.	ISCA	1989	DBLP DOI BibTeX RDF
17	R. C. Hansdah, Lalit M. Patnaik	Update Serializability in Locking.	ICDT	1986	DBLP DOI BibTeX RDF
15	Yongxing Hao, Sunil Kumar Agrawal	Formation Planning and Control of UGVs with Trailers.	Auton. Robots	2005	DBLP DOI BibTeX RDF	trajectory optimization, cubic spline, unmanned vehicles, A* algorithm, formation control
15	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Bradley C. Kuszmaul	Concurrent cache-oblivious b-trees.	SPAA	2005	DBLP DOI BibTeX RDF	cache-oblivious b-tree, concurrent b-tree, exponential tree, packed-memory array, lock free, non-blocking
15	Loh Peter, Xinhua Zhang	A Fault-tolerant Routing Strategy for Gaussian Cube Using Gaussian Tree.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
12	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi, Davide Patti	Implementation and Analysis of a New Selection Strategy for Adaptive Routing in Networks-on-Chip.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Performance evaluation, Routing protocols, Interconnection architectures
12	Pejman Lotfi-Kamran, Masoud Daneshtalab, Caro Lucas, Zainalabedin Navabi	BARP-A Dynamic Routing Protocol for Balanced Distribution of Traffic in NoCs.	DATE	2008	DBLP DOI BibTeX RDF
12	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
12	Jong-Hoon Youn, Bella Bose, Seungjin Park	Fault-Tolerant Routing Algorithm in Meshes with Solid Faults.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	solid faults, fault-tolerant, wormhole routing, mesh networks
12	Giuseppe Ascia, Vincenzo Catania, Maurizio Palesi, Davide Patti	Neighbors-on-Path: A New Selection Strategy for On-Chip Networks.	ESTIMedia	2006	DBLP DOI BibTeX RDF
12	Wojciech Muszynski, Zbigniew Antoni Banaszak, Izabela Tomczuk-Pirog	Automated Vehicles' Work Planning in Flexible Manufacturing Systems.	ETFA	2006	DBLP DOI BibTeX RDF
12	Xiaoming Fu 0001, Dieter Hogrefe	Modeling Soft State Protocols with SDL.	NETWORKING	2005	DBLP DOI BibTeX RDF
12	Xinhua Zhang, Peter Loh	A Fault-Tolerant Routing Strategy for Fibonacci-Class Cubes.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
12	Peter K. K. Loh, Heiko Schröder, Wen-Jing Hsu	Fault-Tolerant Routing on Complete Josephus Cubes.	ACSAC	2001	DBLP DOI BibTeX RDF
12	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
12	Ram Kesavan, Kiran Bondalapati, Dhabaleswar K. Panda 0001	Multicast on Irregular Switch-Based Networks with Wormhole Routing.	HPCA	1997	DBLP DOI BibTeX RDF	Link Contention and Networks of Workstations, Multicast, Broadcast, Wormhole Routing, Collective communication, Irregular Networks
12	Christopher J. Glass, Lionel M. Ni	Fault-Tolerant Wormhole Routing in Meshes without Virtual Channels.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	Wormhole routing, adaptive routing, mesh networks, fault-tolerant routing, dynamic faults
12	Bhed Bahadur Bista, Atsushi Togashi, Norio Shiratori	Extension of protocol synthesis to structured entities.	ICNP	1995	DBLP DOI BibTeX RDF
12	Suresh Chalasani, Rajendra V. Boppana	Fault-tolerant wormhole routing in tori.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF	performance evaluation, deadlocks, wormhole routing, adaptive routing, fault-tolerant routing, message routing, torus networks, multicomputer networks
12	Rajendra V. Boppana, Suresh Chalasani	Fault-tolerant routing with non-adaptive wormhole algorithms in mesh networks.	SC	1994	DBLP DOI BibTeX RDF	block faults, nonadaptive routing, deadlocks, wormhole routing, mesh networks, fault-tolerant routing, multicomputer networks
12	Shiwei Wang, Ugo O. Gagliardi	An Optomized Concurrency Control Algorithm for Transaction Brocessing.	SEKE	1992	DBLP DOI BibTeX RDF
12	Horst F. Wedde, Douglas C. Daniels, Dorota M. Huizinga	Efficient Distributed Resource Scheduling for Adaptive Real-Time Operation Support.	ICCI	1991	DBLP DOI BibTeX RDF
10	Hiroki Matsutani, Michihiro Koibuchi, Yutaka Yamada, D. Frank Hsu, Hideharu Amano	Fat H-Tree: A Cost-Efficient Tree-Based On-Chip Network.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
10	Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera	Towards Compositional Verification in MEDISTAM-RT Methodological Framework.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Real-time, Communication Protocols, Deadlock-freeness
10	Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný	Parallel programming with object assemblies.	OOPSLA	2009	DBLP DOI BibTeX RDF	irregular parallelism, parallel programming, data parallelism, ownership, programming abstractions
10	Suk-Bok Lee, Sai-Wang Tam, Ioannis Pefkianakis, Songwu Lu, M. Frank Chang, Chuanxiong Guo, Glenn Reinman, Chunyi Peng 0001, Mishali Naik, Lixia Zhang 0001, Jason Cong	A scalable micro wireless interconnect structure for CMPs.	MobiCom	2009	DBLP DOI BibTeX RDF	on-chip wireless interconnection network, chip multiprocessors
10	Antonio Robles-Gómez, Aurelio Bermúdez, Rafael Casado	Implementing a Change Assimilation Mechanism for Source Routing Interconnects.	Euro-Par	2009	DBLP DOI BibTeX RDF	performance evaluation, routing protocols, dynamic reconfiguration, High-performance networks, topology discovery
10	Weichen Liu, Zonghua Gu 0001, Jiang Xu 0001, Yu Wang 0002, Mingxuan Yuan	An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, optimization, model checking, memory management, synchronous dataflow
10	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
10	Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis	Modeling synchronous systems in BIP.	EMSOFT	2009	DBLP DOI BibTeX RDF	BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
10	Fengguang Song, Jack J. Dongarra, Shirley Moore	A Scalable Non-blocking Multicast Scheme for Distributed DAG Scheduling.	ICCS (1)	2009	DBLP DOI BibTeX RDF
10	Krishnan Kailas, Viresh Paruthi, Brian Monwai	Formal verification of correctness and performance of random priority-based arbiters.	FMCAD	2009	DBLP DOI BibTeX RDF
10	Chinmay Eishan Kulkarni, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero	Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlocks, deadlock-detection
10	Maurizio Palesi, Giuseppe Longo, Salvatore Signorino, Rickard Holsmark, Shashi Kumar, Vincenzo Catania	Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms.	NOCS	2008	DBLP DOI BibTeX RDF	Application Specific Routing, Network on Chip, Routing Algorithm, Deadlock, Congestion, Router Design
10	Michihiro Koibuchi, Hiroki Matsutani, Hideharu Amano, Timothy Mark Pinkston	A Lightweight Fault-Tolerant Mechanism for Network-on-Chip.	NOCS	2008	DBLP DOI BibTeX RDF	fault tolerance, reliability, Network-on-Chip, routing algorithm, deadlock avoidance, on-chip network
10	Jo Ueyama, Edmundo Roberto Mauro Madeira, Paul Grace	FlexPar: Reconfigurable Middleware for Parallel Environments.	ISORC	2008	DBLP DOI BibTeX RDF
10	Brian Stephen Smith, Magnus Egerstedt, Ayanna M. Howard	Automatic deployment and formation control of decentralized multi-agent networks.	ICRA	2008	DBLP DOI BibTeX RDF
10	Henry C. Lin, Christos Amanatidis, Martha Sideri, Richard M. Karp, Christos H. Papadimitriou	Linked decompositions of networks and the power of choice in Polya urns.	SODA	2008	DBLP BibTeX RDF