980 search results - page 114 / 196 » Novel Test Pattern Generators for Pseudo-Exhaustive Testing |
ICCD
2008
IEEE
14 years 4 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
This paper proposes a statistic framework for segmenting textured areas over real images by discriminant snakes. Our active contour model has the ability to learn different textur...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
DEXA
2007
Springer
14 years 1 months ago
2007
Springer
Since a big part of web content is stored in relational databases (RDB) there are several approaches for generating of semantic web metadata from RDB. In our previous work we desig...