3799 search results - page 565 / 760 » An Engineering Approach to Formal Methods |
138
click to vote
IIWAS
2007
15 years 8 months ago
2007
: The discovery of the ”right” ontology or ontology part is a central ingredient for effective ontology re-use. We present an approach for supporting a form of adaptive re-use...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
168
click to vote
IJISTA
2007
15 years 6 months ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
193
click to vote
ASPDAC
2012
ACM
14 years 2 months ago
2012
ACM
—There is great demand for an accurate and scalable metric to evaluate the functional stimuli, testbench checkers, and DfD (Design-for-Debug) structures used in post-silicon timi...
176
click to vote
QOSA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...