43 search results - page 1 / 9 » An Efficient Filter-Based Approach for Combinational Verific... |
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
ICMCS
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents an effective method to combine speech recognition, speaker verification and face verification for biometric authentication. Our method provides a light-weight ...
ASPDAC
2001
ACM
13 years 8 months ago
2001
ACM
Abstract- Traditional state-traversal-basedmethods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if...
DAC
2004
ACM
14 years 5 months ago
2004
ACM
Previous results show that both flat and hierarchical methodologies present obstacles to effectively completing combinational equivalence checking. A new approach that combines th...
CAV
2004
Springer
13 years 8 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...