Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link
13	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
13	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
13	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
13	Victor R. L. Shen, Cheng-Ying Yang, Rong-Kuan Shen, Yu-Chia Chen	Application of Petri nets to deadlock avoidance in iPad-like manufacturing systems.	J. Intell. Manuf.	2018	DBLP DOI BibTeX RDF
13	LiBin Han, Keyi Xing, Xiao Chen, Fuli Xiong	A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems.	J. Intell. Manuf.	2018	DBLP DOI BibTeX RDF
13	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
13	Luca Padovani	Deadlock-Free Typestate-Oriented Programming.	Art Sci. Eng. Program.	2018	DBLP DOI BibTeX RDF
13	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
13	Ornela Dardha, Jorge A. Pérez 0001	Comparing Type Systems for Deadlock-Freedom.	CoRR	2018	DBLP BibTeX RDF
13	Luca Padovani	Deadlock-Free Typestate-Oriented Programming.	CoRR	2018	DBLP BibTeX RDF
13	Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel	Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion.	CoRR	2018	DBLP BibTeX RDF
13	Marius Bozga, Radu Iosif, Joseph Sifakis	Checking Deadlock-Freedom of Parametric Component-Based Systems.	CoRR	2018	DBLP BibTeX RDF
13	Geraint I. Palmer, Paul R. Harper, Vincent A. Knight	Modelling deadlock in open restricted queueing networks.	Eur. J. Oper. Res.	2018	DBLP DOI BibTeX RDF
13	Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber 0001, Joseph Sifakis, Fadi A. Zaraket	Global and Local Deadlock Freedom in BIP.	ACM Trans. Softw. Eng. Methodol.	2018	DBLP DOI BibTeX RDF
13	William Sims Bainbridge	Deadlock.	Commun. ACM	2018	DBLP DOI BibTeX RDF
13	Wei Lu 0010, Yong Yang 0007, Liqiang Wang, Weiwei Xing, Xiaoping Che, Lei Chen 0047	A fault tolerant election-based deadlock detection algorithm in distributed systems.	Softw. Qual. J.	2018	DBLP DOI BibTeX RDF
13	Ilwoo Hwang	A theory of bargaining deadlock.	Games Econ. Behav.	2018	DBLP DOI BibTeX RDF
13	Tatsushi Nishi, Yushin Watanabe, Masaru Sakai	An Efficient Deadlock Prevention Policy for Noncyclic Scheduling of Multicluster Tools.	IEEE Trans Autom. Sci. Eng.	2018	DBLP DOI BibTeX RDF
13	Mayank Parasar, Ankit Sinha, Tushar Krishna	Brownian Bubble Router: Enabling Deadlock Freedom via Guaranteed Forward Progress.	NOCS	2018	DBLP DOI BibTeX RDF
13	Wiktor B. Daszczuk	Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS).	FedCSIS	2018	DBLP DOI BibTeX RDF
13	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
13	Cosimo Laneve	A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks.	FM	2018	DBLP DOI BibTeX RDF
13	Keyvan Azadbakht, Frank S. de Boer, Erik P. de Vink	Deadlock Detection for Actor-Based Coroutines.	FM	2018	DBLP DOI BibTeX RDF
13	Waqar Haque, Adam Vezina, Matthew Fontaine	Topological Response to Deadlock Detection and Resolution in Real-Time Database Systems.	iThings/GreenCom/CPSCom/SmartData	2018	DBLP DOI BibTeX RDF
13	Sankui Sun, Chonglin Gu, Qian Wan 0002, Hejiao Huang, Xiaohua Jia	CROTPN Based Collision-Free and Deadlock-Free Path Planning of AGVs in Logistic Center.	ICARCV	2018	DBLP DOI BibTeX RDF
13	Ornela Dardha, Simon J. Gay	A New Linear Logic for Deadlock-Free Session-Typed Processes.	FoSSaCS	2018	DBLP DOI BibTeX RDF
13	Jafar Hamin, Bart Jacobs 0002	Deadlock-Free Monitors.	ESOP	2018	DBLP DOI BibTeX RDF
13	Aida Lahouij, Lazhar Hamel, Mohamed Graiet	Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.	OTM Conferences (1)	2018	DBLP DOI BibTeX RDF
13	Michael Ibrahim 0001, Spyros A. Reveliotis	Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems.	CDC	2018	DBLP DOI BibTeX RDF
13	Eman Aldakheel, Ugo A. Buy, Simran Kaur 0005	DDS: Deadlock Detector and Solver.	ISSRE Workshops	2018	DBLP DOI BibTeX RDF
13	Lev Kurbanov, Ksenia Rozhdestvenskaya, Elena Suvorova	Deadlock-Free Routing in SpaceWire Onboard Network.	FRUCT	2018	DBLP DOI BibTeX RDF
13	Youngho Choi, Jaeook Kwon, Seokjae Jeong, Hansub Park, Young Ik Eom	Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress.	EMSOFT	2018	DBLP DOI BibTeX RDF
13	Jose Antonio Pascual, Javier Navaridas	High-Performance, Low-Complexity Deadlock Avoidance for Arbitrary Topologies/Routings.	ICS	2018	DBLP DOI BibTeX RDF
13	Yuya Minami, Nobuhiro Kajikawa, Ryohei Saka, Yuma Nakao, Eitaro Kohno, Yoshiaki Kakuda	Arbitration-Based Deadlock Mitigation Mechanism for Fast Connection Establishment in Autonomous Self-Organized Bluetooth MANETs.	SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI	2018	DBLP DOI BibTeX RDF
13	Craig C. Douglas, Krishanthan Krishnamoorthy	Static Analysis and Symbolic Execution for Deadlock Detection in MPI Programs.	ICCS (2)	2018	DBLP DOI BibTeX RDF
13	André B. Bondi	Predicting the Time to Migrate Into Deadlock Using a Discrete Time Markov Chain.	ICPE Companion	2018	DBLP DOI BibTeX RDF
13	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
13	Yanjun Lu, ChunRong Pan, Yan Qiao, Naiqi Wu, Yufeng Chen 0001	Petri net-based deadlock avoidance for single-arm cluster tools with concurrently processing two-type wafers.	ICNSC	2018	DBLP DOI BibTeX RDF
13	Eman Aldakheel	Deadlock detector and solver (DDS).	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
13	Ionut Tamas, Ioan Salomie, Marcel Antal	Atomic invariants verification and deadlock detection at compile-time.	ICCP	2018	DBLP DOI BibTeX RDF
13	Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton S. Souza	Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion - A Deadlock Resolution Graph Problem.	COCOON	2018	DBLP DOI BibTeX RDF
13	Aniruddh Ramrakhyani, Paul V. Gratz, Tushar Krishna	Synchronized Progress in Interconnection Networks (SPIN): A New Theory for Deadlock Freedom.	ISCA	2018	DBLP DOI BibTeX RDF
13	Jyotiranjan Swain, Sumanta Pyne	Deadlock Detection in Digital Microfluidics Biochip Droplet Routing.	VDAT	2018	DBLP DOI BibTeX RDF
13	Mandy Weißbach, Wolf Zimmermann	On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.	ESOCC Workshops	2018	DBLP DOI BibTeX RDF
13	Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman	Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
13	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
13	Jianchao Luo, Keyi Xing, MengChu Zhou, Xiao Ling Li 0001, Xinnian Wang	Scheduling of deadlock and failure-prone automated manufacturing systems via hybrid heuristic search.	Int. J. Prod. Res.	2017	DBLP DOI BibTeX RDF
13	Jinwei Guo, Yamiao Cui, Che Liu	Deadlock Control Based on Capacity Restrictions for FMS.	IMA J. Math. Control. Inf.	2017	DBLP DOI BibTeX RDF
13	Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Alfaro-Cortes, Francisco José Quiles Flor	Providing differentiated services, congestion management, and deadlock freedom in dragonfly networks with adaptive routing.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
13	Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Alfaro-Cortes, Francisco J. Quiles 0001	Providing differentiated services, congestion management, and deadlock freedom in dragonfly networks with adaptive routing.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
13	Yufeng Chen 0001, ZhiWu Li 0001, Abdulrahman Al-Ahmari, Naiqi Wu, Ting Qu	Deadlock recovery for flexible manufacturing systems modeled with Petri nets.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
13	Miao Liu, ShouGuang Wang, MengChu Zhou, Ding Liu, Abdulrahman Al-Ahmari, Ting Qu, Naiqi Wu, ZhiWu Li 0001	Deadlock and liveness characterization for a class of generalized Petri nets.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
13	Mi Zhao, Murat Uzam	A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems.	Inf. Sci.	2017	DBLP DOI BibTeX RDF
13	Guangda Zhang, Wei Song 0002, Jim D. Garside, Javier Navaridas, Zhiying Wang 0003	Handling Physical-Layer Deadlock Caused by Permanent Faults in Quasi-Delay-Insensitive Networks-on-Chip.	IEEE Trans. Very Large Scale Integr. Syst.	2017	DBLP DOI BibTeX RDF
13	Ryuta Kawano, Hiroshi Nakahara, Seiichi Tade, Ikki Fujiwara, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano	A Novel Channel Assignment Method to Ensure Deadlock-Freedom for Deterministic Routing.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
13	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
13	Mohammad Hadi Zibaeenejad, John G. Thistle	Deadlock Analysis of Parameterized-Chain Networks.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
13	Wei Liu 0051, Lu Wang, Yuyue Du, Maozhen Li 0001	Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure.	Int. J. Parallel Program.	2017	DBLP DOI BibTeX RDF
13	Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh	Deadlock Verification of Cache Coherence Protocols and Communication Fabrics.	IEEE Trans. Computers	2017	DBLP DOI BibTeX RDF
13	Yuan Zhou 0005, Hesuan Hu, Yang Liu 0003, Zuohua Ding	Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach.	IEEE Trans. Syst. Man Cybern. Syst.	2017	DBLP DOI BibTeX RDF
13	Abel Garcia, Cosimo Laneve	Deadlock detection of Java Bytecode.	CoRR	2017	DBLP BibTeX RDF
13	Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel	On the Generation of Initial Contexts for Effective Deadlock Detection.	CoRR	2017	DBLP BibTeX RDF
13	Wiktor B. Daszczuk	Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2.	CoRR	2017	DBLP BibTeX RDF
13	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
13	Einollah Pira, Vahid Rafe, Amin Nikanjam	Deadlock detection in complex software systems specified through graph transformation using Bayesian optimization algorithm.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
13	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
13	Cheng Chen, Zheng Zheng 0001, Haoqin Wang, Yu Qiao	基于测试充分性准则的非死锁并发缺陷定位方法 (Non-deadlock Concurrency Fault Localization Approach Based on Adequate Test Criteria).	计算机科学	2017	DBLP DOI BibTeX RDF
13	Spyros A. Reveliotis, Zhennan Fei	Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages.	IEEE Trans Autom. Sci. Eng.	2017	DBLP DOI BibTeX RDF
13	Naoki Kobayashi 0001, Cosimo Laneve	Deadlock analysis of unbounded process networks.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
13	Wiktor B. Daszczuk	Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.	Comput. J.	2017	DBLP DOI BibTeX RDF
13	Frank S. de Boer, Stijn de Gouw	Run-Time Deadlock Detection.	Provably Correct Systems	2017	DBLP DOI BibTeX RDF
13	Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul	Deadlock-Freeness Verification of Business Process Configuration Using SOG.	ICSOC	2017	DBLP DOI BibTeX RDF
13	Vahid Janfaza, Elaheh Baharlouei	A new fault-tolerant deadlock-free fully adaptive routing in NOC.	EWDTS	2017	DBLP DOI BibTeX RDF
13	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
13	Aniruddh Ramrakhyani, Tushar Krishna	Static Bubble: A Framework for Deadlock-Free Irregular On-chip Topologies.	HPCA	2017	DBLP DOI BibTeX RDF
13	Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Torsten Hoefler	An Effective Queuing Scheme to Provide Slim Fly Topologies with HoL Blocking Reduction and Deadlock Freedom for Minimal-Path Routing.	HiPINEB@HPCA	2017	DBLP DOI BibTeX RDF
13	Wiktor B. Daszczuk, Wlodek M. Zuberek	Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.	DepCoS-RELCOMEX	2017	DBLP DOI BibTeX RDF
13	Waqar Haque, Matthew Fontaine, Adam Vezina	Adaptive Deadlock Detection and Resolution in Real-Time Distributed Environments.	HPCC/SmartCity/DSS	2017	DBLP DOI BibTeX RDF
13	Luis F. Mejia-Ricart, Aspen Olmsted	Avoiding unnecessary deaths: Drag-Back, a deadlock avoidance model.	ICITST	2017	DBLP DOI BibTeX RDF
13	Peter Trautman	Breaking the Human-Robot Deadlock: Surpassing Shared Control Performance Limits with Sparse Human-Robot Interaction.	Robotics: Science and Systems	2017	DBLP BibTeX RDF
13	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
13	Shuihai Hu, Yibo Zhu, Peng Cheng 0005, Chuanxiong Guo, Kun Tan, Jitendra Padhye, Kai Chen 0005	Tagger: Practical PFC Deadlock Prevention in Data Center Networks.	CoNEXT	2017	DBLP DOI BibTeX RDF
13	Anirudh Santhiar, Aditya Kanade	Static deadlock detection for asynchronous C# programs.	PLDI	2017	DBLP DOI BibTeX RDF
13	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
13	Yin Chen 0003, Xinjun Mao, Fu Hou	Deadlock Prevention in Rendezvous Generation for On-demand Inter-robot Resource Delivery.	ICAART (2)	2017	DBLP DOI BibTeX RDF
13	Abderrahim Ait Wakrime	Deadlock-freedom of scientific applications using strict colored FIFO nets.	CoDIT	2017	DBLP DOI BibTeX RDF
13	Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato	Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking.	DASC/PiCom/DataCom/CyberSciTech	2017	DBLP DOI BibTeX RDF
13	Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton S. Souza	Deletion Graph Problems Based on Deadlock Resolution.	COCOON	2017	DBLP DOI BibTeX RDF
13	Mowafak H. Abdul-Hussin, Zbigniew Antoni Banaszak	Siphon-based deadlock prevention for a class of S4PR generalized Petri nets.	ICCAIS	2017	DBLP DOI BibTeX RDF
13	Cosimo Laneve, Abel Garcia	Deadlock Detection of Java Bytecode.	LOPSTR	2017	DBLP DOI BibTeX RDF
13	Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel	Generation of Initial Contexts for Effective Deadlock Detection.	LOPSTR	2017	DBLP DOI BibTeX RDF
13	Masoumeh Ebrahimi, Masoud Daneshtalab	EbDa: A New Theory on Design and Verification of Deadlock-free Interconnection Networks.	ISCA	2017	DBLP BibTeX RDF
13	Mandy Weißbach, Wolf Zimmermann	On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.	ESOCC	2017	DBLP DOI BibTeX RDF
13	Vinícius Ferreira de Oliveira, Stéphane Julia, Lígia Maria Soares Passos, Kênia Santos de Oliveira	A Linear Logic based Synchronization Rule for Deadlock Prevention in Web Service Composition.	ICEIS (2)	2017	DBLP DOI BibTeX RDF
13	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
13	Rosa Yousefian, Shahryar Aboutorabi, Vahid Rafe	A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems.	J. Intell. Fuzzy Syst.	2016	DBLP DOI BibTeX RDF
13	Ka I Pun, Martin Steffen, Volker Stolz	Effect-polymorphic behaviour inference for deadlock checking.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
13	Christian Engelmann, Thomas J. Naughton	A new deadlock resolution protocol and message matching algorithm for the extreme-scale simulator.	Concurr. Comput. Pract. Exp.	2016	DBLP DOI BibTeX RDF
13	Elena Giachino, Cosimo Laneve, Michael Lienhardt	A framework for deadlock detection in core ABS.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
13	Yunchao Wu, Keyi Xing, Jianchao Luo, Yanxiang Feng	Robust deadlock control for automated manufacturing systems with an unreliable resource.	Inf. Sci.	2016	DBLP DOI BibTeX RDF