Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Oussama Noui, Lemnouar Noui	A Robust Watermarking Scheme for Ownership Protection and Deadlock Prevention.	IPAC	2015	DBLP DOI BibTeX RDF
13	ShouGuang Wang, Carla Seatzu, Lingyun Huang	A three-stage deadlock prevention strategy for S3PR nets.	CASE	2015	DBLP DOI BibTeX RDF
13	Daniel Yuh Chao, Tsung Hsien Yu	MLR: A new concept to launch a partial deadlock avoidance policy for k-th order system of Petri Nets.	IECON	2015	DBLP DOI BibTeX RDF
13	Ernesto Villegas Castillo, Gabriele Miorandi, Davide Bertozzi, Jiang Chau Wang	DyAFNoC: Dynamically Reconfigurable NoC Characterization Using a Simple Adaptive Deadlock-Free Routing Algorithm with a Low Implementation Cost.	ARC	2015	DBLP DOI BibTeX RDF
13	Hefeng Chen, Naiqi Wu, Mengchu Zhou	Resource-Oriented Petri Net-Based Approach to Deadlock Prevention of AMSs.	SMC	2015	DBLP DOI BibTeX RDF
13	Chun-Hong Shih, Yi-Hsiang Lai, Jie-Hong Roland Jiang	SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis.	ICCAD	2015	DBLP DOI BibTeX RDF
13	Poona Bahrebar, Dirk Stroobandt	Hamiltonian Path Strategy for Deadlock-Free and Adaptive Routing in Diametrical 2D Mesh NoCs.	CCGRID	2015	DBLP DOI BibTeX RDF
13	Johan Grande, Gérard Boudol, Manuel Serrano	Jthread, a deadlock-free mutex library.	PPDP	2015	DBLP DOI BibTeX RDF
13	Wei Lu 0010, Yong Yang 0007, Liqiang Wang, Weiwei Xing, Xiaoping Che	A Novel Concurrent Generalized Deadlock Detection Algorithm in Distributed Systems.	ICA3PP (2)	2015	DBLP DOI BibTeX RDF
13	Zhigang Yu, Xinyu Wang 0015, Kele Shen, Haikuo Liu	A General Methodology to Design Deadlock-Free Routing Algorithms for Mesh Networks.	ICA3PP (1)	2015	DBLP DOI BibTeX RDF
13	Edwin Hsing-Mean Sha, Weiwen Jiang, Qingfeng Zhuge, Xianzhang Chen, Lei Yang 0018	Prevent Deadlock and Remove Blocking for Self-Timed Systems.	ICA3PP (1)	2015	DBLP DOI BibTeX RDF
13	Yunkai Du, Naijie Gu	Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection.	CANDAR	2015	DBLP DOI BibTeX RDF
13	Luca Padovani, Tzu-Chun Chen, Andrea Tosatto	Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.	COORDINATION	2015	DBLP DOI BibTeX RDF
13	Huixia Liu, Weimin Wu	Deadlock control policy for a class of automated manufacturing systems with key resources.	ICNSC	2015	DBLP DOI BibTeX RDF
13	Luca Padovani, Luca Novara	Types for Deadlock-Free Higher-Order Programs.	FORTE	2015	DBLP DOI BibTeX RDF
13	Bernd Glatz, Roman Beneder, Martin Horauer, Thomas Rauscher	Deadlock detection runtime service for Embedded Linux.	ETFA	2015	DBLP DOI BibTeX RDF
13	Peng Li, Jonathan C. Beard, Jeremy Buhler	Deadlock-free buffer configuration for stream computing.	PMAM@PPoPP	2015	DBLP DOI BibTeX RDF
13	Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida	Dynamic deadlock verification for general barrier synchronisation.	PPoPP	2015	DBLP DOI BibTeX RDF
13	Leiliane Pereira de Rezende, Stéphane Julia	Deadlock Avoidance in Interorganizational Business Processes using a Possibilistic WorkFlow Net.	ICEIS (1)	2015	DBLP DOI BibTeX RDF
13	Leiliane Pereira de Rezende, Stéphane Julia	Possibilistic WorkFlow Net for Deadlock Avoidance in Interorganizational Business Processes.	ICEIS (Revised Selected Papers)	2015	DBLP DOI BibTeX RDF
13	Andreas Lankes	A Selective Packet Discard Technique for Efficient Deadlock Recovery in Networks-on-Chip.		2015	RDF
13	Ding Liu	On Intrinsically Live Structure and Deadlock Control of Generalized Petri Nets Modeling Flexible Manufacturing Systems. (Sur le contrôle de blocage dans les systèmes flexibles de production à base de réseaux de Petri généralisés).		2015	RDF
13	Mohammad Reza Shoaei	Incremental and Hierarchical Deadlock-Free Control of Discrete Event Systems with Variables: A Symbolic and Inductive Approach.		2015	RDF
13	Guido Marcelo Sanchez, Leonardo Luis Giovanini	Autonomous navigation with deadlock detection and avoidance.	Inteligencia Artif.	2014	DBLP BibTeX RDF
13	JongBeom Lim, Taeweon Suh, Heon-Chang Yu	Unstructured deadlock detection technique with scalability and complexity-efficiency in clouds.	Int. J. Commun. Syst.	2014	DBLP DOI BibTeX RDF
13	Ka I Pun, Martin Steffen, Volker Stolz	Deadlock checking by data race detection.	J. Log. Algebraic Methods Program.	2014	DBLP DOI BibTeX RDF
13	Chin-Yao Chang, Kuen-Jong Lee	On Deadlock Problem of On-Chip Buses Supporting Out-of-Order Transactions.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
13	Nadav Sofy, David Sarne	Effective deadlock resolution with self-interested partially-rational agents.	Ann. Math. Artif. Intell.	2014	DBLP DOI BibTeX RDF
13	Jianlong Xu, Zibin Zheng, Michael R. Lyu	CGA-based deadlock solving strategies towards vehicle sensing systems.	EURASIP J. Wirel. Commun. Netw.	2014	DBLP DOI BibTeX RDF
13	Yifan Hou, ZhiWu Li 0001, Mi Zhao, Ding Liu	Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets.	Int. J. Comput. Integr. Manuf.	2014	DBLP DOI BibTeX RDF
13	Freek Verbeek, Julien Schmaltz	A Decision Procedure for Deadlock-Free Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
13	Ben Akram Ahmed, Abderazek Ben Abdallah	Graceful deadlock-free fault-tolerant routing algorithm for 3D Network-on-Chip architectures.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
13	Murat Uzam, Gökhan Gelen	Comments on "Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems".	IEEE Trans. Syst. Man Cybern. Syst.	2014	DBLP DOI BibTeX RDF
13	Zuohua Ding, MengChu Zhou, ShouGuang Wang	Ordinary Differential Equation-Based Deadlock Detection.	IEEE Trans. Syst. Man Cybern. Syst.	2014	DBLP DOI BibTeX RDF
13	Yufeng Chen 0001, ZhiWu Li 0001, Abdulrahman Al-Ahmari	Corrections to "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems".	IEEE Trans. Syst. Man Cybern. Syst.	2014	DBLP DOI BibTeX RDF
13	Kanagasabapathi Somasundaram, Juha Plosila, Nallasamy Viswanathan	Deadlock free routing algorithm for minimizing congestion in a Hamiltonian connected recursive 3D-NoCs.	Microelectron. J.	2014	DBLP DOI BibTeX RDF
13	Divjyot Sethi, Muralidhar Talupur, Sharad Malik	Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.	CoRR	2014	DBLP BibTeX RDF
13	Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro	Deadlock Freedom by Construction for Distributed Adaptive Applications.	CoRR	2014	DBLP BibTeX RDF
13	Mohiadeen Abdul Kadhar	A deadlock-free dynamic reconfiguration protocol for distributed routing on interconnection networks.	Int. Arab J. Inf. Technol.	2014	DBLP BibTeX RDF
13	Libertad Caicedo Acosta, Camilo Andrés Ospina Acosta, Nancy Yaneth Gelvez García, Oswaldo Alberto Romero Villalobos	Design of a Mutual Exclusion and Deadlock Algorithm in PCBSD - FreeBSD.	Int. J. Interact. Multim. Artif. Intell.	2014	DBLP DOI BibTeX RDF
13	Hang Lei, Keyi Xing, LiBin Han, Fuli Xiong, Zhaoqiang Ge 0001	Deadlock-free scheduling for flexible manufacturing systems using Petri nets and heuristic search.	Comput. Ind. Eng.	2014	DBLP DOI BibTeX RDF
13	Mark G. Karpovsky, Lev B. Levitin, Mehmet Mustafa	Optimal Turn Prohibition for Deadlock Prevention in Networks With Regular Topologies.	IEEE Trans. Control. Netw. Syst.	2014	DBLP DOI BibTeX RDF
13	Fabiano de S. Oliveira, Valmir Carneiro Barbosa	Revisiting deadlock prevention: A probabilistic approach.	Networks	2014	DBLP DOI BibTeX RDF
13	Bertrand Meyer 0001	An Automatic Technique for Static Deadlock Prevention.	Ershov Memorial Conference	2014	DBLP DOI BibTeX RDF
13	Ernesto Villegas Castillo, Gabriele Miorandi, Jiang Chau Wang	DyAFNoC: Characterization and analysis of a dynamically reconfigurable NoC using a DOR-based deadlock-free routing algorithm.	NOCS	2014	DBLP DOI BibTeX RDF
13	Ha Huy Cuong Nguyen, Van Son Le, Thanh Thuy Nguyen	Algorithmic approach to deadlock detection for resource allocation in heterogeneous platforms.	SMARTCOMP	2014	DBLP DOI BibTeX RDF
13	Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram	A multi-core version of FreeRTOS verified for datarace and deadlock freedom.	MEMOCODE	2014	DBLP DOI BibTeX RDF
13	M. B. Hadim	The Multi-level Communication: Minimal Deadlock-Free and Storage Efficient Routing for Torus Networks.	PDP	2014	DBLP DOI BibTeX RDF
13	JongSeung Park, Toshitake Nunogaki, Joo-Ho Lee 0001	The deadlock free path generation algorithm for multi-MoMo in R+iSpace.	AIM	2014	DBLP DOI BibTeX RDF
13	Helio Waldman, Raul C. Almeida, Rodrigo C. Bortoletto, Karcius Day Rosario Assis	Deadlock avoidance under incremental traffic in the elastic single link.	ICTON	2014	DBLP DOI BibTeX RDF
13	Malavika Samak, Murali Krishna Ramanathan	Omen: a tool for synthesizing tests for deadlock detection.	SPLASH (Companion Volume)	2014	DBLP DOI BibTeX RDF
13	Malavika Samak, Murali Krishna Ramanathan	Multithreaded test synthesis for deadlock detection.	OOPSLA	2014	DBLP DOI BibTeX RDF
13	Olaf Owe, Ingrid Chieh Yu	Deadlock detection of active objects with synchronous and asynchronous method calls.	NIK	2014	DBLP BibTeX RDF
13	Christian Hammer 0001	Detecting Deadlock in Programs with Data-Centric Synchronization.	Software Engineering	2014	DBLP BibTeX RDF
13	Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock 0001	A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.	FM	2014	DBLP DOI BibTeX RDF
13	Divjyot Sethi, Muralidhar Talupur, Sharad Malik	Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom.	ATVA	2014	DBLP DOI BibTeX RDF
13	Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis	Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.	CDC	2014	DBLP DOI BibTeX RDF
13	Piotr Dziurzanski, Tomasz Maka	Network on chips link bandwidth minimization of deadlock-free multi-path routing.	IWSSIP	2014	DBLP BibTeX RDF
13	Raymond R. Devillers, Jean-Yves Didier, Hanna Klaudel, Johan Arcile	Deadlock and Temporal Properties Analysis in Mixed Reality Applications.	ISSRE	2014	DBLP DOI BibTeX RDF
13	Ahmad Yasser Afaghani, Yasumichi Aiyama	Advanced-collision-map-based on-line collision and deadlock avoidance between two robot manipulators with PTP commands.	CASE	2014	DBLP DOI BibTeX RDF
13	Malavika Samak, Murali Krishna Ramanathan	Omen+: a precise dynamic deadlock detector for multithreaded Java libraries.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
13	Mahdi Eslamimehr, Jens Palsberg	Sherlock: scalable deadlock detection for concurrent programs.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
13	Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari 0001	Deadlock Avoidance in Train Scheduling: A Model Checking Approach.	FMICS	2014	DBLP DOI BibTeX RDF
13	Elena Giachino, Cosimo Laneve	Deadlock Detection in Linear Recursive Programs.	SFM	2014	DBLP DOI BibTeX RDF
13	Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson	A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.	WODES	2014	DBLP DOI BibTeX RDF
13	Mohammad Hadi Zibaeenejad, John G. Thistle	Deadlock Analysis of Generalized Parameterized Discrete Event Systems.	WODES	2014	DBLP DOI BibTeX RDF
13	Yushin Watanabe, Tatsushi Nishi	A new deadlock prevention policy for multi-cluster tools with dual path.	SMC	2014	DBLP DOI BibTeX RDF
13	Boguslaw Schreyer, Krzysztof Kosinski	Finite Automata In Software Modeling With Semaphores And Deadlock Potential.	WCCCE	2014	DBLP DOI BibTeX RDF
13	Yiyan Lin, Sandeep S. Kulkarni	Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability.	ISSTA	2014	DBLP DOI BibTeX RDF
13	Lígia Maria Soares Passos, Stéphane Julia	Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes.	ICTAI	2014	DBLP DOI BibTeX RDF
13	Simone Casale Brunet, Endri Bezati, Marco Mattavelli, Massimo Canale, Jörn W. Janneck	Execution trace graph analysis of dataflow programs: Bounded buffer scheduling and deadlock recovery using model predictive control.	DASIP	2014	DBLP DOI BibTeX RDF
13	Elena Giachino, Naoki Kobayashi 0001, Cosimo Laneve	Deadlock Analysis of Unbounded Process Networks.	CONCUR	2014	DBLP DOI BibTeX RDF
13	Florent Perronnet, Abdeljalil Abbas-Turki, Abdellah El Moudni	Vehicle routing through deadlock-free policy for cooperative traffic control in a network of intersections: Reservation and congestion.	ITSC	2014	DBLP DOI BibTeX RDF
13	Pedro R. G. Antonino, Marcel Vinícius Medeiros Oliveira, Augusto Sampaio, Klaus E. Kristensen, Jeremy W. Bryans	Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
13	Franco Mazzanti, Giorgio Oronzo Spagnolo, Alessio Ferrari 0001	Designing a Deadlock-Free Train Scheduler: A Model Checking Approach.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
13	Davide Patti, Andrea Mineo, Salvatore Monteleone, Vincenzo Catania	Topology Discovery in Deadlock Free Self-assembled DNA Networks.	CSOC	2014	DBLP DOI BibTeX RDF
13	Daniel Yuh Chao, Tsung Hsien Yu, Chia Chang Liou	Enumeration of reachable, forbidden, live, and deadlock states of bottom k-th order system (with a left side non-sharing resource place) of Petri nets.	ICNSC	2014	DBLP DOI BibTeX RDF
13	Huixia Liu, Weimin Wu	An efficient deadlock prevention policy based on selective transition covers for flexible manufacturing systems.	ICNSC	2014	DBLP DOI BibTeX RDF
13	Xu Wang 0019, Cristian Mahulea, Manuel Silva Suárez	Deadlock prevention policy for S3PR - Application to robot planning.	ETFA	2014	DBLP DOI BibTeX RDF
13	Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas	The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach.	ETFA	2014	DBLP DOI BibTeX RDF
13	Luca Padovani	Deadlock and lock freedom in the linear π-calculus.	CSL-LICS	2014	DBLP DOI BibTeX RDF
13	Francisco J. Andújar, Juan A. Villar, Francisco J. Alfaro, José L. Sánchez 0002, José Duato	Deadlock-free routing mechanism for 3D twin torus networks.	INA-OCMC@HiPEAC	2014	DBLP DOI BibTeX RDF
13	Malavika Samak, Murali Krishna Ramanathan	Trace driven dynamic deadlock detection and reproduction.	PPoPP	2014	DBLP DOI BibTeX RDF
13	Ka I Pun, Martin Steffen, Volker Stolz	Behaviour Inference for Deadlock Checking.	TASE	2014	DBLP DOI BibTeX RDF
13	Michel Raynal	Simple Deadlock Detection for the And-Communication Model.	CISIS	2014	DBLP DOI BibTeX RDF
13	Ka I Pun, Martin Steffen, Volker Stolz	Effect-Polymorphic Behaviour Inference for Deadlock Checking.	SEFM	2014	DBLP DOI BibTeX RDF
13	GaiYun Liu, ZhiWu Li 0001, Kamel Barkaoui, Abdulrahman Al-Ahmari	Robustness of deadlock control for a class of Petri nets with unreliable resources.	Inf. Sci.	2013	DBLP DOI BibTeX RDF
13	Hesuan Hu, MengChu Zhou, Zhiwu Li 0001, Ying Tang 0001	Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets.	IEEE Trans. Ind. Informatics	2013	DBLP DOI BibTeX RDF
13	Renu Verma, Mohammad Ayoub Khan, Amit Zinzuwadiya	Power and Latency Optimized Deadlock-Free Routing Algorithm on Irregular 2D Mesh NoC using LBDRe.	Int. J. Embed. Real Time Commun. Syst.	2013	DBLP DOI BibTeX RDF
13	Nizar Dahir, Terrence S. T. Mak, Ra'ed Al-Dujaily, Alex Yakovlev	Highly adaptive and deadlock-free routing for three-dimensional networks-on-chip.	IET Comput. Digit. Tech.	2013	DBLP DOI BibTeX RDF
13	Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis	Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms.	IEEE Trans. Autom. Control.	2013	DBLP DOI BibTeX RDF
13	Yang Wang 0006, Paul Lu	Maximizing Active Storage Resources with Deadlock Avoidance in Workflow-Based Computations.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
13	Florentine Dubois, Abbas Sheibanyrad, Frédéric Pétrot, Maryam Bahmani	Elevator-First: A Deadlock-Free Distributed Routing Algorithm for Vertically Partially Connected 3D-NoCs.	IEEE Trans. Computers	2013	DBLP DOI BibTeX RDF
13	Yufeng Chen 0001, ZhiWu Li 0001, Abdulrahman Al-Ahmari	Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Syst.	2013	DBLP DOI BibTeX RDF
13	ZhiWu Li 0001, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou	Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Syst.	2013	DBLP DOI BibTeX RDF
13	Shao Yong Li, Aimin An, Ying Wang, Gang Wang, Cai Qin Hou, Ying Cai	Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons.	J. Intell. Manuf.	2013	DBLP DOI BibTeX RDF
13	Yang Wang 0006, Paul Lu	DDS: A deadlock detection-based scheduling algorithm for workflow computations in HPC systems with storage constraints.	Parallel Comput.	2013	DBLP DOI BibTeX RDF
13	Miao Liu, Shouguang Wang, Zhiwu Li 0001	Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation.	J. Appl. Math.	2013	DBLP DOI BibTeX RDF
13	Yi-Sheng Huang, Yen-Liang Pan, Pin-June Su	Transition-Based Deadlock Detection and Recovery Policy for FMSs Using Graph Technique.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
13	Naiqi Wu, Mengchu Zhou, Gang Hu	One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF