528 search results - page 42 / 106 » Construction of concrete verification models from C |
SCESM
2006
ACM
14 years 2 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
VLSID
2002
IEEE
14 years 9 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
ESWA
2008
13 years 8 months ago
2008
Associative classification is a promising classification approach that utilises association rule mining to construct accurate classification models. In this paper, we investigate ...
CAGD
2010
13 years 8 months ago
2010
This paper derives strong relations that boundary curves of a smooth complex of patches have to obey when the patches are computed by local averaging. These relations restrict the...
POPL
2010
ACM
13 years 9 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...