221 search results - page 31 / 45 » Embedded Fingerprint Verification System |
APSEC
1999
IEEE
14 years 2 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
AHS
2007
IEEE
14 years 1 months ago
2007
IEEE
In the system-on-chip (SoC) era, the growing number of functionalities included on a single chip requires the development of new design methodologies to keep the design complexity...
JTRES
2010
ACM
13 years 10 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
WORDS
2002
IEEE
14 years 2 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
Many safety-critical embedded systems are subject to certification requirements. However, only a subset of the functionality of the system may be safety-critical and hence subject...