1342 search results - page 49 / 269 » MEMS Design And Verification |
DAC
2004
ACM
15 years 10 months ago
2004
ACM
DAC
2006
ACM
15 years 10 months ago
2006
ACM
106
click to vote
CASSIS
2004
Springer
15 years 1 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
SAC
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we consider the problem of speaker verification as a two-class object detection problem in computer vision, where the object instances are 1-D short-time spectral v...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...