221 search results - page 40 / 45 » Embedded Fingerprint Verification System |
BIOSIG
2003
13 years 11 months ago
2003
: Speaker recognition in applications of our daily lives is not yet in widespread use. In order for biometric technology to make sense for real-world authentication applications an...
ICCD
2003
IEEE
14 years 6 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
ACMSE
2006
ACM
14 years 3 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
ENTCS
2006
13 years 9 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
RTSS
1998
IEEE
14 years 2 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...