221 search results - page 21 / 45 » Embedded Fingerprint Verification System |
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
Embedded systems often come with constrained memory footprints. It is therefore essential to ensure that software running on such platforms fulfils memory usage specifications at c...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
IASTEDSEA
2004
13 years 11 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
CIARP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The implementation of a pseudo text-independent Speaker Verification system is described. This system was designed to use only information extracted directly from the cod...