4276 search results - page 313 / 856 » Techniques for Empirical Validation |
154
click to vote
ISESE
2003
IEEE
16 years 1 days ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
170
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present simulation techniques to estimate the worst-case voltage variation using a RC model for the power distribution network. Pattern independent maximum envel...
162
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
Knowledge discovery in databases (KDD) is an increasingly widespread activity. KDD processes may entail the use of a large number of data manipulation and analysis techniques, and...
152
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
202
click to vote
AICCSA
2008
IEEE
15 years 8 months ago
2008
IEEE
Nanodevices based circuit design will be based on the acceptance that a high percentage of devices in the design will be defective. In this work, we investigate a defect tolerant ...