|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 510, pp. 165-182, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 170421-170432, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 16676-16688, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 103219-103235, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 133605-133621, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 82120-82130, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 269-277, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 115240-115250, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 209452-209470, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 35(2), pp. 395-411, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 28(4), pp. 1016-1029, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Emerg. Top. Comput. ![In: IEEE Trans. Emerg. Top. Comput. 8(3), pp. 642-654, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 103-D(1), pp. 101-110, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 5(2), pp. 1358-1365, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 51(5), pp. 771-785, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 50(10), pp. 3658-3669, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 50(10), pp. 3528-3540, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 50(2), pp. 525-538, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 50(10), pp. 3515-3527, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 401, pp. 327-337, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 19(4), pp. 24:1-24:26, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.02332, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Xinyu Crystal Wu, T. S. Eugene Ng |
DCFIT: Initial Trigger-Based PFC Deadlock Detection in the Data Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2009.13446, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.04407, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
13 | Yuan Cai, Dong Xiang, Xiang Ji |
Deadlock-free adaptive 3D network-on-chips routing algorithm with repetitive turn concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 14(11), pp. 1784-1793, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Abdolreza Shirvani, B. John Oommen |
On enhancing the deadlock-preventing object migration automaton using the pursuit paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Anal. Appl. ![In: Pattern Anal. Appl. 23(2), pp. 509-526, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. Lett. ![In: IEEE Netw. Lett. 2(3), pp. 140-144, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scalable Comput. Pract. Exp. ![In: Scalable Comput. Pract. Exp. 21(3), pp. 391-406, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CAA J. Autom. Sinica ![In: IEEE CAA J. Autom. Sinica 7(3), pp. 812-821, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 197, pp. 102497, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 17(4), pp. 1961-1975, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 17(1), pp. 389-406, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCE ![In: 17th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2020, Mexico City, Mexico, November 11-13, 2020, pp. 1-7, 2020, IEEE, 978-1-7281-8987-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (3) ![In: Human-Computer Interaction. Human Values and Quality of Life - Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III, pp. 604-622, 2020, Springer, 978-3-030-49064-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: IEEE International Symposium on High Performance Computer Architecture, HPCA 2020, San Diego, CA, USA, February 22-26, 2020, pp. 447-460, 2020, IEEE, 978-1-7281-6149-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSOS ![In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2020, Washington, DC, USA, August 17-21, 2020, pp. 178-187, 2020, IEEE, 978-1-7281-7277-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2020, Orlando, FL, USA, December 14-18, 2020, pp. 1300-1311, 2020, IEEE, 978-1-7281-9499-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Pengxiang Ning, Boqin Qin |
Stuck-me-not: A deadlock detector on blockchain software in Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSPN/ICTH ![In: The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) / The 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2020) / Affiliated Workshops, Madeira, Portugal, November 2-5, 2020., pp. 599-604, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | ZhaoYu Xiang |
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings, pp. 27-40, 2020, Springer, 978-3-030-65954-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yu Huang, Benjamin Ogles, Eric Mercer |
A Predictive Analysis for Detecting Deadlock in MPI Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pp. 18-28, 2020, IEEE, 978-1-4503-6768-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yan Cai 0001, Ruijie Meng, Jens Palsberg |
Low-overhead deadlock prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 1298-1309, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Andrej Ivaskovic, Alan Mycroft |
A graded Monad for deadlock-free concurrency (functional pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell@ICFP ![In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020, pp. 17-30, 2020, ACM, 978-1-4503-8050-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar |
Subactive techniques for guaranteeing routing and protocol deadlock freedom in interconnection networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
13 | Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar |
A deadlock-free lock-based synchronization for GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 31(7), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 31(2), 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 39(3), pp. 110-117, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 479, pp. 401-415, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Faming Lu, Ranran Tao, Yuyue Du, Qingtian Zeng, Yunxia Bao |
Deadlock detection-oriented unfolding of unbounded Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 497, pp. 1-22, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 484, pp. 286-301, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 482, pp. 440-456, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang |
A Siphon-Based Deadlock Prevention Strategy for S3PR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 86863-86873, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 11785-11795, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 121332-121349, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 49362-49376, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 153782-153790, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 88579-88591, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 15(6), pp. 3379-3387, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 27(2), pp. 889-902, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 20(11), pp. 4219-4233, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Jing Bi, Haitao Yuan 0001, Wei Tan 0001 |
Deadlock prevention for service orchestration via controlled Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 124, pp. 92-105, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 49(6), pp. 1164-1174, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 49(7), pp. 1371-1385, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.07173, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.04882, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.13638, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Jaskaran Grover, Changliu Liu, Katia P. Sycara |
Deadlock Analysis and Resolution in Multi-Robot Systems: The Two Robot Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.09146, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
13 | Wen Kokke |
Rusty Variation: Deadlock-free Sessions with Failure in Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019., pp. 48-60, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cosimo Laneve |
A lightweight deadlock analysis for programs with threads and reentrant locks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 181, pp. 64-81, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Gavin Lowe |
Discovering and correcting a deadlock in a channel implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 31(4), pp. 411-419, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida |
Dynamic Deadlock Verification for General Barrier Synchronisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 41(1), pp. 1:1-1:38, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 37(2), pp. 546-562, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Mayank Parasar, Tushar Krishna |
BINDU: deadlock-freedom with one bubble in the network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: Proceedings of the 13th IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2019, New York, NY, USA, October 17-18, 2019, pp. 3:1-3:8, 2019, ACM, 978-1-4503-6700-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 15th IEEE International Conference on Control and Automation, ICCA 2019, Edinburgh, United Kingdom, July 16-19, 2019, pp. 752-757, 2019, IEEE, 978-1-7281-1164-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 22nd Euromicro Conference on Digital System Design, DSD 2019, Kallithea, Greece, August 28-30, 2019, pp. 88-95, 2019, IEEE, 978-1-7281-2862-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2019, Columbus, OH, USA, October 12-16, 2019., pp. 873-885, 2019, ACM, 978-1-4503-6938-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019, Hirosaki, Japan, May 12-15, 2019, pp. 36-45, 2019, IEEE, 978-1-5386-4747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Cosimo Laneve, Luca Padovani |
Deadlock Analysis of Wait-Notify Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Art of Modelling Computational Systems ![In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, pp. 50-67, 2019, Springer, 978-3-030-31174-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Proceedings of 34th International Conference on Computers and Their Applications, CATA 2019, Honolulu, Hawaii, USA, March 18-20, 2019., pp. 55-64, 2019, EasyChair. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Stephanie Balzer, Bernardo Toninho, Frank Pfenning |
Manifest Deadlock-Freedom for Shared Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 611-639, 2019, Springer, 978-3-030-17183-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Kun Qian 0017, Wenxue Cheng, Tong Zhang 0018, Fengyuan Ren |
Gentle flow control: avoiding deadlock in lossless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Special Interest Group on Data Communication, SIGCOMM 2019, Beijing, China, August 19-23, 2019, pp. 75-89, 2019, ACM, 978-1-4503-5956-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Yao XiaoLing |
A Deadlock Prevention Algorithm for The Two-Phase Locking Protocol Based on Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 6th International Conference on Systems and Informatics, ICSAI 2019, Shanghai, China, November 2-4, 2019, pp. 889-892, 2019, IEEE, 978-1-7281-5256-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2019 Winter Simulation Conference, WSC 2019, National Harbor, MD, USA, December 8-11, 2019, pp. 1591-1601, 2019, IEEE, 978-1-7281-3283-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: 2019 IEEE International Conference on Systems, Man and Cybernetics, SMC 2019, Bari, Italy, October 6-9, 2019, pp. 1825-1830, 2019, IEEE, 978-1-7281-4569-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSE ![In: 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, San Francisco, CA, USA, April 4-9, 2019, 2019, IEEE, 978-1-7281-1442-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel |
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019., pp. 157-166, 2019, ACM, 978-1-4503-6217-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Marius Bozga, Radu Iosif, Joseph Sifakis |
Checking Deadlock-Freedom of Parametric Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pp. 3-20, 2019, Springer, 978-3-030-17464-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Lucas Lima 0001, Amaury Tavares |
Verifying Deadlock and Nondeterminism in Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019, pp. 764-768, 2019, IEEE, 978-1-7281-5125-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Sonam Sherpa, Abdi Vicenciodelmoral, Xinghui Zhao |
Deadlock Detection for Concurrent Programs Using Resource Footprints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCC Companion ![In: Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2019, Companion Volume, Auckland, New Zealand, December 2-5, 2019., pp. 137-138, 2019, ACM, 978-1-4503-7044-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ryuta Kawano, Hiroki Matsutani, Hideharu Amano |
Deadlock-Free Layered Routing for Infiniband Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANDAR Workshops ![In: Seventh International Symposium on Computing and Networking Workshops, CANDAR 2019 Workshops, Nagasaki, Japan, November 26-29, 2019, pp. 84-90, 2019, IEEE, 978-1-7281-5268-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du |
An iterative Deadlock Prevention Policy Based on siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: 16th IEEE International Conference on Networking, Sensing and Control, ICNSC 2019, Banff, AB, Canada, May 9-11, 2019, pp. 242-246, 2019, IEEE, 978-1-7281-0084-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Caleb Voss 0001, Tiago Cogumbreiro, Vivek Sarkar |
Transitive joins: a sound and efficient online deadlock-avoidance policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, pp. 378-390, 2019, ACM, 978-1-4503-6225-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Wee Hyong Tok |
Distributed Deadlock Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems (2nd ed.) ![In: Encyclopedia of Database Systems, Second Edition, 2018, Springer, 978-1-4614-8266-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Christian Gram Kalhauge, Jens Palsberg |
Sound deadlock prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 146:1-146:29, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 264(1-2), pp. 267-286, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 42(4), pp. 801-824, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 43327-43335, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 34307-34323, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning |
Deadlock Prevention Policy for S4PR Nets Based on Siphon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 50648-50658, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Zeynab Mohseni, Midia Reshadi |
A deadlock-free routing algorithm for irregular 3D network-on-chips with wireless links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 74(2), pp. 953-969, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 87, pp. 358-364, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
|
|