3742 search results - page 498 / 749 » On the Use of Formal Techniques for Validation |
184
click to vote
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
175
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
One of the techniques used to support decisions in uncertain environments is the Fuzzy TOPSIS method. However, from crisp data, this method considers only one fuzzy set in their a...
160
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper addresses the problem of estimating time to collision from local motion eld measurements in the case of unconstrained relative rigid motion and surface orientation. It ...
163
click to vote
APSEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
145
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Bright-field (BF) microscopy enables imaging the beating embryonic zebrafish heart at high frame rates, thereby revealing motion of both tissues that form the heart and red bloo...