289 search results - page 33 / 58 » Verification Patterns for Rapid Embedded System Verification |
127
Voted
TSE
2008
15 years 2 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
116
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
135
Voted
EATIS
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...
124
Voted
MVA
2000
15 years 3 months ago
2000
In this paper, a high-performance face recognition terminal for access control systems is described. The terminal is specially designed to acquire stable face patterns for reliabl...
115
Voted
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
A multiple description scalar quantization (MDSQ) based coding system can be regarded as a source coder (quantizer) followed by a channel coder, i.e. the combination of index and ...