Results 21 to 30 of about 2,779,533 (252)

Deadlock Detection in FPGA Design: A Practical Approach

Tsinghua Science and Technology, 2015
Formal verification of VHSIC Hardware Description Language (VHDL) in Field-Programmable Gate Array (FPGA) design has been discussed for many years. In this paper we provide a practical approach to do so.
Dexi Wang, Fei He, Yangdong Deng, Chao Su, Ming Gu, Jiaguang Sun   +5 more
doaj   +1 more source

An Efficient Local Search for the Feedback Vertex Set Problem

Algorithms, 2013
Inspired by many deadlock detection applications, the feedback vertex set is defined as a set of vertices in an undirected graph, whose removal would result in a graph without cycle.
Zehui Shao, Zhiqiang Zhang, Ansheng Ye, Xiaoqing Zhou   +3 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, Gajanan Kanagalingam, Achim Wagner, Martin Ruskowski   +3 more
doaj   +1 more source

The parallel complexity of deadlock detection [PDF]

, 1987
When serially re-usable multi-unit resources are shared among many processes, each of which has exclusive control over some resource units, it is possible for deadlocks to happen.
Spirakis, Paul, Paul Spirakis
core   +1 more source

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

IEEE Access
Program deadlock detection plays an important role in ensuring the stability of software systems. In view of the high efficiency and low false alarm rate, dynamic deadlock analysis methods are widely studied.
Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng   +4 more
doaj   +1 more source

Trust-Based Petri Net Model for Fault Detection and Treatment in Automated Manufacturing Systems

IEEE Access, 2021
Automated manufacturing systems (AMSs) are vulnerable to failures. Trust evaluation is becoming a novel technique for detecting faults in AMSs. In this article, a two-step robust deadlock control strategy for systems with unreliable resources is proposed.
Ebrahim Ali Alzalab, Ahmed M. El-Sherbeeny, Mohammed A. El-Meligy, Hafiz Tayyab Rauf   +3 more
doaj   +1 more source

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language [PDF]

Electronic Proceedings in Theoretical Computer Science, 2010
We previously developed a polymorphic type system and a type checker for a multithreaded lock-based polymorphic typed assembly language (MIL) that ensures that well-typed programs do not encounter race conditions.
Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro   +2 more
doaj   +1 more source

Modeling a New AQM Model for Internet Chaotic Behavior Using Petri Nets

Applied Sciences, 2021
Formal modeling is considered one of the fundamental phases in the design of network algorithms, including Active Queue Management (AQM) schemes. This article focuses on modeling with Petri nets (PNs) a new scheme of AQM.
José M. Amigó, Guillem Duran, Ángel Giménez, José Valero, Oscar Martinez Bonastre   +4 more
doaj   +1 more source

Generation of Initial Contexts for Effective Deadlock Detection

, 2017
It has been recently proposed that testing based on symbolic execution can be used in conjunction with static deadlock analysis to define a deadlock detection framework that: (i) can show deadlock presence, in that case a concrete test-case and trace are
Isabel Márquez, Miguel, Albert Albiol, Elvira María, Gómez-Zamalloa Gil, Miguel   +2 more
core   +1 more source

Deadlock detection in distributed computing systems [PDF]

, 1982
With the advent of distributed computing systems, the problem of deadlock, which has been essentially solved for centralized computing systems, has reappeared.
Gehl, Michael T.
core   +2 more sources