962 search results - page 37 / 193 » Optimal Testing of Structured Knowledge |
115
Voted
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
109
click to vote
VTS
2008
IEEE
15 years 8 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
110
click to vote
ISVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
128
click to vote
TSE
2010
14 years 8 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
107
click to vote
JGTOOLS
2008
15 years 1 months ago
2008
Hierarchical spatial data structures provide a means for organizing data for efficient processing. Most spatial data structures are optimized for performing queries, such as inters...