Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Pedro Antonino, Augusto Sampaio, Jim Woodcock 0001	A Pattern-based deadlock-freedom analysis strategy for concurrent systems.	CoRR	2022	DBLP DOI BibTeX RDF
13	Jaskaran Grover, Changliu Liu, Katia P. Sycara	The Before, During, and After of Multi-Robot Deadlock.	CoRR	2022	DBLP DOI BibTeX RDF
13	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
13	Shunsuke Aoki 0001, Ragunathan Rajkumar	A-DRIVE: Autonomous Deadlock Detection and Recovery at Road Intersections for Connected and Automated Vehicles.	CoRR	2022	DBLP DOI BibTeX RDF
13	Yuda Chen, Chenghan Wang, Zhongkui Li	Multi-Robot Trajectory Planning with Feasibility Guarantee and Deadlock Resolution: An Obstacle-Dense Environment.	CoRR	2022	DBLP DOI BibTeX RDF
13	Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar	Static Deadlock Detection in Low-Level C Code.	CoRR	2022	DBLP DOI BibTeX RDF
13	Yuda Chen, Meng Guo 0002, Zhongkui Li	Recursive Feasibility and Deadlock Resolution in MPC-based Multi-robot Trajectory Generation.	CoRR	2022	DBLP BibTeX RDF
13	Mehrnaz Moudi, Mohamed Othman	A new adaptive routing algorithm using partitioning scheme in x-Folded TM topology to avoid deadlock.	Int. J. Commun. Networks Distributed Syst.	2022	DBLP DOI BibTeX RDF
13	Zichao Xing, Xinyu Chen, Xingkai Wang, Weimin Wu, Ruifen Hu	Collision and Deadlock Avoidance in Multi-Robot Systems Based on Glued Nodes.	IEEE CAA J. Autom. Sinica	2022	DBLP DOI BibTeX RDF
13	Vida Sobhani, Kevin Kauth, Tim Stadtmann, Tobias Gemmeke	Deadlock-Freedom in Computational Neuroscience Simulators.	IEEE Des. Test	2022	DBLP DOI BibTeX RDF
13	Zhiqiang Chen, Rangyu Deng, Kun Zeng, Xiaoqiang Ni, Hongwei Zhou	Traversal Packets: Opportunistic Bypass Packets for Deadlock Recovery.	IEEE Des. Test	2022	DBLP DOI BibTeX RDF
13	Ornela Dardha, Jorge A. Pérez 0001	Comparing type systems for deadlock freedom.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
13	Benyuan Yang, Hesuan Hu	Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance.	IEEE Trans Autom. Sci. Eng.	2022	DBLP DOI BibTeX RDF
13	Yao Lu, Yufeng Chen 0001, ZhiWu Li 0001, Naiqi Wu	An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs.	IEEE Trans Autom. Sci. Eng.	2022	DBLP DOI BibTeX RDF
13	Shunsuke Aoki 0001, Ragunathan Raj Rajkumar	A-DRIVE: Autonomous Deadlock Detection and Recovery at Road Intersections for Connected and Automated Vehicles.	IV	2022	DBLP DOI BibTeX RDF
13	Li-Heng Lin, Kuan-Chun Wang, Ying-Hua Lee, Kai-En Lin, Chung-Wei Lin, Iris Hui-Ru Jiang	Deadlock Resolution for Intelligent Intersection Management with Changeable Trajectories.	IV	2022	DBLP DOI BibTeX RDF
13	Tsuyoshi Goto, Hidenori Itaya, Tsubasa Hirakawa, Takayoshi Yamashita, Hironobu Fujiyoshi	Solving the Deadlock Problem with Deep Reinforcement Learning Using Information from Multiple Vehicles.	IV	2022	DBLP DOI BibTeX RDF
13	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
13	Tsung-Lin Tsou, Chung-Wei Lin, Iris Hui-Ru Jiang	Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets.	DATE	2022	DBLP DOI BibTeX RDF
13	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
13	Yibo Wu, Liang Wang 0020, Xiaohang Wang 0001, Jie Han 0001, Jianfeng Zhu 0001, Honglan Jiang, Shouyi Yin, Shaojun Wei, Leibo Liu	Upward Packet Popup for Deadlock Freedom in Modular Chiplet-Based Systems.	HPCA	2022	DBLP DOI BibTeX RDF
13	Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz	Distributed Controller Synthesis for Deadlock Avoidance.	ICALP	2022	DBLP DOI BibTeX RDF
13	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
13	Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz	I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.	The Logic of Software. A Tasting Menu of Formal Methods	2022	DBLP DOI BibTeX RDF
13	Frodo Kin Sun Chan, Yan Nei Law, Bonny Lu, Tom Chick, Edmond Shiao Bun Lai, Ming Ge	Multi-Agent Pathfinding for Deadlock Avoidance on Rotational Movements.	ICARCV	2022	DBLP DOI BibTeX RDF
13	Andrei Karatkevich, Iwona Grobelna	A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems.	ICARCV	2022	DBLP DOI BibTeX RDF
13	Kang Min Kim, Chang Hyun Chung, Young Jae Jang	Deadlock Avoidance Dynamic Routing Algorithm for a Massive Bidirectional Automated Guided Vehicle System.	WSC	2022	DBLP DOI BibTeX RDF
13	Marcel Müller, Tobias Reggelin, Iegor Kutsenko, Hartmut Zadek, Lorena S. Reyes-Rubiano	Towards Deadlock Handling with Machine Learning in a Simulation-Based Learning Environment.	WSC	2022	DBLP DOI BibTeX RDF
13	K. J. C. Fransen, Michel A. Reniers, J. A. W. M. van Eekelen	Deadlock avoidance algorithm for AGVs on a tessellated layout.	CASE	2022	DBLP DOI BibTeX RDF
13	Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang 0001	Peahen: fast and precise static deadlock detection via context reduction.	ESEC/SIGSOFT FSE	2022	DBLP DOI BibTeX RDF
13	Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian	Formal verification of deadlock avoidance rules for AGV systems.	MED	2022	DBLP DOI BibTeX RDF
13	Chunyan Qi, Chunxiao Li 0001	A Solution Design for Solving Road Deadlock in Autonomous Driving.	ICTC	2022	DBLP DOI BibTeX RDF
13	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
13	Zhaohui Ye, Yanjie Li, Ronghao Guo, Jianqi Gao, Wen Fu	Multi-agent Pathfinding with Communication Reinforcement Learning and Deadlock Detection.	ICIRA (1)	2022	DBLP DOI BibTeX RDF
13	Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu	Deadlock prediction via generalized dependency.	ISSTA	2022	DBLP DOI BibTeX RDF
13	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
13	Yaodong Wang, Yamin Li	Load-Balancing Routing Algorithms for Reducing Packet Latency and Avoiding Deadlock in Datacenter Interconnection Networks.	CANDARW	2022	DBLP DOI BibTeX RDF
13	Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar	Static Deadlock Detection in Low-Level C Code.	EUROCAST	2022	DBLP DOI BibTeX RDF
13	Swen Jacobs, Mouhammad Sakr, Marcus Völp	Automatic Repair and Deadlock Detection for Parameterized Systems.	FMCAD	2022	DBLP DOI BibTeX RDF
13	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
13	Zak Cutner, Nobuko Yoshida, Martin Vassor	Deadlock-free asynchronous message reordering in rust with multiparty session types.	PPoPP	2022	DBLP DOI BibTeX RDF
13	Shushan Li, Meng Wang, Hong Zhang	Deadlock Detection for MPI Programs Based on Refined Match-sets.	CLUSTER	2022	DBLP DOI BibTeX RDF
13	Ha Hunmok, Daisuke Kasamatsu	A Method of Deadlock and Girdlock Avoidance at Signal-free Intersections.	GCCE	2022	DBLP DOI BibTeX RDF
13	Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara	Standby-Based Deadlock Avoidance Method for Multi-Agent Pickup and Delivery Tasks. (PDF / PS)	AAMAS	2022	DBLP BibTeX RDF
13	Markus Sauer, Andreas Dachsberger, Leonard Giglhuber, Lukasz Zalewski	Decentralized Deadlock Prevention for Self-Organizing Industrial Mobile Robot Fleets.	COINS	2022	DBLP DOI BibTeX RDF
13	Frantisek Capkovic	Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets - Part 1: Invariants, Siphons and Traps in Deadlock Avoidance.	Comput. Informatics	2021	DBLP DOI BibTeX RDF
13	Adel Al-Shayea, Husam Kaid, Abdulrahman Al-Ahmari, Emad S. Abouel Nasr, Ali K. Kamrani, Haitham A. Mahmoud	Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Ter-Chan Row, Yen-Liang Pan	An Optimal Deadlock Recovery Algorithm for Special and Complex Flexible Manufacturing Systems-S₄PR.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Mahmoud Salaheldin Elsayed, Gaiyun Liu, Almetwally M. Mostafa, Abeer Ali Alnuaim, Passent Mohammed El-Kafrawy	Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	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
13	Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li 0001, Wadea Ameen	Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Miguel Gómez-Zamalloa, Miguel Isabel	Deadlock-Guided Testing.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	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
13	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
13	Masanori Sekiguchi, Naoyuki Takesue	Numerical method for inverse kinematics using an extended angle-axis vector to avoid deadlock caused by joint limits.	Adv. Robotics	2021	DBLP DOI BibTeX RDF
13	Michael Ibrahim 0001, Spyros A. Reveliotis, Ahmed Nazeem	Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
13	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
13	Pritam Majumder, Sungkeun Kim, Jiayi Huang 0001, Ki Hwan Yum, Eun Jung Kim 0001	Remote Control: A Simple Deadlock Avoidance Scheme for Modular Systems-on-Chip.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
13	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
13	Yanxiang Feng, Mengchu Zhou, Feng Tian 0002, Chao-Bo Yan, Keyi Xing	Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR.	IEEE Trans. Syst. Man Cybern. Syst.	2021	DBLP DOI BibTeX RDF
13	Yibo Wu, Liang Wang 0020, Xiaohang Wang 0001, Jie Han 0001, Shouyi Yin, Shaojun Wei, Leibo Liu	A Deflection-Based Deadlock Recovery Framework to Achieve High Throughput for Faulty NoCs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
13	Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Andrea Onofri, Paolo Ventura	The Tick Formulation for deadlock detection and avoidance in railways traffic control.	J. Rail Transp. Plan. Manag.	2021	DBLP DOI BibTeX RDF
13	Joshua J. Daymude, Noble C. Harasha, Andréa W. Richa, Ryan Yiu	Deadlock and Noise in Self-Organized Aggregation Without Computation.	CoRR	2021	DBLP BibTeX RDF
13	Caleb Voss 0001, Vivek Sarkar	An Ownership Policy and Deadlock Detector for Promises.	CoRR	2021	DBLP BibTeX RDF
13	Bas van den Heuvel 0001, Jorge A. Pérez 0001	Deadlock Freedom for Asynchronous and Cyclic Process Networks.	ICE	2021	DBLP DOI BibTeX RDF
13	Zak Cutner, Nobuko Yoshida, Martin Vassor	Deadlock-free asynchronous message reordering in Rust with multiparty session types.	CoRR	2021	DBLP BibTeX RDF
13	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
13	Bas van den Heuvel 0001, Jorge A. Pérez 0001	Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version).	CoRR	2021	DBLP BibTeX RDF
13	Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema	Deadlock in packet switching networks.	CoRR	2021	DBLP BibTeX RDF
13	Bjørnar Luteberget	Improving Online Railway Deadlock Detection using a Partial Order Reduction.	FMAS	2021	DBLP DOI BibTeX RDF
13	Wen Kokke, Ornela Dardha	Deadlock-Free Session Types in Linear Haskell.	CoRR	2021	DBLP BibTeX RDF
13	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
13	Xiaoling Li 0001, Keyi Xing, Qingchang Lu	Hybrid particle swarm optimization algorithm for scheduling flexible assembly systems with blocking and deadlock constraints.	Eng. Appl. Artif. Intell.	2021	DBLP DOI BibTeX RDF
13	Marius Bozga, Radu Iosif, Joseph Sifakis	Checking deadlock-freedom of parametric component-based systems.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
13	Jianchao Luo, Mengchu Zhou, Jun-Qiang Wang	AB&B: An Anytime Branch and Bound Algorithm for Scheduling of Deadlock-Prone Flexible Manufacturing Systems.	IEEE Trans Autom. Sci. Eng.	2021	DBLP DOI BibTeX RDF
13	Nan Du, Hesuan Hu	Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets.	IEEE Trans Autom. Sci. Eng.	2021	DBLP DOI BibTeX RDF
13	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
13	Robert Mittermayr, Johann Blieberger	Deadlock and WCET analysis of barrier-synchronized concurrent programs.	Computing	2021	DBLP DOI BibTeX RDF
13	Joshua J. Daymude, Noble C. Harasha, Andréa W. Richa, Ryan Yiu	Deadlock and Noise in Self-Organized Aggregation Without Computation.	SSS	2021	DBLP DOI BibTeX RDF
13	Mohammed Abdullhak, Andrew Vardy	Deadlock Prediction and Recovery for Distributed Collision Avoidance with Buffered Voronoi Cells.	IROS	2021	DBLP DOI BibTeX RDF
13	Xiong Wei, Meng Cheng	DSPN: Deadlock Detection and Solutions of Reachability Graphs for Petri Nets.	AIAM (IEEE)	2021	DBLP DOI BibTeX RDF
13	Gyuyoung Kwauk, Seungkwan Kang, Hans Kasan, Hyojun Son, John Kim	BoomGate: Deadlock Avoidance in Non-Minimal Routing for High-Radix Networks.	HPCA	2021	DBLP DOI BibTeX RDF
13	R. Rajesh Kumar, Vivek Shanbhag, K. V. Dinesha	Automated Deadlock Detection for Large Java Libraries.	ICDCIT	2021	DBLP DOI BibTeX RDF
13	Boyang Zhang 0001, Henri P. Gavin	Natural Deadlock Resolution for Multi-agent Multi-Swarm Navigation.	CDC	2021	DBLP DOI BibTeX RDF
13	Nicole Immorlica, Yash Kanoria, Jiaqi Lu	In Which Matching Markets Do Costly Compatibility Inspections Lead to a Deadlock?	WINE	2021	DBLP BibTeX RDF
13	Jaskaran Singh Grover, Changliu Liu, Katia P. Sycara	Deadlock Analysis and Resolution for Multi-robot Systems.	WAFR	2021	DBLP DOI BibTeX RDF
13	Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema	Deadlock in Packet Switching Networks.	FSEN	2021	DBLP DOI BibTeX RDF
13	Xinyu Crystal Wu, T. S. Eugene Ng	ITSY: Initial Trigger-Based PFC Deadlock Detection in the Data Plane.	INFOCOM Workshops	2021	DBLP DOI BibTeX RDF
13	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
13	Maoning Chen, Yuangen Lu, Canrong Zhang	Deadlock-solving Traffic Control Methods for Automated Guided Vehicle Systems.	IEEM	2021	DBLP DOI BibTeX RDF
13	Xinyu Chen, Tingqi Zhang, Weimin Wu, Ruifen Hu	A Novel Searching Method of Fringe Blocks for AGV Deadlock Avoidance.	ICNSC	2021	DBLP DOI BibTeX RDF
13	James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich	A Compositional Deadlock Detector for Android Java.	ASE	2021	DBLP DOI BibTeX RDF
13	Wen Kokke, Ornela Dardha	Deadlock-free session types in linear Haskell.	Haskell	2021	DBLP DOI BibTeX RDF
13	Caleb Voss 0001, Vivek Sarkar	An ownership policy and deadlock detector for promises.	PPoPP	2021	DBLP DOI BibTeX RDF
13	Elina Unruh, Patrick Delfmann, Matthias Thimm	Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures.	CBI (1)	2021	DBLP DOI BibTeX RDF
13	Anup Gangwar, Ravishankar Sreedharan, Ambica Prasad, Nitin Kumar Agarwal, Sri Harsha Gade	Topology Agnostic Virtual Channel Assignment and Protocol Level Deadlock Avoidance in a Network-on-Chip.	DAC	2021	DBLP DOI BibTeX RDF
13	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
13	Yuebin Zhou, Jianlong Xu	IoT perception layer scheduling deadlock relieving optimization method.	J. Intell. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
13	Mehrdad Ghorbani, Seyed Morteza Babamir	Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
13	Yanxiang Feng, Keyi Xing, MengChu Zhou, Hefeng Chen, Feng Tian 0002	Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets.	Inf. Sci.	2020	DBLP DOI BibTeX RDF