4930 search results - page 333 / 986 » Testing a Safety-Critical Application |
190
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
169
click to vote
INTETAIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper reports the design, implementation, and application of a new interface for augmenting performance and play on the low flying trapeze. Sensors were used to gauge the moti...
120
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
The fraction of ICs that pass all production tests but fail in the application is called the defect level. Defect levels depend on the average number of defects per IC, and also o...
144
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
The goal of this work is the design and construction of adaptive tutorials based on the application of algorithms for the automatic resolution of problems which can be used to aut...
179
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...