1342 search results - page 189 / 269 » MEMS Design And Verification |
177
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
166
click to vote
FLAIRS
2009
15 years 3 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
160
click to vote
ICCSA
2009
Springer
15 years 3 months ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
172
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
240
click to vote
Publication
Facial feature localization is an important task in numerous applications of face image analysis that
include face recognition and verification, facial expression recognition, dr...