285 search results - page 28 / 57 » Performance and Functional Verification of Microprocessors |
127
Voted
WACV
2002
IEEE
15 years 8 months ago
2002
IEEE
Fingerprint matching is still a challenging problem for reliable person authentication because of the complex distortions involved in two impressions of the same finger. In this p...
162
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...
168
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
This paper describes a new design methodology to analyze the on-chip power supply noise for high performance microprocessors. Based on an integrated package-level and chip-level p...
122
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The paper develops a novel approach to stream cipher design: Both the state update function and the output function of the corresponding pseudorandom generators are compositions of...
127
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...