Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Stavros Tripakis	Verifying Progress in Timed Systems.	ARTS	1999	DBLP DOI BibTeX RDF
14	Zhichen Xu, Barton P. Miller, Oscar Naim	Dynamic Instrumentation of Threaded Applications.	PPoPP	1999	DBLP DOI BibTeX RDF
14	Prasant Mohapatra	Wormhole Routing Techniques for Directly Connected Multicomputer Systems.	ACM Comput. Surv.	1998	DBLP DOI BibTeX RDF
14	Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom	A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.	ICATPN	1998	DBLP DOI BibTeX RDF
14	Stephan Kleuker	Reengineering of Distributed Systems Using Formal Methods.	CSMR	1998	DBLP DOI BibTeX RDF	formal methods, reengineering, incremental development
14	Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo	Unfold/Fold Transformations of CCP Programs.	CONCUR	1998	DBLP DOI BibTeX RDF
14	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
14	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
14	Wan J. Fokkink	Axiomatizations for the Perpetual Loop in Process Algebra.	ICALP	1997	DBLP DOI BibTeX RDF
14	Catherine Dufourd, Alain Finkel	Polynomial-Time Manz-One Reductions for Petri Nets.	FSTTCS	1997	DBLP DOI BibTeX RDF
14	Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	A Non-Standard Semantics for Generating Reduced Transition Systems.	LOMAPS	1996	DBLP DOI BibTeX RDF
14	Robert Cooper	Experience with Causally and Totally Ordered Communication Support, A cautionary tale.	ACM SIGOPS Oper. Syst. Rev.	1994	DBLP DOI BibTeX RDF
14	Walter Vogler	Asynchronous Communication of Petri Nets and the Refinement of Transitions.	ICALP	1992	DBLP DOI BibTeX RDF
14	Susan S. Owicki, Anna R. Karlin	Factors in the Performance of the AN1 Computer Network.	SIGMETRICS	1992	DBLP DOI BibTeX RDF
14	Leslie C. Lander, Sandeep Mitra	Detection and Avoidance of Elaboration-Time Problems for Multi-Unit Real-Time Ada Applications.	Ada-Europe	1992	DBLP DOI BibTeX RDF
14	Waleed A. Muhanna	Composite Programs: Hierarchical Construction, Circularity, and Deadlocks.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	hierarchical construction, nonprocedural development environment, composite programs, input ports, output ports, coupling graph, cycle enumeration, atomic programs, deadly cycles, graph theory, graph theory, concurrency control, interfaces, programming environments, decomposition, programming theory, necessary and sufficient conditions, circularity, communication behavior, cyclic, communication deadlocks
14	Larry Soulé, Anoop Gupta	An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic Simulation.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	MIPS R6000
14	David M. Goldschlag	A Mechanical Formalization of Several Fairness Notions.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
14	A. D. Robinson	Optimistic regulation of concurrency.	SPDP	1990	DBLP DOI BibTeX RDF
14	Chris R. Jesshope, P. R. Miller, Jay T. Yantchev	High Performance Communications in Processor Networks.	ISCA	1989	DBLP DOI BibTeX RDF
14	Scott D. Carson, Paul F. Reynolds Jr.	The Geometry of Semaphore Programs.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF
14	Bojan Groselj, Carl Tropper	Distributed simulation using a look-ahead algorithm.	ACM SIGOPS European Workshop	1986	DBLP DOI BibTeX RDF
14	R. C. Hansdah, Lalit M. Patnaik	Update Serializability in Locking.	ICDT	1986	DBLP DOI BibTeX RDF
14	Vijay A. Saraswat	Partial correctness semantics for CP [ , \| , &].	FSTTCS	1985	DBLP DOI BibTeX RDF
14	M. W. Shields, Peter E. Lauer	Verifying Concurrent System Specification in COSY.	MFCS	1980	DBLP DOI BibTeX RDF
14	Peter A. Ng, Sung Y. Bang	Another Approach for Proving Program Correctness.	MFCS	1977	DBLP DOI BibTeX RDF
14	Cheng-Wen Cheng, Jonas Rabin	Synthesis of Decision Rules.	Commun. ACM	1976	DBLP DOI BibTeX RDF
13	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
13	Ruochen Zheng, Siyu Li	MCCA: A Decentralized Method for Collision and Deadlock Avoidance With Nonholonomic Robots.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
13	Philippos Papaphilippou, Thiem Van Chu	Efficient Deadlock Avoidance for 2-D Mesh NoCs That Use OQ or VOQ Routers.	IEEE Trans. Computers	2024	DBLP DOI BibTeX RDF
13	Yu Zhang, Kaiwen Zhang 0010, Guanjun Liu	Static Deadlock Detection for Rust Programs.	CoRR	2024	DBLP DOI BibTeX RDF
13	Stefan K. Muller	Language-Agnostic Static Deadlock Detection for Futures.	PPoPP	2024	DBLP DOI BibTeX RDF
13	Jules Jacobs, Stephanie Balzer	Higher-Order Leak and Deadlock Free Locks.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Hünkar Can Tunç, Umang Mathur 0001, Andreas Pavlogiannis, Mahesh Viswanathan 0001	Sound Dynamic Deadlock Prediction in Linear Time.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
13	Nan Du, Yan Yang, Hesuan Hu	Robust deadlock control in automated manufacturing systems with unreliable resources based on an algebraic way.	Int. J. Prod. Res.	2023	DBLP DOI BibTeX RDF
13	Tatsuhiro Nakamori, Jun Nemoto, Takashi Hoshino 0002, Hideyuki Kawashima	Scalable Timestamp Allocation for Deadlock Prevention in Two-phase Locking based Protocols.	J. Inf. Process.	2023	DBLP DOI BibTeX RDF
13	Jie Li, Runfeng Chen, Chang Wang, Yiting Chen, Yuchong Huang, Xiangke Wang	A performance-impact based multi-task distributed scheduling algorithm with task removal inference and deadlock avoidance.	Auton. Agents Multi Agent Syst.	2023	DBLP DOI BibTeX RDF
13	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
13	Daniel Vicente Rodrigo, Jesús Enrique Sierra-García, Matilde Santos 0001	Glasius bio-inspired neural networks based UV-C disinfection path planning improved by preventive deadlock processing algorithm.	Adv. Eng. Softw.	2023	DBLP DOI BibTeX RDF
13	Kwanwoo Lee, Sang C. Park	Geometric Zone-Control Algorithm for Collision and Deadlock Avoidance in AGV System.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Mahmoud Salaheldin Elsayed, Khaled Kefi, Zhi-Wu Li 0001	An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Huailin Li, Qinsen Liu, Mengnan Liu, Bangyong Sun, Bin Du	Robust Deadlock Control for Reconfigurable Printing Manufacturing System Based on Process Algebra.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Ter-Chan Row, Yen-Liang Pan	Incomparable Single Controller for Solving Deadlock Problems of Flexible Manufacturing Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
13	Yuda Chen, Chenghan Wang, Meng Guo 0002, Zhongkui Li	Multi-Robot Trajectory Planning With Feasibility Guarantee and Deadlock Resolution: An Obstacle-Dense Environment.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
13	Emeka Emmanuel Ugwuanyi, Muddesar Iqbal, Tasos Dagiuklas	A Comparative Analysis of Deadlock Avoidance and Prevention Algorithms for Resource Provisioning in Intelligent Autonomous Transport Systems Over 6G Infrastructure.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
13	Yaxin Wei, Haijing Ning, Yisheng An, Naiqi Wu, Xiangmo Zhao	Design of Safety Petri Net Controllers for Deadlock Prevention at a Class of Road Intersections.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
13	Yu Huang, Tao Wang, Zihui Yin, Eric Mercer, Benjamin Ogles	Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression.	IEEE Trans. Parallel Distributed Syst.	2023	DBLP DOI BibTeX RDF
13	ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah	A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets.	IEEE Trans. Syst. Man Cybern. Syst.	2023	DBLP DOI BibTeX RDF
13	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
13	Ruochen Zheng, Siyu Li	Deadlock-Free Collision Avoidance for Nonholonomic Robots.	CoRR	2023	DBLP DOI BibTeX RDF
13	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
13	Philippos Papaphilippou	Efficient deadlock avoidance in 2D mesh NoCs that use OQ or VOQ routers.	CoRR	2023	DBLP DOI BibTeX RDF
13	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
13	Umang Mathur 0001, Andreas Pavlogiannis, Hünkar Can Tunç, Mahesh Viswanathan 0001	Sound Dynamic Deadlock Prediction in Linear Time.	CoRR	2023	DBLP DOI BibTeX RDF
13	Senthil Hariharan Arul, Jong Jin Park, Dinesh Manocha	DS-MPEPC: Safe and Deadlock-Avoiding Robot Navigation in Cluttered Dynamic Scenes.	CoRR	2023	DBLP DOI BibTeX RDF
13	Jin Yu, Xiaoming You, Sheng Liu 0007	Deadlock avoidance based on connectivity detection and dynamic backtracking for path planning.	Soft Comput.	2023	DBLP DOI BibTeX RDF
13	Zeyu Chen, Ankur Bindal, Vaidehi Garg, Tushar Krishna	SPOCK: Reverse Packet Traversal for Deadlock Recovery.	IEEE Des. Test	2023	DBLP DOI BibTeX RDF
13	Sho Yamamoto, Yuto Tobe, Yoshimasa Tawatsuji, Tsukasa Hirashima	In-process feedback by detecting deadlock based on EEG data in exercise of learning by problem- posing and its evaluation.	Res. Pract. Technol. Enhanc. Learn.	2023	DBLP DOI BibTeX RDF
13	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
13	Jaskaran Grover, Changliu Liu, Katia P. Sycara	The Before, During, and After of Multi-robot Deadlock.	Int. J. Robotics Res.	2023	DBLP DOI BibTeX RDF
13	Daiyu He, Bo Ouyang, Hongkai Fan, Chenjia Hu, Kailai Zhang, Zhi Yan 0002	Deadlock Avoidance in Closed Guide-Path Based MultiAGV Systems.	IEEE Trans Autom. Sci. Eng.	2023	DBLP DOI BibTeX RDF
13	Xing Fan, Hesuan Hu, Benyuan Yang, Yuming Liu, Gaoyun He	Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems.	IEEE Trans Autom. Sci. Eng.	2023	DBLP DOI BibTeX RDF
13	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
13	Zhenkun Yang, Chen Qian, Xuwang Teng, Fanyu Kong, Fusheng Han, Quanqing Xu	LCL: A Lock Chain Length-based Distributed Algorithm for Deadlock Detection and Resolution.	ICDE	2023	DBLP DOI BibTeX RDF
13	Zhiyuan Dong, Zhaoguo Wang, Chuanwei Yi, Xian Xu, Jinyuan Zhang, Jinyang Li 0001, Haibo Chen 0001	Database Deadlock Diagnosis for Large-Scale ORM-Based Web Applications.	ICDE	2023	DBLP DOI BibTeX RDF
13	Senthil Hariharan Arul, Jong Jin Park, Dinesh Manocha	DS-MPEPC: Safe and Deadlock-Avoiding Robot Navigation in Cluttered Dynamic Scenes.	IROS	2023	DBLP DOI BibTeX RDF
13	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
13	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
13	Shuang Liu, Martin Radetzki	Systematic Construction of Deadlock-Free Routing for NoC Using Integer Linear Programming.	MCSoC	2023	DBLP DOI BibTeX RDF
13	Hans Kasan, John Kim	VVQ: Virtualizing Virtual Channel for Cost-Efficient Protocol Deadlock Avoidance.	HPCA	2023	DBLP DOI BibTeX RDF
13	Felix Cammaerts, Monique Snoeck	Assessing the value of incomplete deadlock verification in Model-Driven Engineering.	ER (Companion)	2023	DBLP BibTeX RDF
13	Jorge Júlvez	On the Reachability Space and Deadlock-Freeness in Flexible Nets.	CDC	2023	DBLP DOI BibTeX RDF
13	Yaoyao Wang, Yisheng An	A FCCPN-based Movement Coordination Strategy for Deadlock Avoidance in Multi-AGV Systems.	CSAI	2023	DBLP DOI BibTeX RDF
13	Marcel Müller, Tobias Reggelin, Hartmut Zadek, Lorena S. Reyes-Rubiano	Multi-Agent Proximal Policy Optimization for a Deadlock Capable Transport System in a Simulation-Based Learning Environment.	WSC	2023	DBLP DOI BibTeX RDF
13	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
13	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
13	Yuuki Takano	Deadlock- and Starvation-free Formally Verified Client Library for Robots.	ICSRS	2023	DBLP DOI BibTeX RDF
13	Heejun Lee, Hyunki Han, Hyun-Sik Kim	A 4-to-42V Input, 95.5% Efficiency, 3.2μA-IQ, DC-DC Buck Converter Featuring a Leakage-Emulated Bootstrap Re-fresher and Anti-Deadlock Self-Bias Supply for Battery-Powered Automotive Uses.	CICC	2023	DBLP DOI BibTeX RDF
13	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
13	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
13	Yi Yang, Tiejun Li, Yi Dai, Bo Wang, Sheng Ma, Yanqiang Sun	Absorb: Deadlock Resolution for 2.5D Modular Chiplet Based Systems.	ICA3PP (1)	2023	DBLP DOI BibTeX RDF
13	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
13	Jules Jacobs, Stephanie Balzer, Robbert Krebbers	Multiparty GV: functional multiparty session types with certified deadlock freedom.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
13	Jules Jacobs, Stephanie Balzer, Robbert Krebbers	Connectivity graphs: a method for proving deadlock freedom based on separation logic.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
13	Surajit Das, Chandan Karfa	Arc Model and DDG: Deadlock Avoidance and Detection in Torus NoC.	IEEE Embed. Syst. Lett.	2022	DBLP DOI BibTeX RDF
13	Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Antonio Tancredi, Paolo Ventura	Easy Cases of Deadlock Detection in Train Scheduling.	Oper. Res.	2022	DBLP DOI BibTeX RDF
13	Marwan H. Hassan, Saad M. Darwish, Saleh M. El-Kaffas	An Efficient Deadlock Handling Model Based on Neutrosophic Logic: Case Study on Real Time Healthcare Database Systems.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	Nigora Gafur, Gajanan Kanagalingam, Achim Wagner, Martin Ruskowski	Dynamic Collision and Deadlock Avoidance for Multiple Robotic Manipulators.	IEEE Access	2022	DBLP DOI BibTeX RDF
13	Valentin Olenev, Alexandr Karandashev	Configuring Methods for Deadlock-Free Routing.	Int. J. Embed. Real Time Commun. Syst.	2022	DBLP DOI BibTeX RDF
13	Jianchao Luo, Mengchu Zhou, Jun-Qiang Wang	A Place-Timed Petri Net-Based Method to Avoid Deadlock and Conflict in Railway Networks.	IEEE Trans. Intell. Transp. Syst.	2022	DBLP DOI BibTeX RDF
13	Hanifa Boucheneb, Kamel Barkaoui, Qian Xing, Kuangze Wang, GaiYun Liu, ZhiWu Li 0001	Time based deadlock prevention for Petri nets.	Autom.	2022	DBLP DOI BibTeX RDF
13	Yang Wang 0006, Min Li, Hao Dai, Kenneth B. Kent, Kejiang Ye, Chengzhong Xu 0001	Deadlock Avoidance Algorithms for Recursion-Tree Modeled Requests in Parallel Executions.	IEEE Trans. Computers	2022	DBLP DOI BibTeX RDF
13	Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton dos Santos Souza	On knot-free vertex deletion: Fine-grained parameterized complexity analysis of a deadlock resolution graph problem.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
13	Yiming Ouyang, Muzi Zhang, Ruifeng Li, Qi Wang	Pitstop++: Enabling stable and fair deadlock freedom on fault-tolerant NoC.	Microprocess. Microsystems	2022	DBLP DOI BibTeX RDF
13	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
13	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
13	Ziliang Zhang, Gaiyun Liu, Kamel Barkaoui, Zhiwu Li 0001	Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
13	Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz	Distributed controller synthesis for deadlock avoidance.	CoRR	2022	DBLP DOI BibTeX RDF
13	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
13	Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara	Standby-Based Deadlock Avoidance Method for Multi-Agent Pickup and Delivery Tasks.	CoRR	2022	DBLP BibTeX RDF