Search results for "deadlock-free"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ornela Dardha, Jorge A. Pérez 0001	Comparing Deadlock-Free Session Typed Processes.	EXPRESS/SOS	2015	DBLP DOI BibTeX RDF
17	Tatsushi Nishi, Izuru Matsumoto	Petri Net Decomposition Approach to Deadlock-Free and Non-Cyclic Scheduling of Dual-Armed Cluster Tools.	IEEE Trans Autom. Sci. Eng.	2015	DBLP DOI BibTeX RDF
17	Nina Yevtushenko 0001, Khaled El-Fakih, Tiziano Villa, Jie-Hong R. Jiang	Deriving Compositionally Deadlock-Free Components over Synchronous Automata Compositions.	Comput. J.	2015	DBLP DOI BibTeX RDF
17	Xing Han, Yuzhuo Fu, Jiang Jiang, Chang Wang 0003	A deadlock-free subnetting mechanism for high performance broadcasting in NoC.	IEICE Electron. Express	2015	DBLP DOI BibTeX RDF
17	Marwah Albughdar, Ausif Mahmood	Maximally Adaptive, Deadlock-Free Routing in Spidergon-Donut Network for Large Multicore NOCs.	ISPDC	2015	DBLP DOI BibTeX RDF
17	Maria Pia Fanti, Agostino Marcello Mangini, Giovanni Pedroncelli, Walter Ukovich	Decentralized deadlock-free control for AGV systems.	ACC	2015	DBLP DOI BibTeX RDF
17	Dimitri Lefebvre	Deadlock-free scheduling for manufacturing systems based on timed Petri nets and model predictive control.	CDC	2015	DBLP DOI BibTeX RDF
17	Nicolas Berthier, Hervé Marchand	Deadlock-free discrete controller synthesis for infinite state systems.	CDC	2015	DBLP DOI BibTeX RDF
17	Shams Imam, Jisheng Zhao, Vivek Sarkar	A Composable Deadlock-Free Approach to Object-Based Isolation.	Euro-Par	2015	DBLP DOI BibTeX RDF
17	Xingya Liu, Jiang Xie 0001	Contention Window-Based Deadlock-Free MAC for Blind Rendezvous in Cognitive Radio Ad Hoc Networks.	GLOBECOM	2015	DBLP DOI BibTeX RDF
17	Ernesto Villegas Castillo, Jiang Chau Wang, Gabriele Miorandi, Davide Bertozzi	Dynamically Reconfigurable NoC using a deadlock-free flexible routing algorithm with a low hardware implementation cost.	LASCAS	2015	DBLP DOI BibTeX RDF
17	Ernesto Villegas Castillo, Gabriele Miorandi, Davide Bertozzi, Jiang Chau Wang	DyAFNoC: Dynamically Reconfigurable NoC Characterization Using a Simple Adaptive Deadlock-Free Routing Algorithm with a Low Implementation Cost.	ARC	2015	DBLP DOI BibTeX RDF
17	Poona Bahrebar, Dirk Stroobandt	Hamiltonian Path Strategy for Deadlock-Free and Adaptive Routing in Diametrical 2D Mesh NoCs.	CCGRID	2015	DBLP DOI BibTeX RDF
17	Johan Grande, Gérard Boudol, Manuel Serrano	Jthread, a deadlock-free mutex library.	PPDP	2015	DBLP DOI BibTeX RDF
17	Zhigang Yu, Xinyu Wang 0015, Kele Shen, Haikuo Liu	A General Methodology to Design Deadlock-Free Routing Algorithms for Mesh Networks.	ICA3PP (1)	2015	DBLP DOI BibTeX RDF
17	Luca Padovani, Luca Novara	Types for Deadlock-Free Higher-Order Programs.	FORTE	2015	DBLP DOI BibTeX RDF
17	Peng Li, Jonathan C. Beard, Jeremy Buhler	Deadlock-free buffer configuration for stream computing.	PMAM@PPoPP	2015	DBLP DOI BibTeX RDF
17	Mohammad Reza Shoaei	Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach.		2015	RDF
17	Freek Verbeek, Julien Schmaltz	A Decision Procedure for Deadlock-Free Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
17	Ben Akram Ahmed, Abderazek Ben Abdallah	Graceful deadlock-free fault-tolerant routing algorithm for 3D Network-on-Chip architectures.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
17	Kanagasabapathi Somasundaram, Juha Plosila, Nallasamy Viswanathan	Deadlock free routing algorithm for minimizing congestion in a Hamiltonian connected recursive 3D-NoCs.	Microelectron. J.	2014	DBLP DOI BibTeX RDF
17	Mohiadeen Abdul Kadhar	A deadlock-free dynamic reconfiguration protocol for distributed routing on interconnection networks.	Int. Arab J. Inf. Technol.	2014	DBLP BibTeX RDF
17	Hang Lei, Keyi Xing, LiBin Han, Fuli Xiong, Zhaoqiang Ge 0001	Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search.	Comput. Ind. Eng.	2014	DBLP DOI BibTeX RDF
17	Ernesto Villegas Castillo, Gabriele Miorandi, Jiang Chau Wang	DyAFNoC: Characterization and analysis of a dynamically reconfigurable NoC using a DOR-based deadlock-free routing algorithm.	NOCS	2014	DBLP DOI BibTeX RDF
17	M. B. Hadim	The Multi-level Communication: Minimal Deadlock-Free and Storage Efficient Routing for Torus Networks.	PDP	2014	DBLP DOI BibTeX RDF
17	JongSeung Park, Toshitake Nunogaki, Joo-Ho Lee 0001	The deadlock free path generation algorithm for multi-MoMo in R+iSpace.	AIM	2014	DBLP DOI BibTeX RDF
17	Piotr Dziurzanski, Tomasz Maka	Network on chips link bandwidth minimization of deadlock-free multi-path routing.	IWSSIP	2014	DBLP BibTeX RDF
17	Florent Perronnet, Abdeljalil Abbas-Turki, Abdellah El Moudni	Vehicle routing through deadlock-free policy for cooperative traffic control in a network of intersections: Reservation and congestion.	ITSC	2014	DBLP DOI BibTeX RDF
17	Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari 0001	Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
17	Davide Patti, Andrea Mineo, Salvatore Monteleone, Vincenzo Catania	Topology Discovery in Deadlock Free Self-assembled DNA Networks.	CSOC	2014	DBLP DOI BibTeX RDF
17	Francisco J. Andújar, Juan A. Villar, Francisco J. Alfaro, José L. Sánchez 0002, José Duato	Deadlock-free routing mechanism for 3D twin torus networks.	INA-OCMC@HiPEAC	2014	DBLP DOI BibTeX RDF
17	Hesuan Hu, MengChu Zhou, Zhiwu Li 0001, Ying Tang 0001	Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets.	IEEE Trans. Ind. Informatics	2013	DBLP DOI BibTeX RDF
17	Renu Verma, Mohammad Ayoub Khan, Amit Zinzuwadiya	Power and Latency Optimized Deadlock-Free Routing Algorithm on Irregular 2D Mesh NoC using LBDRe.	Int. J. Embed. Real Time Commun. Syst.	2013	DBLP DOI BibTeX RDF
17	Nizar Dahir, Terrence S. T. Mak, Ra'ed Al-Dujaily, Alex Yakovlev	Highly adaptive and deadlock-free routing for three-dimensional networks-on-chip.	IET Comput. Digit. Tech.	2013	DBLP DOI BibTeX RDF
17	Florentine Dubois, Abbas Sheibanyrad, Frédéric Pétrot, Maryam Bahmani	Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
17	Shao Yong Li, Aimin An, Ying Wang, Gang Wang, Cai Qin Hou, Ying Cai	Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons.	J. Intell. Manuf.	2013	DBLP DOI BibTeX RDF
17	Mohamed Naimi, Ousmane Thiare	A Distributed Deadlock Free Quorum Based Algorithm for Mutual Exclusion.	CoRR	2013	DBLP BibTeX RDF
17	Xinming Duan, Jigang Wu	Deadlock-free Routing Scheme for Irregular Mesh Topology NoCs with Oversized Regions.	J. Comput.	2013	DBLP BibTeX RDF
17	Yeong Seob Jeong, Seung Eun Lee	Deadlock-free XY-YX router for on-chip interconnection network.	IEICE Electron. Express	2013	DBLP DOI BibTeX RDF
17	Mohammad Hossein Neishaburi, Zeljko Zilic	NISHA: A fault-tolerant NoC router enabling deadlock-free Interconnection of Subnets in Hierarchical Architectures.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
17	Haoyuan Ying, Ashok Jaiswal, Thomas Hollstein, Klaus Hofmann	Deadlock-free generic routing algorithms for 3-dimensional Networks-on-Chip with reduced vertical link density topologies.	J. Syst. Archit.	2013	DBLP DOI BibTeX RDF
17	Jinho Lee, Kiyoung Choi	A deadlock-free routing algorithm requiring no virtual channel on 3D-NoCs with partial vertical connections.	NOCS	2013	DBLP DOI BibTeX RDF
17	Amit Verma, Pritpal S. Multani, Daniel Mueller-Gritschneder, Vladimir Todorov, Ulf Schlichtmann	A greedy approach for latency-bounded deadlock-free routing path allocation for application-specific NoCs.	NOCS	2013	DBLP DOI BibTeX RDF
17	Francesco Basile, Roberto Cordone, Luigi Piroddi	Parsimonious deadlock-free Petri net models of flexible manufacturing systems.	ACC	2013	DBLP DOI BibTeX RDF
17	Rui Feng, Peng Zhang 0006, Yuefan Deng	Deadlock-Free Routing Algorithms for 6D Mesh/iBT Interconnection Networks.	SNPD	2013	DBLP DOI BibTeX RDF
17	Dong Xiang, Zhigang Yu, Jie Wu 0001	Deadlock-Free Fully Adaptive Routing in Irregular Networks without Virtual Channels.	TrustCom/ISPA/IUCC	2013	DBLP DOI BibTeX RDF
17	Kuen-Jong Lee, Chin-Yao Chang, Hung-Yang Yang	An efficient deadlock-free multicast routing algorithm for mesh-based networks-on-chip.	VLSI-DAT	2013	DBLP DOI BibTeX RDF
17	Jiazheng Zhou, Yeh-Ching Chung	Tree-turn routing: an efficient deadlock-free routing algorithm for irregular networks.	J. Supercomput.	2012	DBLP DOI BibTeX RDF
17	K. Somasundaram 0001, Juha Plosila	Deadlock Free Routing Algorithm for Minimizing Data Packet Transmission in Network on Chip.	Int. J. Embed. Real Time Commun. Syst.	2012	DBLP DOI BibTeX RDF
17	Dong Xiang, Wei Luo	An Efficient Adaptive Deadlock-Free Routing Algorithm for Torus Networks.	IEEE Trans. Parallel Distributed Syst.	2012	DBLP DOI BibTeX RDF
17	Faizal Arya Samman, Thomas Hollstein, Manfred Glesner	Erratum to Planar adaptive network-on-chip supporting deadlock-free and efficient tree-based multicast routing method Microprocessors and Microsystems (2012) 449-461.	Microprocess. Microsystems	2012	DBLP DOI BibTeX RDF
17	Faizal Arya Samman, Thomas Hollstein, Manfred Glesner	Planar adaptive network-on-chip supporting deadlock-free and efficient tree-based multicast routing method.	Microprocess. Microsystems	2012	DBLP DOI BibTeX RDF
17	Bartosz Bogdanski, Sven-Arne Reinemo, Frank Olaf Sem-Jacobsen, Ernst Gunnar Gran	sFtree: A fully connected and deadlock-free switch-to-switch routing algorithm for fat-trees.	ACM Trans. Archit. Code Optim.	2012	DBLP DOI BibTeX RDF
17	Freek Verbeek, Julien Schmaltz	Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
17	Dan Zhao, Ruizhe Wu	Overlaid Mesh Topology Design and Deadlock Free Routing in Wireless Network-on-Chip.	NOCS	2012	DBLP DOI BibTeX RDF
17	Alessandro Strano, Davide Bertozzi, Francisco Triviño, José L. Sánchez 0002, Francisco J. Alfaro, José Flich	OSR-Lite: Fast and deadlock-free NoC reconfiguration framework.	ICSAMOS	2012	DBLP DOI BibTeX RDF
17	Nizar Dahir, Ra'ed Al-Dujaily, Alex Yakovlev, Petros Missailidis, Terrence S. T. Mak	Deadlock-free and plane-balanced adaptive routing for 3D networks-on-chip.	NoCArc@MICRO	2012	DBLP DOI BibTeX RDF
17	Abdulaziz Alhussien, Nader Bagherzadeh, Freek Verbeek, Bernard van Gastel, Julien Schmaltz	A formally verified deadlock-free routing function in a fault-tolerant NoC architecture.	SBCCI	2012	DBLP DOI BibTeX RDF
17	Izuru Matsumoto, Tatsushi Nishi	Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools.	CASE	2012	DBLP DOI BibTeX RDF
17	Liwei Chen, Guangfei Zhang, Huandong Wang, Wenxiang Wang, Ling Li, Hua Jing	MCC: A Load Balancing and Deadlock Free Interconnect Network for Cache Coherent Chip Multiprocessors.	CSE	2012	DBLP DOI BibTeX RDF
17	Dong Xiang, Jiangxue Han	Multiple Spanning Tree Construction for Deadlock-Free Adaptive Routing in Irregular Networks.	ISPA	2012	DBLP DOI BibTeX RDF
17	Haoyuan Ying, Ashok Jaiswal, Klaus Hofmann	Deadlock-free routing algorithms for 3-dimension Networks-on-Chip with reduced vertical channel density topologies.	HPCS	2012	DBLP DOI BibTeX RDF
17	Antonio Robles-Gómez, Aurelio Bermúdez, Rafael Casado	A Deadlock-Free Dynamic Reconfiguration Scheme for Source Routing Networks Using Close Up/Down Graphs.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	dynamic reconfiguration and performance evaluation, fault tolerance, network management, High-performance networks
17	Freek Verbeek, Julien Schmaltz	On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF
17	Freek Verbeek, Julien Schmaltz	A Comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks".	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF
17	Faizal Arya Samman, Thomas Hollstein, Manfred Glesner	New Theory for Deadlock-Free Multicast Routing in Wormhole-Switched Virtual-Channelless Networks-on-Chip.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	tree-based and multipath-based multicast routing, Id-tag-based wormhole packet switching, runtime adaptive routing and scheduling, Network-on-chip
17	Chris Jackson, Simon J. Hollis	A deadlock-free routing algorithm for dynamically reconfigurable Networks-on-Chip.	Microprocess. Microsystems	2011	DBLP DOI BibTeX RDF
17	Wenmin Hu, Hengzhu Liu, Botao Zhang	A hybrid multicast deadlock-free scheme for virtualization at the NoC level.	IEICE Electron. Express	2011	DBLP DOI BibTeX RDF
17	Dong Xiang	Deadlock-Free Adaptive Routing in Meshes with Fault-Tolerance Ability Based on Channel Overlapping.	IEEE Trans. Dependable Secur. Comput.	2011	DBLP DOI BibTeX RDF
17	Myong Hyon Cho, Keun Sup Shim, Mieszko Lis, Omer Khan, Srinivas Devadas	Deadlock-free fine-grained thread migration.	NOCS	2011	DBLP DOI BibTeX RDF
17	Freek Verbeek, Julien Schmaltz	A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free.	PDP	2011	DBLP DOI BibTeX RDF
17	Fabien Chaix, Dimiter Avresky, Nacer-Eddine Zergainoh, Michael Nicolaidis	A fault-tolerant deadlock-free adaptive routing for on chip interconnects.	DATE	2011	DBLP DOI BibTeX RDF
17	Rickard Holsmark, Shashi Kumar	An Abstraction to Support Design of Deadlock-free Routing Algorithms for Large and Hierarchical NoCs.	CIT	2011	DBLP DOI BibTeX RDF
17	Jens Domke, Torsten Hoefler, Wolfgang E. Nagel	Deadlock-Free Oblivious Routing for Arbitrary Topologies.	IPDPS	2011	DBLP DOI BibTeX RDF
17	Ali Shafiee, Mahdy Zolghadr, Mohammad Arjomand, Hamid Sarbazi-Azad	Application-aware deadlock-free oblivious routing based on extended turn-model.	ICCAD	2011	DBLP DOI BibTeX RDF
17	Zewen Shi, Yueming Yang, Xiaoyang Zeng, Zhiyi Yu	A reconfigurable and deadlock-free routing algorithm for 2D Mesh Network-on-Chip.	ISCAS	2011	DBLP DOI BibTeX RDF
17	Faizal Arya Samman, Thomas Hollstein, Manfred Glesner	Adaptive and Deadlock-Free Tree-Based Multicast Routing for Networks-on-Chip.	IEEE Trans. Very Large Scale Integr. Syst.	2010	DBLP DOI BibTeX RDF
17	Chiara Francalanci, Paolo Giacomazzi	A High-Performance Deadlock-Free Multicast Routing Algorithm for K-Ary N-Cubes.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	distributed control, Multicast communication, computer network performance, multiprocessor interconnection
17	Fabien Chaix, Dimiter Avresky, Nacer-Eddine Zergainoh, Michael Nicolaidis	Fault-Tolerant Deadlock-Free Adaptive Routing for Any Set of Link and Node Failures in Multi-cores Systems.	NCA	2010	DBLP DOI BibTeX RDF	multi-cores chip, Fault-tolerant, network-on-chip, adaptative routing, virtual channel, virtual network
17	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
17	K. Rustan M. Leino, Peter Müller 0001, Jan Smans	Deadlock-Free Channels and Locks.	ESOP	2010	DBLP DOI BibTeX RDF
17	Hesuan Hu, Mengchu Zhou, Zhiwu Li 0001, Naiqi Wu	Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations.	CASE	2010	DBLP DOI BibTeX RDF
17	Freek Verbeek, Julien Schmaltz	A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks.	ITP	2010	DBLP DOI BibTeX RDF
17	Rickard Holsmark, Shashi Kumar, Maurizio Palesi, Andres Mejia	HiRA: A methodology for deadlock free routing in hierarchical networks on chip.	NOCS	2009	DBLP DOI BibTeX RDF
17	Tjerk Bijlsma, Marco Bekooij, Gerard J. M. Smit	Inter-task communication via overlapping read and write windows for deadlock-free execution of cyclic task graphs.	ICSAMOS	2009	DBLP DOI BibTeX RDF
17	Kazunori Sakurama, Kazushi Nakano	Deadlock-free path-following control for collision avoidance of multiple robots.	CDC	2009	DBLP DOI BibTeX RDF
17	Slavisa Jovanovic, Camel Tanougast, Serge Weber, Christophe Bobda	A new deadlock-free fault-tolerant routing algorithm for NoC interconnections.	FPL	2009	DBLP DOI BibTeX RDF
17	Åshild Grønstad Solheim, Olav Lysne, Aurelio Bermúdez, Rafael Casado, Thomas Sødring, Tor Skeie, Antonio Robles-Gómez	Efficient and deadlock-free reconfiguration for source routed networks.	IPDPS	2009	DBLP DOI BibTeX RDF
17	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
17	M. Gamal Darwish, Ahmed A. Radwan, Mohamed A. Abd El-Baky, Kadry Hamed	TTPM - An efficient deadlock-free algorithm for multicast communication in 2D torus networks.	J. Syst. Archit.	2008	DBLP DOI BibTeX RDF
17	Rickard Holsmark, Maurizio Palesi, Shashi Kumar	Deadlock free routing algorithms for irregular mesh topology NoC systems with rectangular regions.	J. Syst. Archit.	2008	DBLP DOI BibTeX RDF
17	Everton Carara, Fernando Gehm Moraes	Deadlock-Free Multicast Routing Algorithm for Wormhole-Switched Mesh Networks-on-Chip.	ISVLSI	2008	DBLP DOI BibTeX RDF
17	Antonio Robles-Gómez, Aurelio Bermúdez, Rafael Casado, Åshild Grønstad Solheim	Deadlock-Free Dynamic Network Reconfiguration Based on Close Up/Down Graphs.	Euro-Par	2008	DBLP DOI BibTeX RDF
17	Shinichi Yamagiwa, Leonel Sousa	Design and implementation of a tool for modeling and programming deadlock free meta-pipeline applications.	IPDPS	2008	DBLP DOI BibTeX RDF
17	Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III	Phasers: a unified deadlock-free construct for collective and point-to-point synchronization.	ICS	2008	DBLP DOI BibTeX RDF	barriers, semaphores
17	Naiqi Wu, MengChu Zhou	Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets.	OR Spectr.	2007	DBLP DOI BibTeX RDF
17	Rastislav Kralovic, Peter Ruzicka	Ranks of graphs: The size of acyclic orientation cover for deadlock-free packet routing.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Yoshio Turner, Yuval Tamir	Deadlock-free connection-based adaptive routing with dynamic virtual circuits.	J. Parallel Distributed Comput.	2007	DBLP DOI BibTeX RDF
17	Hyo Young Bae, Ri Choe, Taejin Park, Kwang Ryel Ryu	Travel Time Estimation and Deadlock-free Routing of an AGV System.	LDIC	2007	DBLP DOI BibTeX RDF
17	M. M. Hafizur Rahman, Susumu Horiguchi	A deadlock-free routing algorithm using minimum number of virtual channels and application mappings for Hierarchical Torus Network.	Int. J. High Perform. Comput. Netw.	2006	DBLP DOI BibTeX RDF