1596 search results - page 123 / 320 » Quantum property testing |
177
click to vote
WISES
2003
15 years 7 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
160
click to vote
NC
1998
15 years 7 months ago
1998
In this paper we report about an investigation in which we studied the properties of Bayes' inferred neural network classifiers in the context of outlier detection. The proble...
145
click to vote
AMC
2007
15 years 6 months ago
2007
In this paper, two anticontrol algorithms for synthesis of discrete chaos are introduced. In these algorithms, the control parameter of a discrete dynamical system is switched, ei...
179
click to vote
DEDS
2008
15 years 6 months ago
2008
This paper addresses the problem of Fault Detection and Isolation for a particular class of discrete event dynamical systems called Hierarchical Finite State Machines (HFSMs). A ne...
212
Voted
ENTCS
2006
15 years 6 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...