Search results for "Deadlocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Benedetta Flammini, Davide Azzalini, Francesco Amigoni	Preventing Deadlocks for Multi-Agent Pickup and Delivery in Dynamic Environments.	AAMAS	2024	DBLP BibTeX RDF
20	Wei-Cheng Wang, Y.-W. Yeh, Rong-Shun Chen	A polynomial-time hybrid solver for multi-agent motion navigation against deadlocks.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
20	Frantisek Capkovic	Dealing with Deadlocks in Industrial Multi Agent Systems.	Future Internet	2023	DBLP DOI BibTeX RDF
20	Rendong Chen, Fa Wu	Dynamically Interrupting Deadlocks in Game Learning Using Multisampling Multiarmed Bandits.	IEEE Trans. Games	2023	DBLP DOI BibTeX RDF
20	Xinyu Chen, Zichao Xing, Ligen Feng, Tingqi Zhang, Weimin Wu, Ruifen Hu	An ETCEN-Based Motion Coordination Strategy Avoiding Active and Passive Deadlocks for Multi-AGV System.	IEEE Trans Autom. Sci. Eng.	2023	DBLP DOI BibTeX RDF
20	Lili Bo, Yanchi Yuan, Xiaobing Sun 0001, Hao Xie, Bin Li 0006	TemLock: A Lightweight Template-based Approach for Fixing Deadlocks Caused by ReentrantLock.	SANER	2023	DBLP DOI BibTeX RDF
20	Khalid Hamada, Rabah Ammour, Leonardo Brenner, Isabel Demongodin	Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks.	ICNSC	2023	DBLP DOI BibTeX RDF
20	Kaiwen Zhang 0010, Guanjun Liu	Automatically Transform Rust Source to Petri Nets for Checking Deadlocks.	CoRR	2022	DBLP DOI BibTeX RDF
20	Selvaraj Srinivasan	An incremental approach for detecting distributed deadlocks in the generalized model.	Computing	2022	DBLP DOI BibTeX RDF
20	Gabriel Juhás, Ana Juhásová, Tomás Kovácik	Deadlocks and Livelocks in Resource Constrained Workflow Nets.	ATAED@Petri Nets	2022	DBLP BibTeX RDF
20	Jia-Ju Bai, Tuo Li, Shi-Min Hu 0001	DLOS: Effective Static Detection of Deadlocks in OS Kernels.	USENIX Annual Technical Conference	2022	DBLP BibTeX RDF
20	Xinyu Crystal Wu, T. S. Eugene Ng	Detecting and Resolving PFC Deadlocks with ITSY Entirely in the Data Plane.	INFOCOM	2022	DBLP DOI BibTeX RDF
20	Raina Zakir, Marco Dorigo, Andreagiovanni Reina	Robot Swarms Break Decision Deadlocks in Collective Perception Through Cross-Inhibition.	ANTS Conference	2022	DBLP DOI BibTeX RDF
20	Dhriti Khanna, Rahul Purandare, Subodh Sharma 0001	Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks.	ICST	2021	DBLP DOI BibTeX RDF
20	Zhengyi Qiu, Shudi Shao, Qi Zhao 0003, Guoliang Jin	A Characteristic Study of Deadlocks in Database-Backed Web Applications.	ISSRE	2021	DBLP DOI BibTeX RDF
20	Caleb Voss 0001	Addressing Logical Deadlocks through Task-Parallel Language Design.		2021	RDF
20	Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Shang-Wei Lin 0001, Zuohua Ding	A distributed method to avoid higher-order deadlocks in multi-robot systems.	Autom.	2020	DBLP DOI BibTeX RDF
20	Damian Giebas, Rafal Wojszczyk	Rules in Detection of Deadlocks in Multithreaded Applications.	DCAI (Special Sessions)	2020	DBLP DOI BibTeX RDF
20	H. Akin Ünver	Internet, Social Media and Conflict Studies Can Greater Interdisciplinarity Solve the Analytical Deadlocks in Cybersecurity Research?	CoRR	2019	DBLP BibTeX RDF
20	Toshihiro Kujirai, Takayoshi Yokota	Breaking Deadlocks in Multi-agent Reinforcement Learning with Sparse Interaction.	PRICAI (1)	2019	DBLP DOI BibTeX RDF
20	Paul Cazenave, Manel Khlif-Bouassida, Armand Toguyéni	Collisions avoidance and deadlocks prevention, for dynamic routing of trains in a railway node.	CoDIT	2019	DBLP DOI BibTeX RDF
20	Ji Liu 0001, Shaoshuai Mou, A. Stephen Morse, Brian D. O. Anderson, Changbin Brad Yu	Request-based gossiping without deadlocks.	Autom.	2018	DBLP DOI BibTeX RDF
20	Tatiana R. Shmeleva	Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures.	Autom. Control. Comput. Sci.	2018	DBLP DOI BibTeX RDF
20	Eduard Kamburjan	Detecting Deadlocks in Formal System Models with Condition Synchronization.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2018	DBLP DOI BibTeX RDF
20	Chelsea A. Metcalf, Tuba Yavuz	Detecting potential deadlocks through change impact analysis.	Softw. Qual. J.	2018	DBLP DOI BibTeX RDF
20	Ruochen Tai, Jingchuan Wang, Wei Tian, Weidong Chen 0001, Hesheng Wang 0001, Yue Zhou	A Time-Efficient Approach to Solve Conflicts and Deadlocks for Scheduling AGVs in Warehousing Applications.	RCAR	2018	DBLP DOI BibTeX RDF
20	Shira Werman, Aviv Zohar	Avoiding Deadlocks in Payment Channel Networks.	DPM/CBT@ESORICS	2018	DBLP DOI BibTeX RDF
20	Yong Cui 0003, Ullrich Martin, Jiajian Liang	Searching feasible resources to reduce false-positive situations for resolving deadlocks with the Banker's algorithm in railway simulation.	J. Rail Transp. Plan. Manag.	2017	DBLP DOI BibTeX RDF
20	Yong Yang 0007, Wei Lu 0010, Weiwei Xing, Liqiang Wang, Xiaoping Che, Lei Chen 0047	Detecting and resolving deadlocks in mobile agent systems.	J. Vis. Lang. Comput.	2017	DBLP DOI BibTeX RDF
20	Vojtech Forejt, Saurabh Joshi 0001, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.	ACM Trans. Program. Lang. Syst.	2017	DBLP DOI BibTeX RDF
20	Lorenzo Maggi, Pierre-Louis Poirion, Jeremie Leguay	Reroute backward to better break deadlocks.	CloudNet	2017	DBLP DOI BibTeX RDF
20	Jinpeng Zhou, Sam Silvestro, Hongyu Liu 0005, Yan Cai 0001, Tongping Liu	UNDEAD: detecting and preventing deadlocks in production software.	ASE	2017	DBLP DOI BibTeX RDF
20	Thomas Lienert, Johannes Fottner	No More Deadlocks - Applying The Time Window Routing Method To Shuttle Systems.	ECMS	2017	DBLP DOI BibTeX RDF
20	Yan Cai 0001, Qiong Lu	Dynamic Testing for Deadlocks via Constraints.	IEEE Trans. Software Eng.	2016	DBLP DOI BibTeX RDF
20	Ji Liu 0001, Shaoshuai Mou, A. Stephen Morse, Brian D. O. Anderson, Changbin Yu	Request-Based Gossiping without Deadlocks.	CoRR	2016	DBLP BibTeX RDF
20	Shuihai Hu, Yibo Zhu, Peng Cheng 0005, Chuanxiong Guo, Kun Tan, Jitendra Padhye, Kai Chen 0005	Deadlocks in Datacenter Networks: Why Do They Form, and How to Avoid Them.	HotNets	2016	DBLP DOI BibTeX RDF
20	Alexander Shpiner, Eitan Zahavi, Vladimir Zdornov, Tal Anker, Matty Kadosh	Unlocking Credit Loop Deadlocks.	HotNets	2016	DBLP DOI BibTeX RDF
20	Yan Cai 0001, Zijiang Yang 0006	Radius aware probabilistic testing of deadlocks with guarantees.	ASE	2016	DBLP DOI BibTeX RDF
20	Yan Cai 0001, Lingwei Cao	Fixing deadlocks via lock pre-acquisitions.	ICSE	2016	DBLP DOI BibTeX RDF
20	Seyed Morteza Babamir, Elmira Hassanzade, Mona Azimpour	Predicting potential deadlocks in multithreaded programs.	Concurr. Comput. Pract. Exp.	2015	DBLP DOI BibTeX RDF
20	Yan Cai 0001, Changjiang Jia, Shangru Wu, Ke Zhai 0002, Wing Kwong Chan	ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs.	IEEE Trans. Parallel Distributed Syst.	2015	DBLP DOI BibTeX RDF
20	Ibrahim Al-Bahadly, Justin Moloney	Remote monitoring system for deadlocks.	ICST	2015	DBLP DOI BibTeX RDF
20	Rafael Lobo, Fernando Castor	Deadlocks as Runtime Exceptions.	SBLP	2015	DBLP DOI BibTeX RDF
20	Helidon Karcanaj, Edra Bumci, Igli Tafa, Julian Fejzaj	Deadlocks in Different Operating Systems.	ITNG	2015	DBLP DOI BibTeX RDF
20	Mehdi Foumani, Indra Gunawan, Kate Smith-Miles	Resolution of deadlocks in a robotic cell scheduling problem with post-process inspection system: Avoidance and recovery scenarios.	IEEM	2015	DBLP DOI BibTeX RDF
20	Christian Reuter 0003, Stefan Göbel 0001, Ralf Steinmetz	Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets.	FDG	2015	DBLP BibTeX RDF
20	Yan Cai 0001, W. K. Chan 0001	Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs.	IEEE Trans. Software Eng.	2014	DBLP DOI BibTeX RDF
20	Georgiana Caltais, Bertrand Meyer 0001	Coffman deadlocks in SCOOP.	CoRR	2014	DBLP BibTeX RDF
20	Katarzyna Sznajd-Weron, Karol Michal Suszczynski	Nonlinear q-voter model with deadlocks on the Watts-Strogatz graph.	CoRR	2014	DBLP BibTeX RDF
20	Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma 0001	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.	FM	2014	DBLP DOI BibTeX RDF
20	Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid	SRMP: a software pattern for deadlocks prevention inreal-time concurrency models.	QoSA	2014	DBLP DOI BibTeX RDF
20	Zhi Tao, Hui Li 0022, Bing Zhu 0003, Yunmin Wang	A Semi-centralized Algorithm to Detect and Resolve Distributed Deadlocks in the Generalized Model.	CSE	2014	DBLP DOI BibTeX RDF
20	Wei Song 0002, Guangda Zhang, Jim D. Garside	On-line detection of the deadlocks caused by permanently faulty links in quasi-delay insensitive networks on chip.	ACM Great Lakes Symposium on VLSI	2014	DBLP DOI BibTeX RDF
20	Yan Cai 0001, Shangru Wu, W. K. Chan 0001	ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.	ICSE	2014	DBLP DOI BibTeX RDF
20	Surabhi Pandey, Sushanth Bhat, Vivek K. Shanbhag	Avoiding deadlocks using stalemate and dimmunix.	ICSE Companion	2014	DBLP DOI BibTeX RDF
20	Michal Zarnay, Fernando Tricas García	Enhancing banker's algorithm for avoiding deadlocks in systems with non-sequential processes.	ETFA	2014	DBLP DOI BibTeX RDF
20	Vaithianathan Geetha, Niladhuri Sreenath	Preventing deadlocks and starvation in distributed object oriented systems.	Comput. Electr. Eng.	2013	DBLP DOI BibTeX RDF
20	Xiaohang Wang 0001, Peng Liu 0016, Mei Yang, Yingtao Jiang	Avoiding request-request type message-dependent deadlocks in networks-on-chips.	Parallel Comput.	2013	DBLP DOI BibTeX RDF
20	Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy	Testing Database-Centric Applications for Causes of Database Deadlocks.	ICST	2013	DBLP DOI BibTeX RDF
20	B. M. Mainul Hossain, Mark Grechanik, Ugo A. Buy, Haisheng Wang	REDACT: preventing database deadlocks from application-based transactions.	ESEC/SIGSOFT FSE	2013	DBLP DOI BibTeX RDF
20	Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy, Haisheng Wang	Preventing database deadlocks in applications.	ESEC/SIGSOFT FSE	2013	DBLP DOI BibTeX RDF
20	Ruisheng Wang, Lizhong Chen, Timothy Mark Pinkston	Bubble coloring: avoiding routing- and protocol-induced deadlocks with minimal virtual channel requirement.	ICS	2013	DBLP DOI BibTeX RDF
20	Yan Cai 0001, W. K. Chan 0001, Yuen-Tak Yu	Taming Deadlocks in Multithreaded Programs.	QSIC	2013	DBLP DOI BibTeX RDF
20	Yan Cai 0001, Ke Zhai 0002, Shangru Wu, Wing Kwong Chan	TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs.	PPoPP	2013	DBLP DOI BibTeX RDF
20	Mark Grechanik	The curse of database deadlocks: the problem with no good solution.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
20	Marwa Shousha, Lionel C. Briand, Yvan Labiche	A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.	IEEE Trans. Software Eng.	2012	DBLP DOI BibTeX RDF
20	K. S. Rashmi, V. Suma 0001, M. Vaidehi	Enhanced Load Balancing Approach to Avoid Deadlocks in Cloud	CoRR	2012	DBLP BibTeX RDF
20	Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Björnsson, Arni Hermann Reynisson	Guided Search for Deadlocks in Actor-Based Models.	FACS	2012	DBLP DOI BibTeX RDF
20	Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro	A Petri Net Based Analysis of Deadlocks for Active Objects and Futures.	FACS	2012	DBLP DOI BibTeX RDF
20	Matthieu Perin, Jean-Marc Faure	Coupling timed plant and controller models with urgent transitions without introducing deadlocks.	ETFA	2012	DBLP DOI BibTeX RDF
20	Roy H. Campbell	Deadlocks.	Encyclopedia of Parallel Computing	2011	DBLP DOI BibTeX RDF
20	Selvaraj Srinivasan, Ramasamy Rajaram	Message-Optimal Algorithm for Detection and Resolution of Generalized Deadlocks in Distributed Systems.	Informatica (Slovenia)	2011	DBLP BibTeX RDF
20	Hari K. Pyla	Composing locks by decomposing deadlocks.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
20	Ian Pye	Locks, deadlocks and abstractions: experiences with multi-threaded programming at CloudFlare, Inc.	SPLASH Workshops	2011	DBLP DOI BibTeX RDF
20	Wladimir Araujo, Lionel C. Briand, Yvan Labiche	On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.	ESEM	2011	DBLP DOI BibTeX RDF
20	Elena Giachino, Cosimo Laneve	Analysis of Deadlocks in Object Groups.	FMOODS/FORTE	2011	DBLP DOI BibTeX RDF
20	Freek Verbeek, Julien Schmaltz	Hunting deadlocks efficiently in microarchitectural models of communication fabrics.	FMCAD	2011	DBLP BibTeX RDF
20	Horatiu Jula	Deadlock Immunity - Enabling General-Purpose Software to Defend Itself against Deadlocks.		2011	DOI RDF
20	Nariman Mani, Vahid Garousi, Behrouz H. Far	Search-Based Testing of Multi-Agent Manufacturing Systems for Deadlocks Based on Models.	Int. J. Artif. Intell. Tools	2010	DBLP DOI BibTeX RDF
20	P. Yvars	A Constraint Based Decision Support System for Deadlocks Resolution in Collaborative New Product Design.	J. Decis. Syst.	2010	DBLP DOI BibTeX RDF
20	Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli	A method to remove deadlocks in Networks-on-Chips with Wormhole flow control.	DATE	2010	DBLP DOI BibTeX RDF
20	Jan-Philipp Steghöfer, Pratik Mandrekar, Florian Nafz, Hella Seebach, Wolfgang Reif	On Deadlocks and Fairness in Self-organizing Resource-Flow Systems.	ARCS	2010	DBLP DOI BibTeX RDF
20	Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay	An effective dynamic analysis for detecting generalized deadlocks.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
20	Richard Müller 0001	On the Notion of Deadlocks in Open Nets.	AWPN	2010	DBLP BibTeX RDF
20	Byung-Chul Kim, Yong-Kee Jun	Program Visualization for Debugging Deadlocks in Multithreaded Programs.	FGIT-ASEA	2010	DBLP DOI BibTeX RDF
20	Michele Portolan, Bradford G. Van Treuren, Suresh Goyal	Scan chain securization though Open-Circuit Deadlocks.	ITC	2010	DBLP DOI BibTeX RDF
20	Jong Hyuk Park, Hyoung Joong Kim, Chulung Lee	Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment.	J. Intell. Manuf.	2009	DBLP DOI BibTeX RDF
20	Xiaoyu Song, Limei Sun, Qiuhong Meng	Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP.	ICNC (7)	2008	DBLP DOI BibTeX RDF
20	Enrique Alba 0001, Francisco Chicano, Marco Ferreira, Juan Antonio Gómez Pulido	Finding deadlocks in large concurrent Java programs using genetic algorithms.	GECCO	2008	DBLP DOI BibTeX RDF	memory operator, genetic algorithm, model checking, graph search
20	Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea	Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.	OSDI	2008	DBLP BibTeX RDF
20	Gabriela Avram	Of Deadlocks and Peopleware - Collaborative Work Practices in Global Software Development.	ICGSE	2007	DBLP DOI BibTeX RDF
20	Martin Raußen	Deadlocks and dihomotopy in mutual exclusion models.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
20	Soojung Lee, Kil Hong Joo	Efficient detection and resolution of OR deadlocks in distributed systems.	J. Parallel Distributed Comput.	2005	DBLP DOI BibTeX RDF
20	Sara Gradara, Antonella Santone, Maria Luisa Villani	Using heuristic search for finding deadlocks in concurrent systems.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
20	Martin Raussen	Deadlocks and Dihomotopy in Mutual Exclusion Models.	Spatial Representation	2005	DBLP BibTeX RDF
20	Soojung Lee	Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
20	Xinli Wang, Jean Mayo	A Distributed Algorithm for Detecting Deadlocks under the OR Model and the Resolution Based on Hardware Clocks.	PDCS	2004	DBLP BibTeX RDF
20	Michael Kersten, Wolfgang Nebel	On Detecting Deadlocks in Large UML Models.	DIPES	2004	DBLP DOI BibTeX RDF
20	Fragkiskos Pentaris, Yannis E. Ioannidis	Self-Deadlocks in Disparate Scientific Data Management Systems.	SSDBM	2004	DBLP DOI BibTeX RDF
20	Bassel R. Arafeh	A task duplication scheme for resolving deadlocks in clustered DAGs.	Parallel Comput.	2003	DBLP DOI BibTeX RDF