This article proposes a novel parallel, hardware-oriented deadlock detection algorithm for multiprocessor system-on-chips. The proposed algorithm takes full advantage of hardware ...
Many lower bound computation methods for branch and bound Max-SAT solvers can be explained as procedures that search for disjoint inconsistent subformulas in the Max-SAT instance ...
The detection of new information in a document stream is an important component of many potential applications. In this work, a new novelty detection approach based on the identif...
We propose a new algorithm to detect the presence and the localization of aliasing in a single digital image.Considering the image in Fourier domain, the fact that two frequencies...
A new detection approach based on worm behaviors for IDS anti-worm is presented. By the method, the susceptible hosts probed by worms can be detected, and then an immediate counter...