221 search results - page 32 / 45 » Embedded Fingerprint Verification System |
112
click to vote
RTCSA
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
143
click to vote
CL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
124
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
126
Voted
OOPSLA
2000
Springer
15 years 5 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
125
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...