|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2324 occurrences of 962 keywords
|
|
|
Results
Found 2813 publication records. Showing 2813 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | GaiYun Liu, Lingchun Zhang, Liang Chang 0003, Abdulrahman Al-Ahmari, Naiqi Wu |
Robust deadlock control for automated manufacturing systems based on elementary siphon theory. |
Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rongfeng Lin, Zhenhua Yu 0001, Xiaonan Shi, Lihong Dong, Emad S. Abouel Nasr |
On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Wenli Duo, Xiaoning Jiang, Oussama Karoui, Xin Guo, Dan You, Shouguang Wang, Yuan Ruan |
A Deadlock Prevention Policy for a Class of Multithreaded Software. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Husam Kaid, Abdulrahman Al-Ahmari, Emad S. Abouel Nasr, Adel Al-Shayea, Ali K. Kamrani, Mohammed A. Noman, Haitham A. Mahmoud |
Petri Net Model Based on Neural Network for Deadlock Control and Fault Detection and Treatment in Automated Manufacturing Systems. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mahmoud Salaheldin Elsayed, Passent Mohammed El-Kafrawy, Naiqi Wu |
Modeling and Deadlock Control of Reconfigurable Multi-Unit Resource Systems. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yunlong Zhao, Xiaoping Liu, Gang Wang 0025, Shaobo Wu, Song Han |
Dynamic Resource Reservation Based Collision and Deadlock Prevention for Multi-AGVs. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Huixia Liu, Weimin Wu, Hongyong Yang |
Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems With Multiple Unreliable Resources. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Rishi Mohan, Emilia Silvas, Henry Stoutjesdijk, Herman Bruyninckx, Bram De Jager |
Collision-Free Trajectory Planning With Deadlock Prevention: An Adaptive Virtual Target Approach. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Haining Xiao, Xing Wu 0007, Dejin Qin, Jingjing Zhai |
A Collision and Deadlock Prevention Method With Traffic Sequence Optimization Strategy for UGN-Based AGVS. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hongmei Wei, Jian Gao 0005, Peng Qing, Kang Yu, Yan-Fei Fang, Ming-Lu Li |
MPI-RCDD: A Framework for MPI Runtime Communication Deadlock Detection. |
J. Comput. Sci. Technol. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Surajit Das, Chandan Karfa, Santosh Biswas |
Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock. |
IEEE Trans. Very Large Scale Integr. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Amir Charif, Alexandre Coelho, Nacer-Eddine Zergainoh, Michael Nicolaidis |
A Dynamic Sufficient Condition of Deadlock-Freedom for High-Performance Fault-Tolerant Routing in Networks-on-Chips. |
IEEE Trans. Emerg. Top. Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Ryuta Kawano, Ryota Yasudo, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano |
A Generalized Theory Based on the Turn Model for Deadlock-Free Irregular Networks. |
IEICE Trans. Inf. Syst. |
2020 |
DBLP BibTeX RDF |
|
13 | Shotaro Kojima, Kazunori Ohno, Takahiro Suzuki, Yoshito Okada, Thomas Westfechtel, Satoshi Tadokoro |
Wall Deadlock Evasion Control Based on Rotation Radius Adjustment. |
IEEE Robotics Autom. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Shaoyong Li, Zhao Chunrun |
A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets. |
Int. J. Syst. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jianchao Luo, Zhiqiang Liu, MengChu Zhou, Keyi Xing |
Deadlock-Free Scheduling of Flexible Assembly Systems Based on Petri Nets and Local Search. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hao Yue, Keyi Xing, Hesuan Hu, Weimin Wu, Hongye Su |
Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yanxiang Feng, Keyi Xing, MengChu Zhou, Huixia Liu |
Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yanxiang Feng, Keyi Xing, Mengchu Zhou, Xinnian Wang, Huixia Liu |
Robust Deadlock Prevention for Automated Manufacturing Systems With Unreliable Resources by Using General Petri Nets. |
IEEE Trans. Syst. Man Cybern. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Cheng Ma, Qi Zhao, Guoqi Li, Lei Deng 0003, Guanrui Wang |
A deadlock-free physical mapping method on the many-core neural network chip. |
Neurocomputing |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Tuhin Subhra Das, Prasun Ghosal, Navonil Chatterjee, Arnab Nath, Akash Banerjee, Subhojyoti Khastagir |
Application of Logical Sub-networking in Congestion-aware Deadlock-free SDmesh Routing. |
ACM Trans. Embed. Comput. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Juan-José Crespo, José L. Sánchez 0002, Francisco J. Alfaro-Cortes, José Flich, José Duato |
UPR: Deadlock-Free Dynamic Network Reconfiguration by Exploiting Channel Dependency Graph Compatibility. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Xinyu Crystal Wu, T. S. Eugene Ng |
DCFIT: Initial Trigger-Based PFC Deadlock Detection in the Data Plane. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Taqwa Saeed, Vassos Soteriou, Christos Liaskos, Andreas Pitsillides, Marios Lestas |
Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
13 | Yuan Cai, Dong Xiang, Xiang Ji |
Deadlock-free adaptive 3D network-on-chips routing algorithm with repetitive turn concept. |
IET Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abdolreza Shirvani, B. John Oommen |
On enhancing the deadlock-preventing object migration automaton using the pursuit paradigm. |
Pattern Anal. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Taqwa Saeed, Vassos Soteriou, Christos Liaskos, Andreas Pitsillides, Marios Lestas |
Toward Fault-Tolerant Deadlock-Free Routing in HyperSurface-Embedded Controller Networks. |
IEEE Netw. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Madhavi Devi B, Smriti Agrawal, Ramisetty Rajeshwara Rao |
Deadlock Free Resource Management Technique for IoT-Based Post Disaster Recovery Systems. |
Scalable Comput. Pract. Exp. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Jianchao Luo, Zhiqiang Liu, Shuogang Wang, Keyi Xing |
Robust deadlock avoidance policy for automated manufacturing system with multiple unreliable resources. |
IEEE CAA J. Autom. Sinica |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Lucas Lima 0001, Amaury Tavares, Sidney C. Nogueira |
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. |
Sci. Comput. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nan Du, Hesuan Hu, MengChu Zhou |
Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets. |
IEEE Trans Autom. Sci. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Nan Du, Hesuan Hu, MengChu Zhou |
A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources. |
IEEE Trans Autom. Sci. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Román Pomares-Angelino, Ernesto López-Mellado |
Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels. |
CCE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Hiroshi Noborio, Kiyomi Kawai, Kaoru Watanabe, Katsunori Tachibana, Takahiro Kunii, Kiminori Mizushino |
Deadlock-Free and Collision-Free Liver Surgical Navigation by Switching Potential-Based and Sensor-Based Functions. |
HCI (3) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar, Hossein Farrokhbakht, Natalie D. Enright Jerger, Paul V. Gratz, Tushar Krishna, Joshua San Miguel |
DRAIN: Deadlock Removal for Arbitrary Irregular Networks. |
HPCA |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Joseph Hirsch, Martin Neumayer, Hella Ponsar, Oliver Kosak, Wolfgang Reif |
Deadlock Avoidance for Multiple Tasks in a Self-Organizing Production Cell. |
ACSOS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Marcel Müller, Jan Hendrik Ulrich, Tobias Reggelin, Sebastian Lang, Lorena S. Reyes-Rubiano |
Comparison of Deadlock Handling Strategies for Different Warehouse Layouts with an AGVS. |
WSC |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pengxiang Ning, Boqin Qin |
Stuck-me-not: A deadlock detector on blockchain software in Rust. |
EUSPN/ICTH |
2020 |
DBLP DOI BibTeX RDF |
|
13 | ZhaoYu Xiang |
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. |
VECoS |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yu Huang, Benjamin Ogles, Eric Mercer |
A Predictive Analysis for Detecting Deadlock in MPI Programs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yan Cai 0001, Ruijie Meng, Jens Palsberg |
Low-overhead deadlock prediction. |
ICSE |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Ivaskovic, Alan Mycroft |
A graded Monad for deadlock-free concurrency (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar |
Subactive techniques for guaranteeing routing and protocol deadlock freedom in interconnection networks. |
|
2020 |
RDF |
|
13 | Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar |
A deadlock-free lock-based synchronization for GPUs. |
Concurr. Comput. Pract. Exp. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Pedro Yébenes, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Torsten Hoefler |
Head-of-line blocking avoidance in Slim Fly networks using deadlock-free non-minimal and adaptive routing. |
Concurr. Comput. Pract. Exp. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Aniruddh Ramrakhyani, Paul V. Gratz, Tushar Krishna |
Synchronized Progress in Interconnection Networks (SPIN): A New Theory for Deadlock Freedom. |
IEEE Micro |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jianchao Luo, Zhiqiang Liu, MengChu Zhou, Keyi Xing, Xinnian Wang, Xiaoling Li 0001, Huixia Liu |
Robust deadlock control of automated manufacturing systems with multiple unreliable resources. |
Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao |
Deadlock detection-oriented unfolding of unbounded Petri nets. |
Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yanxiang Feng, Keyi Xing, Huixia Liu, Yunchao Wu |
Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources. |
Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Chunfu Zhong, Wenlong He, Zhiwu Li 0001, Naiqi Wu, Ting Qu |
Deadlock analysis and control using Petri net decomposition techniques. |
Inf. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang |
A Siphon-Based Deadlock Prevention Strategy for S3PR. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yunyun Dong, Yufeng Chen 0001, Shaoyong Li, Mohammed A. El-Meligy, Mohamed Sharaf 0001 |
An Efficient Deadlock Recovery Policy for Flexible Manufacturing Systems Modeled With Petri Nets. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Dajiang Sun, Yufeng Chen 0001, Mohammed A. El-Meligy, Mohamed Sharaf 0001, Naiqi Wu, Zhiwu Li 0001 |
On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wei Duan, Chunfu Zhong, Xiang Wang, Ateekh-Ur-Rehman, Usama Umer, Naiqi Wu |
A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Jingjing Du, Qiuhong Tian |
An MIP-Based Deadlock Prevention Policy for Siphon Control. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gaiyun Liu, Lingchun Zhang, Yuting Liu, Yufeng Chen 0001, Zhiwu Li 0001, Naiqi Wu |
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jianchao Luo, Zhiqiang Liu, MengChu Zhou |
A Petri Net Based Deadlock Avoidance Policy for Flexible Manufacturing Systems With Assembly Operations and Multiple Resource Acquisition. |
IEEE Trans. Ind. Informatics |
2019 |
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. |
IEEE/ACM Trans. Netw. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Florent Perronnet, Jocelyn Buisson, Alexandre Lombard, Abdeljalil Abbas-Turki, Mourad Ahmane, Abdellah El Moudni |
Deadlock Prevention of Self-Driving Vehicles in a Network of Intersections. |
IEEE Trans. Intell. Transp. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jing Bi, Haitao Yuan 0001, Wei Tan 0001 |
Deadlock prevention for service orchestration via controlled Petri nets. |
J. Parallel Distributed Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Faming Lu, Qingtian Zeng, MengChu Zhou, Yunxia Bao, Hua Duan |
Complex Reachability Trees and Their Application to Deadlock Detection for Unbounded Petri Nets. |
IEEE Trans. Syst. Man Cybern. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | GaiYun Liu, Pei Li, Zhiwu Li 0001, Naiqi Wu |
Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs. |
IEEE Trans. Syst. Man Cybern. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marina Bannikova, Lihi Dery, Svetlana Obraztsova, Zinovi Rabinovich, Jeffrey S. Rosenschein |
Between Discord and Deadlock: Consensus Under a Deadline. |
CoRR |
2019 |
DBLP 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 System on Chip. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Lucas Lima 0001, Amaury Tavares, Sidney C. Nogueira |
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Jaskaran Grover, Changliu Liu, Katia P. Sycara |
Deadlock Analysis and Resolution in Multi-Robot Systems: The Two Robot Case. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
13 | Wen Kokke |
Rusty Variation: Deadlock-free Sessions with Failure in Rust. |
ICE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cosimo Laneve |
A lightweight deadlock analysis for programs with threads and reentrant locks. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gavin Lowe |
Discovering and correcting a deadlock in a channel implementation. |
Formal Aspects Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
Dynamic Deadlock Verification for General Barrier Synchronisation. |
ACM Trans. Program. Lang. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Alan Diêgo Aurélio Carneiro, Fábio Protti, Uéverton S. Souza |
Deadlock resolution in wait-for graphs by vertex/arc deletion. |
J. Comb. Optim. |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar, Tushar Krishna |
BINDU: deadlock-freedom with one bubble in the network. |
NOCS |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qi Zhao, Lei Deng 0003, Guoqi Li, Guanrui Wang, Cheng Ma |
Efficient Mapping without Deadlock on the Many-core Neural Network Chip. |
ICCA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Benjamin Dauphin, Renaud Pacalet, Andrea Enrici, Ludovic Apvrille |
Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. |
DSD |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar, Natalie D. Enright Jerger, Paul V. Gratz, Joshua San Miguel, Tushar Krishna |
SWAP: Synchronized Weaving of Adjacent Packets for Network Deadlock Resolution. |
MICRO |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mackenzie J. Wibbels, Shomit Das, Dheeraj Singh Takur, Venkata Nori, Kenneth S. Stevens |
A Transmission Line Enabled Deadlock Free Toroidal Network-on-Chip using Asynchronous Handshake Protocols. |
ASYNC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cosimo Laneve, Luca Padovani |
Deadlock Analysis of Wait-Notify Coordination. |
The Art of Modelling Computational Systems |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Thitivatr Patanasakpinyo |
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification. |
CATA |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
Manifest Deadlock-Freedom for Shared Session Types. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kun Qian 0017, Wenxue Cheng, Tong Zhang 0018, Fengyuan Ren |
Gentle flow control: avoiding deadlock in lossless networks. |
SIGCOMM |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yao XiaoLing |
A Deadlock Prevention Algorithm for The Two-Phase Locking Protocol Based on Petri Net. |
ICSAI |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marcel Müller, Stephan Schmidt, Tobias Reggelin |
Deadlock and Collision Handling for Automated Rail-Based Storage and Retrieval Units. |
WSC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | GaiYun Liu, Dimitri Lefebvre, ZhiWu Li 0001 |
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. |
SMC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lígia Maria Soares Passos, Stéphane Julia, Bruno Francisco Martins da Silva |
A Linear Logic Based Method for Deadlock-Freeness Scenarios Monitoring in Web Services Composition. |
SOSE |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel |
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. |
PODC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marius Bozga, Radu Iosif, Joseph Sifakis |
Checking Deadlock-Freedom of Parametric Component-Based Systems. |
TACAS (2) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lucas Lima 0001, Amaury Tavares |
Verifying Deadlock and Nondeterminism in Activity Diagrams. |
MoDELS (Companion) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sonam Sherpa, Abdi Vicenciodelmoral, Xinghui Zhao |
Deadlock Detection for Concurrent Programs Using Resource Footprints. |
UCC Companion |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ryuta Kawano, Hiroki Matsutani, Hideharu Amano |
Deadlock-Free Layered Routing for Infiniband Networks. |
CANDAR Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du |
An iterative Deadlock Prevention Policy Based on siphons. |
ICNSC |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Caleb Voss 0001, Tiago Cogumbreiro, Vivek Sarkar |
Transitive joins: a sound and efficient online deadlock-avoidance policy. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wee Hyong Tok |
Distributed Deadlock Management. |
Encyclopedia of Database Systems (2nd ed.) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Christian Gram Kalhauge, Jens Palsberg |
Sound deadlock prediction. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Carlos Vinícius G. C. Lima, Fábio Protti, Dieter Rautenbach, Uéverton S. Souza, Jayme Luiz Szwarcfiter |
And/or-convexity: a graph convexity based on processes and deadlock models. |
Ann. Oper. Res. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Javier Alonso-Mora, Jonathan A. DeCastro, Vasumathi Raman, Daniela Rus, Hadas Kress-Gazit |
Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles. |
Auton. Robots |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Emeka Emmanuel Ugwuanyi, Saptarshi Ghosh 0005, Muddesar Iqbal, Tasos Dagiuklas |
Reliable Resource Provisioning Using Bankers' Deadlock Avoidance Algorithm in MEC for Industrial IoT. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Oussama Karoui, Zhiwu Li 0001, Naiqi Wu, Mohamed Khalgui, Emad S. Abouel Nasr, Abdul-Aziz Mohammed El-Tamimi |
One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning |
Deadlock Prevention Policy for S4PR Nets Based on Siphon. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Zeynab Mohseni, Midia Reshadi |
A deadlock-free routing algorithm for irregular 3D network-on-chips with wireless links. |
J. Supercomput. |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Keyi Xing, Feng Wang, MengChu Zhou, Hang Lei, Jianchao Luo |
Deadlock characterization and control of flexible assembly systems with Petri nets. |
Autom. |
2018 |
DBLP DOI BibTeX RDF |
|
|
|