50 search results - page 4 / 10 » Coverage directed test generation for functional verificatio... |
SIGSOFT
2007
ACM
14 years 7 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
ICPR
2006
IEEE
14 years 7 months ago
2006
IEEE
Signature identification and verification has been a topic of interest and importance for many years in the area of biometrics. In this paper we present an effective method to per...
ISMVL
2007
IEEE
14 years 16 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
CORR
2011
Springer
12 years 10 months ago
2011
Springer
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...