Results 1 to 10 of about 21,187 (254)
IEEE Access, 2021 Static deadlock analyses might be able to verify the absence of deadlock. However, they are usually not able to detect its presence. Moreover, when a potential deadlock is detected, they provide little (and often no) information that can help the user in
Miguel Gomez-Zamalloa, Miguel Isabel
doaj +2 more sources
IEEE Access, 2021 In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures.
Umar Suleiman Abubakar +2 more
doaj +1 more source
Dynamic Collision and Deadlock Avoidance for Multiple Robotic Manipulators
IEEE Access, 2022 A flexible operation of multiple robotic manipulators operating in a dynamic environment requires online trajectory planning to ensure collision-free trajectories.
Nigora Gafur +3 more
doaj +1 more source
Incomparable Single Controller for Solving Deadlock Problems of Flexible Manufacturing Systems
IEEE Access, 2023 This paper focuses on studying and proposes deadlocks are an obstacle in the flexible manufacturing system (FMS) of Petri nets (PNs) since their occurrence will influence the partial or whole model to stop working.
Ter-Chan Row, Yen-Liang Pan
doaj +1 more source
TESTING OF MULTITHREADED APPLICATIONS WITH LOCKS ON NON-ATOMIC VARIABLES [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2020 Subject of Research.The paper presents the study of fuzz testing algorithm for “data race” type fault finding in multithreaded software. The algorithm is implemented in the Google TSan tool.
Oleg V. Doronin +4 more
doaj +1 more source
Intersection traffic deadlock formation and its probability: A petri net‐based modeling approach
IET Intelligent Transport Systems, 2022 Although traffic deadlock at an intersection is a common phenomenon during rush hours, the deadlock formation metrics such as formation probability and duration have not been derived yet.
HongSheng Qi +3 more
doaj +1 more source
BFO-ACO roaming path planning based on multi-constraint scenarios
Shenzhen Daxue xuebao. Ligong ban, 2022 In recent years, when the path planning based on ant colony algorithm is used to find the optimal path under multiple constraints, it is easy to fall into the local optimal solution and lead to slow convergence.
LIN Xiaoling +3 more
doaj +1 more source
On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets
IEEE Access, 2020 Automated manufacturing systems (AMSs) are prone to be in deadlock states when resource allocation is unreasonable. Reasonably allocating system resources to achieve deadlock control is a primary task of the design of an AMS.
Rongfeng Lin +4 more
doaj +1 more source
Fungal interactions induce changes in hyphal morphology and enzyme production
Mycology, 2021 In nature, species interacts/competes with one other within their surrounding for food and space and the type of interactions are unique to each species.
Samim Dullah +8 more
doaj +1 more source
Ring-Split: Deadlock-Free Routing Algorithm for Circulant Networks-on-Chip
Micromachines, 2023 This article considers the usage of circulant topologies as a promising deadlock-free topology for networks-on-chip (NoCs). A new high-level model, Newxim, for the exploration of NoCs with any topology is presented. Two methods for solving the problem of
Aleksandr Y. Romanov +4 more
doaj +1 more source