Results 1 to 10 of about 2,779,533 (252)
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
Deadlock Detection in Multi-threaded Program Based on Petri Net [PDF]
Jisuanji gongcheng, 2016 Deadlock detection is in general difficult in concurrent program.Aiming at this problem,this paper proposes a method of deadlock detection in multi-threaded program based on Petri net.It defines a Petri net model which describes the lock operation in ...
HUANG Li,GU Naijie,CAO Huaxiong
doaj +2 more sources
Survey on Multithreaded Data Race Detection Techniques [PDF]
Jisuanji kexue, 2022 Nowadays the multi-core processors and threaded parallel programs are increasingly more used.However,the uncertainty of multi-threaded program leads to concurrency problems such as data race,atomicity violation,order violation and deadlock in the process
ZHAO Jing-wen, FU Yan, WU Yan-xia, CHEN Jun-wen, FENG Yun, DONG Ji-bin, LIU Jia-qi
doaj +1 more source
Sensors, 2022 In modern computer systems, distributed systems play an increasingly important role, and modeling and verification are crucial in their development. The specificity of many systems requires taking this into account in real time, as time dependencies ...
Wiktor B. Daszczuk
doaj +1 more source
IEEE Access, 2022 The adoption of electronic patient records in hospitals will provide numerous benefits, but it will also present new issues. One of these is the creation of deadlocks, which causes delays in conducting tasks such as obtaining patient information.
Marwan H. Hassan +2 more
doaj +1 more source
Computation Tree Logic with Deadlock Detection [PDF]
Logical Methods in Computer Science, 2009 We study the equivalence relation on states of labelled transition systems of satisfying the same formulas in Computation Tree Logic without the next state modality (CTL-X).
Rob van Glabbeek +2 more
doaj +1 more source
Deadlock-Free Online Plan Repair in Multi-robot Coordination with Disturbances
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Multirobot systems are increasingly deployed in environments where they interact with humans. From the perspective of a robot, such interaction could be considered a disturbance that causes a well-planned trajectory to fail.
Adem Coskun +2 more
doaj +1 more source
Formal verification of a deadlock detection algorithm [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with wormhole switching.
Freek Verbeek, Julien Schmaltz
doaj +1 more source
IEEE Access, 2021 A reconfigurable manufacturing system (RMS) means that it can be reconfigured and become more complex during its operation. In RMSs, deadlocks may occur because of sharing of reliable or unreliable resources.
Husam Kaid +3 more
doaj +1 more source
IEEE Access, 2020 Previously, different deadlock control strategies for automated manufacturing systems (AMSs) based on Petri Nets with reliable resources have been proposed. However, in real-world applications, resources may be unreliable.
Husam Kaid +6 more
doaj +1 more source