372 search results - page 49 / 75 » Transaction Based Modeling and Verification of Hardware Prot... |
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we propose a novel generative approach for face authentication, based on a Local Binary Pattern (LBP) description of the face. A generic face model is considered as ...
ICCAD
1999
IEEE
15 years 1 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
DSD
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
118
click to vote
CAV
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...