455 search results - page 73 / 91 » Directed test generation using symbolic grammars |
TODAES
2002
14 years 9 months ago
2002
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
111
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Multi-view stereo (MVS) algorithms now produce reconstructions
that rival laser range scanner accuracy. However,
stereo algorithms require textured surfaces, and therefore
work ...
RE
2001
Springer
15 years 2 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ICML
2008
IEEE
15 years 10 months ago
2008
IEEE
Deep Belief Networks (DBN's) are generative models that contain many layers of hidden variables. Efficient greedy algorithms for learning and approximate inference have allow...