4930 search results - page 99 / 986 » Testing a Safety-Critical Application |
138
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
We give an algorithm to model any given multiple stuck-at fault as a single stuck-at fault. The procedure requires insertion of at most ? ? ? modeling gates, when the multiplicity...
141
click to vote
DSRT
2002
IEEE
15 years 10 months ago
2002
IEEE
The paper describes an experimental web-based environment for teaching and testing. The application named Nautilus has been developed using Virtual Reality Modeling Language (VRML...
148
click to vote
ENTCS
2002
15 years 4 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
129
click to vote
ECEASST
2010
15 years 2 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
269
click to vote
CISISSPAIN
2011
14 years 8 months ago
2011
In last decades there have been many proposals from the machine learning community in the intrusion detection field. One of the main problems that Intrusion Detection Systems (IDSs...