86 search results - page 2 / 18 » Thorough Checking Revisited |
IJON
2006
13 years 5 months ago
2006
In this paper we revisit a classic HOS-based BSS criterion, namely the maximization of the higher-order moments of the estimated sources. The main contributions of this paper are:...
SAS
2009
Springer
14 years 5 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
EUROCAST
2007
Springer
13 years 9 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...