Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Pedro Antonino, Augusto Sampaio, Jim Woodcock 0001 |
A Pattern-based deadlock-freedom analysis strategy for concurrent systems. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jaskaran Grover, Changliu Liu, Katia P. Sycara |
The Before, During, and After of Multi-Robot Deadlock. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yukita Fujitani, Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara |
Deadlock-Free Method for Multi-Agent Pickup and Delivery Problem Using Priority Inheritance with Temporary Priority. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shunsuke Aoki 0001, Ragunathan Rajkumar |
A-DRIVE: Autonomous Deadlock Detection and Recovery at Road Intersections for Connected and Automated Vehicles. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuda Chen, Chenghan Wang, Zhongkui Li |
Multi-Robot Trajectory Planning with Feasibility Guarantee and Deadlock Resolution: An Obstacle-Dense Environment. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar |
Static Deadlock Detection in Low-Level C Code. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuda Chen, Meng Guo 0002, Zhongkui Li |
Recursive Feasibility and Deadlock Resolution in MPC-based Multi-robot Trajectory Generation. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
13 | Mehrnaz Moudi, Mohamed Othman |
A new adaptive routing algorithm using partitioning scheme in x-Folded TM topology to avoid deadlock. |
Int. J. Commun. Networks Distributed Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zichao Xing, Xinyu Chen, Xingkai Wang, Weimin Wu, Ruifen Hu |
Collision and Deadlock Avoidance in Multi-Robot Systems Based on Glued Nodes. |
IEEE CAA J. Autom. Sinica |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Vida Sobhani, Kevin Kauth, Tim Stadtmann, Tobias Gemmeke |
Deadlock-Freedom in Computational Neuroscience Simulators. |
IEEE Des. Test |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhiqiang Chen, Rangyu Deng, Kun Zeng, Xiaoqiang Ni, Hongwei Zhou |
Traversal Packets: Opportunistic Bypass Packets for Deadlock Recovery. |
IEEE Des. Test |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ornela Dardha, Jorge A. Pérez 0001 |
Comparing type systems for deadlock freedom. |
J. Log. Algebraic Methods Program. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Benyuan Yang, Hesuan Hu |
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance. |
IEEE Trans Autom. Sci. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yao Lu, Yufeng Chen 0001, ZhiWu Li 0001, Naiqi Wu |
An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs. |
IEEE Trans Autom. Sci. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shunsuke Aoki 0001, Ragunathan Raj Rajkumar |
A-DRIVE: Autonomous Deadlock Detection and Recovery at Road Intersections for Connected and Automated Vehicles. |
IV |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Li-Heng Lin, Kuan-Chun Wang, Ying-Hua Lee, Kai-En Lin, Chung-Wei Lin, Iris Hui-Ru Jiang |
Deadlock Resolution for Intelligent Intersection Management with Changeable Trajectories. |
IV |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tsuyoshi Goto, Hidenori Itaya, Tsubasa Hirakawa, Takayoshi Yamashita, Hironobu Fujiyoshi |
Solving the Deadlock Problem with Deep Reinforcement Learning Using Information from Multiple Vehicles. |
IV |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yi Dai, Kai Lu, Sheng Ma, Junsheng Chang |
Full-credit Flow Control: A Novel Technique to Implement Deadlock-free Adaptive Routing. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tsung-Lin Tsou, Chung-Wei Lin, Iris Hui-Ru Jiang |
Deadlock Analysis and Prevention for Intersection Management Based on Colored Timed Petri Nets. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ebadollah Taheri, Sudeep Pasricha, Mahdi Nikdast |
DeFT: A Deadlock-Free and Fault-Tolerant Routing Algorithm for 2.5D Chiplet Networks. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yibo Wu, Liang Wang 0020, Xiaohang Wang 0001, Jie Han 0001, Jianfeng Zhu 0001, Honglan Jiang, Shouyi Yin, Shaojun Wei, Leibo Liu |
Upward Packet Popup for Deadlock Freedom in Modular Chiplet-Based Systems. |
HPCA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz |
Distributed Controller Synthesis for Deadlock Avoidance. |
ICALP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhenjiang Guo, Huandong Wang, Longbing Zhang, Junhua Xiao |
TCRing: A Novel Single-Channel Deadlock-Free Concentrated on-Chip Network. |
HPCC/DSS/SmartCity/DependSys |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. |
The Logic of Software. A Tasting Menu of Formal Methods |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Frodo Kin Sun Chan, Yan Nei Law, Bonny Lu, Tom Chick, Edmond Shiao Bun Lai, Ming Ge |
Multi-Agent Pathfinding for Deadlock Avoidance on Rotational Movements. |
ICARCV |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Andrei Karatkevich, Iwona Grobelna |
A Process-Oriented Deadlock Recovery Policy for Flexible Manufacturing Systems. |
ICARCV |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Kang Min Kim, Chang Hyun Chung, Young Jae Jang |
Deadlock Avoidance Dynamic Routing Algorithm for a Massive Bidirectional Automated Guided Vehicle System. |
WSC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Marcel Müller, Tobias Reggelin, Iegor Kutsenko, Hartmut Zadek, Lorena S. Reyes-Rubiano |
Towards Deadlock Handling with Machine Learning in a Simulation-Based Learning Environment. |
WSC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | K. J. C. Fransen, Michel A. Reniers, J. A. W. M. van Eekelen |
Deadlock avoidance algorithm for AGVs on a tessellated layout. |
CASE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yuandao Cai, Chengfeng Ye, Qingkai Shi, Charles Zhang 0001 |
Peahen: fast and precise static deadlock detection via context reduction. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian |
Formal verification of deadlock avoidance rules for AGV systems. |
MED |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Chunyan Qi, Chunxiao Li 0001 |
A Solution Design for Solving Road Deadlock in Autonomous Driving. |
ICTC |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yukita Fujitani, Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara |
Deadlock-Free Method for Multi-Agent Pickup and Delivery Problem Using Priority Inheritance with Temporary Priority. |
KES |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zhaohui Ye, Yanjie Li, Ronghao Guo, Jianqi Gao, Wen Fu |
Multi-agent Pathfinding with Communication Reinforcement Learning and Deadlock Detection. |
ICIRA (1) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu |
Deadlock prediction via generalized dependency. |
ISSTA |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ryuta Kawano, Hiroki Matsutani, Michihiro Koibuchi, Hideharu Amano |
Dynamic Routing Reconfiguration for Low-Latency and Deadlock-Free Interconnection Networks. |
CANDAR |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Yaodong Wang, Yamin Li |
Load-Balancing Routing Algorithms for Reducing Packet Latency and Avoiding Deadlock in Datacenter Interconnection Networks. |
CANDARW |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar |
Static Deadlock Detection in Low-Level C Code. |
EUROCAST |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Swen Jacobs, Mouhammad Sakr, Marcus Völp |
Automatic Repair and Deadlock Detection for Parameterized Systems. |
FMCAD |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Jungan Liu, Chang Li, Yaoyao Ye |
A Path Utilization-Based Congestion-Aware Deadlock-Free Routing for Network-on-Chip. |
EITCE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Zak Cutner, Nobuko Yoshida, Martin Vassor |
Deadlock-free asynchronous message reordering in rust with multiparty session types. |
PPoPP |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Shushan Li, Meng Wang, Hong Zhang |
Deadlock Detection for MPI Programs Based on Refined Match-sets. |
CLUSTER |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Ha Hunmok, Daisuke Kasamatsu |
A Method of Deadlock and Girdlock Avoidance at Signal-free Intersections. |
GCCE |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Tomoki Yamauchi, Yuki Miyashita, Toshiharu Sugawara |
Standby-Based Deadlock Avoidance Method for Multi-Agent Pickup and Delivery Tasks. (PDF / PS) |
AAMAS |
2022 |
DBLP BibTeX RDF |
|
13 | Markus Sauer, Andreas Dachsberger, Leonard Giglhuber, Lukasz Zalewski |
Decentralized Deadlock Prevention for Self-Organizing Industrial Mobile Robot Fleets. |
COINS |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Frantisek Capkovic |
Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets - Part 1: Invariants, Siphons and Traps in Deadlock Avoidance. |
Comput. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Adel Al-Shayea, Husam Kaid, Abdulrahman Al-Ahmari, Emad S. Abouel Nasr, Ali K. Kamrani, Haitham A. Mahmoud |
Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Ter-Chan Row, Yen-Liang Pan |
An Optimal Deadlock Recovery Algorithm for Special and Complex Flexible Manufacturing Systems-S₄PR. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mahmoud Salaheldin Elsayed, Gaiyun Liu, Almetwally M. Mostafa, Abeer Ali Alnuaim, Passent Mohammed El-Kafrawy |
Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yanjun Lu, Yan Qiao, ChunRong Pan, Yufeng Chen 0001, Naiqi Wu, Zhiwu Li 0001, Bin Liu |
Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Husam Kaid, Abdulrahman Al-Ahmari, Zhiwu Li 0001, Wadea Ameen |
Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Miguel Gómez-Zamalloa, Miguel Isabel |
Deadlock-Guided Testing. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Juan-José Crespo, José L. Sánchez 0002, Francisco J. Alfaro-Cortés, José Flich, José Duato |
UPR: deadlock-free dynamic network reconfiguration by exploiting channel dependency graph compatibility. |
J. Supercomput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Masashi Mizoguchi, Toshimitsu Ushio |
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Masanori Sekiguchi, Naoyuki Takesue |
Numerical method for inverse kinematics using an extended angle-axis vector to avoid deadlock caused by joint limits. |
Adv. Robotics |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Michael Ibrahim 0001, Spyros A. Reveliotis, Ahmed Nazeem |
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation. |
IEEE Trans. Autom. Control. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Liang Li 0020, Francesco Basile, Zhiwu Li 0001 |
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. |
IEEE Trans. Autom. Control. |
2021 |
DBLP DOI 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 Systems-on-Chip. |
IEEE Trans. Computers |
2021 |
DBLP DOI BibTeX RDF |
|
13 | German Maglione Mathey, Jesús Escudero-Sahuquillo, Pedro Javier García, Francisco J. Quiles 0001, Eitan Zahavi |
Leveraging InfiniBand controller to configure deadlock-free routing engines for Dragonflies. |
J. Parallel Distributed Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yanxiang Feng, Mengchu Zhou, Feng Tian 0002, Chao-Bo Yan, Keyi Xing |
Deadlock Prevention Controller for Automated Manufacturing Systems Modeled by S4PR. |
IEEE Trans. Syst. Man Cybern. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yibo Wu, Liang Wang 0020, Xiaohang Wang 0001, Jie Han 0001, Shouyi Yin, Shaojun Wei, Leibo Liu |
A Deflection-Based Deadlock Recovery Framework to Achieve High Throughput for Faulty NoCs. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Veronica Dal Sasso, Leonardo Lamorgese, Carlo Mannino, Andrea Onofri, Paolo Ventura |
The Tick Formulation for deadlock detection and avoidance in railways traffic control. |
J. Rail Transp. Plan. Manag. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joshua J. Daymude, Noble C. Harasha, Andréa W. Richa, Ryan Yiu |
Deadlock and Noise in Self-Organized Aggregation Without Computation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Caleb Voss 0001, Vivek Sarkar |
An Ownership Policy and Deadlock Detector for Promises. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Deadlock Freedom for Asynchronous and Cyclic Process Networks. |
ICE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Zak Cutner, Nobuko Yoshida, Martin Vassor |
Deadlock-free asynchronous message reordering in Rust with multiparty session types. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Ebadollah Taheri, Sudeep Pasricha, Mahdi Nikdast |
DeFT: A Deadlock-Free and Fault-Tolerant Routing Algorithm for 2.5D Chiplet Networks. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Deadlock Freedom for Asynchronous and Cyclic Process Networks (Extended Version). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema |
Deadlock in packet switching networks. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Bjørnar Luteberget |
Improving Online Railway Deadlock Detection using a Partial Order Reduction. |
FMAS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Wen Kokke, Ornela Dardha |
Deadlock-Free Session Types in Linear Haskell. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
13 | Bo Huang 0008, MengChu Zhou, Cong Wang 0015, Abdullah Abusorrah, Yusuf Al-Turki 0001 |
Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events. |
IEEE CAA J. Autom. Sinica |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xiaoling Li 0001, Keyi Xing, Qingchang Lu |
Hybrid particle swarm optimization algorithm for scheduling flexible assembly systems with blocking and deadlock constraints. |
Eng. Appl. Artif. Intell. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Marius Bozga, Radu Iosif, Joseph Sifakis |
Checking deadlock-freedom of parametric component-based systems. |
J. Log. Algebraic Methods Program. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Jianchao Luo, Mengchu Zhou, Jun-Qiang Wang |
AB&B: An Anytime Branch and Bound Algorithm for Scheduling of Deadlock-Prone Flexible Manufacturing Systems. |
IEEE Trans Autom. Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nan Du, Hesuan Hu |
Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets. |
IEEE Trans Autom. Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Amir Salimi Lafmejani, Spring Berman |
Nonlinear MPC for collision-free and deadlock-free navigation of multiple nonholonomic mobile robots. |
Robotics Auton. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Robert Mittermayr, Johann Blieberger |
Deadlock and WCET analysis of barrier-synchronized concurrent programs. |
Computing |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Joshua J. Daymude, Noble C. Harasha, Andréa W. Richa, Ryan Yiu |
Deadlock and Noise in Self-Organized Aggregation Without Computation. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Mohammed Abdullhak, Andrew Vardy |
Deadlock Prediction and Recovery for Distributed Collision Avoidance with Buffered Voronoi Cells. |
IROS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xiong Wei, Meng Cheng |
DSPN: Deadlock Detection and Solutions of Reachability Graphs for Petri Nets. |
AIAM (IEEE) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Gyuyoung Kwauk, Seungkwan Kang, Hans Kasan, Hyojun Son, John Kim |
BoomGate: Deadlock Avoidance in Non-Minimal Routing for High-Radix Networks. |
HPCA |
2021 |
DBLP DOI BibTeX RDF |
|
13 | R. Rajesh Kumar, Vivek Shanbhag, K. V. Dinesha |
Automated Deadlock Detection for Large Java Libraries. |
ICDCIT |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Boyang Zhang 0001, Henri P. Gavin |
Natural Deadlock Resolution for Multi-agent Multi-Swarm Navigation. |
CDC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Nicole Immorlica, Yash Kanoria, Jiaqi Lu |
In Which Matching Markets Do Costly Compatibility Inspections Lead to a Deadlock? |
WINE |
2021 |
DBLP BibTeX RDF |
|
13 | Jaskaran Singh Grover, Changliu Liu, Katia P. Sycara |
Deadlock Analysis and Resolution for Multi-robot Systems. |
WAFR |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Anna Stramaglia, Jeroen J. A. Keiren, Hans Zantema |
Deadlock in Packet Switching Networks. |
FSEN |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xinyu Crystal Wu, T. S. Eugene Ng |
ITSY: Initial Trigger-Based PFC Deadlock Detection in the Data Plane. |
INFOCOM Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
13 | James R. Heselden, Gautham P. Das |
CRH*: A Deadlock Free Framework for Scalable Prioritised Path Planning in Multi-robot Systems. |
TAROS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Maoning Chen, Yuangen Lu, Canrong Zhang |
Deadlock-solving Traffic Control Methods for Automated Guided Vehicle Systems. |
IEEM |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Xinyu Chen, Tingqi Zhang, Weimin Wu, Ruifen Hu |
A Novel Searching Method of Fringe Blocks for AGV Deadlock Avoidance. |
ICNSC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich |
A Compositional Deadlock Detector for Android Java. |
ASE |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Wen Kokke, Ornela Dardha |
Deadlock-free session types in linear Haskell. |
Haskell |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Caleb Voss 0001, Vivek Sarkar |
An ownership policy and deadlock detector for promises. |
PPoPP |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Elina Unruh, Patrick Delfmann, Matthias Thimm |
Quantitative Deadlock Analysis in Petri Nets using Inconsistency Measures. |
CBI (1) |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Anup Gangwar, Ravishankar Sreedharan, Ambica Prasad, Nitin Kumar Agarwal, Sri Harsha Gade |
Topology Agnostic Virtual Channel Assignment and Protocol Level Deadlock Avoidance in a Network-on-Chip. |
DAC |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Adem Coskun, Jason M. O'Kane, Marco Valtorta |
Deadlock-Free Online Plan Repair in Multi-robot Coordination with Disturbances. |
FLAIRS |
2021 |
DBLP DOI BibTeX RDF |
|
13 | Yuebin Zhou, Jianlong Xu |
IoT perception layer scheduling deadlock relieving optimization method. |
J. Intell. Fuzzy Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Mehrdad Ghorbani, Seyed Morteza Babamir |
Runtime deadlock tracking and prevention of concurrent multithreaded programs: A learning-based approach. |
Concurr. Comput. Pract. Exp. |
2020 |
DBLP DOI BibTeX RDF |
|
13 | Yanxiang Feng, Keyi Xing, MengChu Zhou, Hefeng Chen, Feng Tian 0002 |
Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets. |
Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|