833 search results - page 40 / 167 » A Design and Test Technique for Embedded Software |
148
click to vote
EMSOFT
2008
Springer
15 years 6 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...
106
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
135
click to vote
ECCV
2004
Springer
15 years 9 months ago
2004
Springer
Computer vision methods can be applied to a variety of medical and surgical applications, and many techniques and algorithms are available that can be used to recover 3D shapes and...
133
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
135
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...