Search results for "deadlock-free"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Baskin Senbaslar, Pilar Luiz, Wolfgang Hönig, Gaurav S. Sukhatme	MRNAV: Multi-Robot Aware Planning and Control Stack for Collision and Deadlock-free Navigation in Cluttered Environments.	CoRR	2023	DBLP DOI BibTeX RDF
17	Lingxiao Yang, Xuewen Dong, Sheng Gao 0002, Qiang Qu, Xiaodong Zhang, Wensheng Tian, Yulong Shen	Optimal Hub Placement and Deadlock-Free Routing for Payment Channel Network Scalability.	CoRR	2023	DBLP DOI BibTeX RDF
17	Ahmed Ibrahim El-Mesady, Aleksandr Yu. Romanov, Aleksandr A. Amerikanov, Alexander Ivannikov	On Bipartite Circulant Graph Decompositions Based on Cartesian and Tensor Products with Novel Topologies and Deadlock-Free Routing.	Algorithms	2023	DBLP DOI BibTeX RDF
17	Jungwon Park, Inkyu Jang, H. Jin Kim	Decentralized Deadlock-free Trajectory Planning for Quadrotor Swarm in Obstacle-rich Environments.	ICRA	2023	DBLP DOI BibTeX RDF
17	Xiao Zhang, Peirui Cao, Yongxi Lyu, Qizhou Zhang, Shizhen Zhao, Xinbing Wang, Chenghu Zhou	FC+: Near-optimal Deadlock-free Expander Data Center Networks.	ISPA/BDCloud/SocialCom/SustainCom	2023	DBLP DOI BibTeX RDF
17	Yaoyao Ye, Zixuan Liu, Jungan Liu, Li Jiang 0002	ASDR: An Application-Specific Deadlock-Free Routing for Chiplet-Based Systems.	NoCArc@MICRO	2023	DBLP DOI BibTeX RDF
17	Shuang Liu, Martin Radetzki	Systematic Construction of Deadlock-Free Routing for NoC Using Integer Linear Programming.	MCSoC	2023	DBLP DOI BibTeX RDF
17	Rami Fouani, Raunak Sengupta, Rakesh Nagi, Ramavarapu S. Sreenivas	Voxelized Cut-and-Fill Models for Deadlock-Free Site Excavation Under Accessibility Constraints.	CASE	2023	DBLP DOI BibTeX RDF
17	Shizhen Zhao, Qizhou Zhang, Peirui Cao, Xiao Zhang, Xinbing Wang, Chenghu Zhou	Flattened Clos: Designing High-performance Deadlock-free Expander Data Center Networks Using Graph Contraction.	NSDI	2023	DBLP BibTeX RDF
17	Xiaoran Zhang, Mingyu Wang, Yicong Zhang, Tao Lu, Zhiyi Yu	A Scalable Deadlock-Free Static Routing Algorithm for Chiplet-Based Systems.	ICPADS	2023	DBLP DOI BibTeX RDF
17	Lingxiao Yang, Xuewen Dong, Sheng Gao 0002, Qiang Qu, Xiaodong Zhang, Wensheng Tian, Yulong Shen	Optimal Hub Placement and Deadlock-Free Routing for Payment Channel Network Scalability.	ICDCS	2023	DBLP DOI BibTeX RDF
17	Johannes Schäfer, Felix Keppler, Sebastian Wagner, Klaus Janschek	RMTRUCK: Deadlock-Free Execution of Multi-Robot Plans Under Delaying Disturbances.	ITSC	2023	DBLP DOI BibTeX RDF
17	Valentin Olenev, Alexandr Karandashev	Configuring Methods for Deadlock-Free Routing.	Int. J. Embed. Real Time Commun. Syst.	2022	DBLP DOI BibTeX RDF
17	Misbah Manzoor, Roohie Naaz Mir, Najeeb-ud-Din Hakim	PAAD (Partially adaptive and deterministic routing): A deadlock free congestion aware hybrid routing for 2D mesh network-on-chips.	Microprocess. Microsystems	2022	DBLP DOI BibTeX RDF
17	Misbah Manzoor, Roohie Naaz Mir, Najeeb-ud-Din Hakim	Prime turn model and first last turn model: An adaptive deadlock free routing for network-on-chips.	Microprocess. Microsystems	2022	DBLP DOI BibTeX RDF
17	Jungwon Park, Inkyu Jang, H. Jin Kim	Decentralized Deadlock-free Trajectory Planning for Quadrotor Swarm in Obstacle-rich Environments - Extended version.	CoRR	2022	DBLP DOI BibTeX RDF
17	Yukita Fujitani, Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara	Deadlock-Free Method for Multi-Agent Pickup and Delivery Problem Using Priority Inheritance with Temporary Priority.	CoRR	2022	DBLP DOI BibTeX RDF
17	Yi Dai, Kai Lu, Sheng Ma, Junsheng Chang	Full-credit Flow Control: A Novel Technique to Implement Deadlock-free Adaptive Routing.	DATE	2022	DBLP DOI BibTeX RDF
17	Ebadollah Taheri, Sudeep Pasricha, Mahdi Nikdast	DeFT: A Deadlock-Free and Fault-Tolerant Routing Algorithm for 2.5D Chiplet Networks.	DATE	2022	DBLP DOI BibTeX RDF
17	Zhenjiang Guo, Huandong Wang, Longbing Zhang, Junhua Xiao	TCRing: A Novel Single-Channel Deadlock-Free Concentrated on-Chip Network.	HPCC/DSS/SmartCity/DependSys	2022	DBLP DOI BibTeX RDF
17	Yukita Fujitani, Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara	Deadlock-Free Method for Multi-Agent Pickup and Delivery Problem Using Priority Inheritance with Temporary Priority.	KES	2022	DBLP DOI BibTeX RDF
17	Ryuta Kawano, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	Dynamic Routing Reconfiguration for Low-Latency and Deadlock-Free Interconnection Networks.	CANDAR	2022	DBLP DOI BibTeX RDF
17	Jungan Liu, Chang Li, Yaoyao Ye	A Path Utilization-Based Congestion-Aware Deadlock-Free Routing for Network-on-Chip.	EITCE	2022	DBLP DOI BibTeX RDF
17	Zak Cutner, Nobuko Yoshida, Martin Vassor	Deadlock-free asynchronous message reordering in rust with multiparty session types.	PPoPP	2022	DBLP DOI BibTeX RDF
17	Yanjun Lu, Yan Qiao, ChunRong Pan, Yufeng Chen 0001, Naiqi Wu, Zhiwu Li 0001, Bin Liu	Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net.	IEEE Access	2021	DBLP DOI BibTeX RDF
17	Juan-José Crespo, José L. Sánchez 0002, Francisco J. Alfaro-Cortés, José Flich, José Duato	UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
17	Masashi Mizoguchi, Toshimitsu Ushio	Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP DOI BibTeX RDF
17	Liang Li 0020, Francesco Basile, Zhiwu Li 0001	Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
17	German Maglione Mathey, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Eitan Zahavi	Leveraging InfiniBand controller to configure deadlock-free routing engines for Dragonflies.	J. Parallel Distributed Comput.	2021	DBLP DOI BibTeX RDF
17	Zak Cutner, Nobuko Yoshida, Martin Vassor	Deadlock-free asynchronous message reordering in Rust with multiparty session types.	CoRR	2021	DBLP BibTeX RDF
17	Ebadollah Taheri, Sudeep Pasricha, Mahdi Nikdast	DeFT: A Deadlock-Free and Fault-Tolerant Routing Algorithm for 2.5D Chiplet Networks.	CoRR	2021	DBLP BibTeX RDF
17	Wen Kokke, Ornela Dardha	Deadlock-Free Session Types in Linear Haskell.	CoRR	2021	DBLP BibTeX RDF
17	Bo Huang 0008, MengChu Zhou, Cong Wang 0015, Abdullah Abusorrah, Yusuf Al-Turki 0001	Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events.	IEEE CAA J. Autom. Sinica	2021	DBLP DOI BibTeX RDF
17	James R. Heselden, Gautham P. Das	CRH*: A Deadlock Free Framework for Scalable Prioritised Path Planning in Multi-robot Systems.	TAROS	2021	DBLP DOI BibTeX RDF
17	Wen Kokke, Ornela Dardha	Deadlock-free session types in linear Haskell.	Haskell	2021	DBLP DOI BibTeX RDF
17	Adem Coskun, Jason M. O'Kane, Marco Valtorta	Deadlock-Free Online Plan Repair in Multi-robot Coordination with Disturbances.	FLAIRS	2021	DBLP DOI BibTeX RDF
17	Ryuta Kawano, Ryota Yasudo, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	A Generalized Theory Based on the Turn Model for Deadlock-Free Irregular Networks.	IEICE Trans. Inf. Syst.	2020	DBLP BibTeX RDF
17	Jianchao Luo, Zhiqiang Liu, MengChu Zhou, Keyi Xing	Deadlock-Free Scheduling of Flexible Assembly Systems Based on Petri Nets and Local Search.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
17	Cheng Ma, Qi Zhao, Guoqi Li, Lei Deng 0003, Guanrui Wang	A deadlock-free physical mapping method on the many-core neural network chip.	Neurocomputing	2020	DBLP DOI BibTeX RDF
17	Tuhin Subhra Das, Prasun Ghosal, Navonil Chatterjee, Arnab Nath, Akash Banerjee, Subhojyoti Khastagir	Application of Logical Sub-networking in Congestion-aware Deadlock-free SDmesh Routing.	ACM Trans. Embed. Comput. Syst.	2020	DBLP DOI BibTeX RDF
17	Juan-José Crespo, José L. Sánchez 0002, Francisco J. Alfaro-Cortes, José Flich, José Duato	UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility.	CoRR	2020	DBLP BibTeX RDF
17	Taqwa Saeed, Vassos Soteriou, Christos Liaskos, Andreas Pitsillides, Marios Lestas	Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks.	CoRR	2020	DBLP BibTeX RDF
17	Yuan Cai, Dong Xiang, Xiang Ji	Deadlock-free adaptive 3D network-on-chips routing algorithm with repetitive turn concept.	IET Commun.	2020	DBLP DOI BibTeX RDF
17	Taqwa Saeed, Vassos Soteriou, Christos Liaskos, Andreas Pitsillides, Marios Lestas	Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks.	IEEE Netw. Lett.	2020	DBLP DOI BibTeX RDF
17	Madhavi Devi B, Smriti Agrawal, Ramisetty Rajeshwara Rao	Deadlock Free Resource Management Technique for IoT-Based Post Disaster Recovery Systems.	Scalable Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
17	Román Pomares-Angelino, Ernesto López-Mellado	Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels.	CCE	2020	DBLP DOI BibTeX RDF
17	Andrej Ivaskovic, Alan Mycroft	A graded Monad for deadlock-free concurrency (functional pearl).	Haskell@ICFP	2020	DBLP DOI BibTeX RDF
17	Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar	A deadlock-free lock-based synchronization for GPUs.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
17	Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Torsten Hoefler	Head-of-line blocking avoidance in Slim Fly networks using deadlock-free non-minimal and adaptive routing.	Concurr. Comput. Pract. Exp.	2019	DBLP DOI BibTeX RDF
17	Wen Kokke	Rusty Variation: Deadlock-free Sessions with Failure in Rust.	ICE	2019	DBLP DOI BibTeX RDF
17	Mackenzie J. Wibbels, Shomit Das, Dheeraj Singh Takur, Venkata Nori, Kenneth S. Stevens	A Transmission Line Enabled Deadlock Free Toroidal Network-on-Chip using Asynchronous Handshake Protocols.	ASYNC	2019	DBLP DOI BibTeX RDF
17	GaiYun Liu, Dimitri Lefebvre, ZhiWu Li 0001	Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.	SMC	2019	DBLP DOI BibTeX RDF
17	Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel	Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion.	PODC	2019	DBLP DOI BibTeX RDF
17	Ryuta Kawano, Hiroki Matsutani, Hideharu Amano	Deadlock-Free Layered Routing for Infiniband Networks.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
17	Zeynab Mohseni, Midia Reshadi	A deadlock-free routing algorithm for irregular 3D network-on-chips with wireless links.	J. Supercomput.	2018	DBLP DOI BibTeX RDF
17	Zana Ghaderi, Ayed Alqahtani 0001, Nader Bagherzadeh	AROMa: Aging-Aware Deadlock-Free Adaptive Routing Algorithm and Online Monitoring in 3D NoCs.	IEEE Trans. Parallel Distributed Syst.	2018	DBLP DOI BibTeX RDF
17	German Maglione Mathey, Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Eitan Zahavi	Scalable Deadlock-Free Deterministic Minimal-Path Routing Engine for InfiniBand-Based Dragonfly Networks.	IEEE Trans. Parallel Distributed Syst.	2018	DBLP DOI BibTeX RDF
17	Gonzalo Mejía, Juan Pablo Caballero-Villalobos, Carlos Montoya	Petri Nets and Deadlock-Free Scheduling of Open Shop Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Syst.	2018	DBLP DOI BibTeX RDF
17	Qi Zhou, Bing-Hai Zhou	An impending deadlock-free scheduling method in the case of unified automated material handling systems in 300 mm wafer fabrications.	J. Intell. Manuf.	2018	DBLP DOI BibTeX RDF
17	Luca Padovani	Deadlock-Free Typestate-Oriented Programming.	Art Sci. Eng. Program.	2018	DBLP DOI BibTeX RDF
17	Pieter Stroobant, Sergi Abadal, Wouter Tavernier, Eduard Alarcón, Didier Colle, Mario Pickavet	A General, Fault tolerant, Adaptive, Deadlock-free Routing Protocol for Network-on-chip.	CoRR	2018	DBLP BibTeX RDF
17	Luca Padovani	Deadlock-Free Typestate-Oriented Programming.	CoRR	2018	DBLP BibTeX RDF
17	Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel	Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion.	CoRR	2018	DBLP BibTeX RDF
17	Pieter Stroobant, Sergi Abadal, Wouter Tavernier, Eduard Alarcón, Didier Colle, Mario Pickavet	A General, Fault tolerant, Adaptive, Deadlock-free Routing Protocol for Network-on-chip.	NoCArc@MICRO	2018	DBLP DOI BibTeX RDF
17	Ornela Dardha, Simon J. Gay	A New Linear Logic for Deadlock-Free Session-Typed Processes.	FoSSaCS	2018	DBLP DOI BibTeX RDF
17	Jafar Hamin, Bart Jacobs 0002	Deadlock-Free Monitors.	ESOP	2018	DBLP DOI BibTeX RDF
17	Lev Kurbanov, Ksenia Rozhdestvenskaya, Elena Suvorova	Deadlock-Free Routing in SpaceWire Onboard Network.	FRUCT	2018	DBLP DOI BibTeX RDF
17	Yuan Cai, Dong Xiang, Xiang Ji	Deadlock-Free Adaptive Routing Based on the Repetitive Turn Model for 3D Network-on-Chip.	ISPA/IUCC/BDCloud/SocialCom/SustainCom	2018	DBLP DOI BibTeX RDF
17	Feng Tian 0002, Rong Zhang, Jacek Lewandowski, Kuo-Ming Chao, Longzhuang Li, Bo Dong	Deadlock-free migration for virtual machine consolidation using Chicken Swarm Optimization algorithm.	J. Intell. Fuzzy Syst.	2017	DBLP DOI BibTeX RDF
17	Peng Li, Jonathan C. Beard, Jeremy D. Buhler	Deadlock-free buffer configuration for stream computing.	Int. J. High Perform. Comput. Appl.	2017	DBLP DOI BibTeX RDF
17	Hang Lei, Keyi Xing, LiBin Han, Zhenxin Gao	Hybrid heuristic search approach for deadlock-free scheduling of flexible manufacturing systems using Petri nets.	Appl. Soft Comput.	2017	DBLP DOI BibTeX RDF
17	Gonzalo Mejía, Karen Niño	A new Hybrid Filtered Beam Search algorithm for deadlock-free scheduling of flexible manufacturing systems using Petri Nets.	Comput. Ind. Eng.	2017	DBLP DOI BibTeX RDF
17	Vahid Janfaza, Elaheh Baharlouei	A new fault-tolerant deadlock-free fully adaptive routing in NOC.	EWDTS	2017	DBLP DOI BibTeX RDF
17	Jindun Dai, Xin Jiang 0003, Renjie Li, Takahiro Watanabe	An Efficient Deadlock-Free Adaptive Routing Algorithm for 3D Network-on-Chips.	MCSoC	2017	DBLP DOI BibTeX RDF
17	Aniruddh Ramrakhyani, Tushar Krishna	Static Bubble: A Framework for Deadlock-Free Irregular On-chip Topologies.	HPCA	2017	DBLP DOI BibTeX RDF
17	Bingyi Cao, Kenneth A. Ross, Stephen A. Edwards, Martha A. Kim	Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator.	DaMoN	2017	DBLP DOI BibTeX RDF
17	Ryuta Kawano, Ryota Yasudo, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	HiRy: An Advanced Theory on Design of Deadlock-Free Adaptive Routing for Arbitrary Topologies.	ICPADS	2017	DBLP DOI BibTeX RDF
17	Masoumeh Ebrahimi, Masoud Daneshtalab	EbDa: A New Theory on Design and Verification of Deadlock-free Interconnection Networks.	ISCA	2017	DBLP BibTeX RDF
17	Jens Domke	Routing on the Channel Dependency Graph:: A New Approach to Deadlock-Free, Destination-Based, High-Performance Routing for Lossless Interconnection Networks.		2017	RDF
17	Hsuan-Ming Chou, Yi-Chiao Chen, Keng-Hao Yang, Jean Tsao, Shih-Chieh Chang, Wen-Ben Jone, Tien-Fu Chen	High-Performance Deadlock-Free ID Assignment for Advanced Interconnect Protocols.	IEEE Trans. Very Large Scale Integr. Syst.	2016	DBLP DOI BibTeX RDF
17	Lian Zeng, Tieyuan Pan, Xin Jiang 0003, Takahiro Watanabe	An Efficient Highly Adaptive and Deadlock-Free Routing Algorithm for 3D Network-on-Chip.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Pengju Ren, Xiaowei Ren, Sudhanshu Sane, Michel A. Kinsy, Nanning Zheng 0001	A Deadlock-Free and Connectivity-Guaranteed Methodology for Achieving Fault-Tolerance in On-Chip Networks.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
17	Dong Xiang, Xiaowei Liu	Deadlock-Free Broadcast Routing in Dragonfly Networks without Virtual Channels.	IEEE Trans. Parallel Distributed Syst.	2016	DBLP DOI BibTeX RDF
17	Junhui Wang, Huaxi Gu, Kang Wang, Yintang Yang, Kun Wang 0001	DRTL: A heat-balanced deadlock-free routing algorithm for 3D topology network-on-chip.	Microprocess. Microsystems	2016	DBLP DOI BibTeX RDF
17	Michal Cáp, Jean Gregoire, Emilio Frazzoli	Provably Safe and Deadlock-Free Execution of Multi-Robot Plans under Delaying Disturbances.	CoRR	2016	DBLP BibTeX RDF
17	Liwei Chen, Yipeng Wang 0001, Huandong Wang, Wenxiang Wang, Hua Jing, Guangfei Zhang	Multiple-combinational-channel: A network architecture for workload balance and deadlock free.	Future Gener. Comput. Syst.	2016	DBLP DOI BibTeX RDF
17	Weiwen Jiang, Qingfeng Zhuge, Xianzhang Chen, Lei Yang 0018, Juan Yi, Edwin Hsing-Mean Sha	Properties of Self-Timed Ring Architectures for Deadlock-Free and Consistent Configuration Reaching Maximum Throughput.	J. Signal Process. Syst.	2016	DBLP DOI BibTeX RDF
17	Michal Cáp, Jean Gregoire, Emilio Frazzoli	Provably safe and deadlock-free execution of multi-robot plans under delaying disturbances.	IROS	2016	DBLP DOI BibTeX RDF
17	Ryuta Kawano, Hiroshi Nakahara, Seiichi Tade, Ikki Fujiwara, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	ACRO: Assignment of channels in reverse order to make arbitrary routing deadlock-free.	ICIS	2016	DBLP DOI BibTeX RDF
17	Sadia Moriam, Gerhard P. Fettweis	Fault Tolerant Deadlock-Free Adaptive Routing Algorithms for Hexagonal Networks-on-Chip.	DSD	2016	DBLP DOI BibTeX RDF
17	Jean-Noël Quintin, Pierre Vignéras	Transitively Deadlock-Free Routing Algorithms.	HiPINEB@HPCA	2016	DBLP DOI BibTeX RDF
17	Dimitri Lefebvre	Deadlock-free scheduling for timed Petri net models combined with MPC and backtracking.	WODES	2016	DBLP DOI BibTeX RDF
17	Brent E. Stephens, Alan L. Cox	Deadlock-free local fast failover for arbitrary data center networks.	INFOCOM	2016	DBLP DOI BibTeX RDF
17	Amir Charif, Nacer-Eddine Zergainoh, Michael Nicolaidis	A new approach to deadlock-free fully adaptive routing for high-performance fault-tolerant NoCs.	DFT	2016	DBLP DOI BibTeX RDF
17	Jens Domke, Torsten Hoefler, Satoshi Matsuoka	Routing on the Dependency Graph: A New Approach to Deadlock-Free High-Performance Routing.	HPDC	2016	DBLP DOI BibTeX RDF
17	Canwen Xiao, Yue Yang, Jianwen Zhu	A Sufficient Condition for Deadlock-Free Adaptive Routing in Mesh Networks.	IEEE Comput. Archit. Lett.	2015	DBLP DOI BibTeX RDF
17	Zhigang Yu, Dong Xiang, Xinyu Wang 0015	Balancing virtual channel utilization for deadlock-free routing in torus networks.	J. Supercomput.	2015	DBLP DOI BibTeX RDF
17	Olatunde T. Baruwa, Miquel Angel Piera Eroles, Antoni Guasch	Deadlock-Free Scheduling Method for Flexible Manufacturing Systems Based on Timed Colored Petri Nets and Anytime Heuristic Search.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
17	Jianchao Luo, Keyi Xing, MengChu Zhou, XiaoLing Li 0001, Xinnian Wang	Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
17	Jinho Lee, Kyungsu Kang, Kiyoung Choi	REDELF: An Energy-Efficient Deadlock-Free Routing for 3D NoCs with Partial Vertical Connections.	ACM J. Emerg. Technol. Comput. Syst.	2015	DBLP DOI BibTeX RDF