2673 search results - page 189 / 535 » Guided Static Analysis |
119
click to vote
ICGA
2006
15 years 4 months ago
2006
Who is the best chess player of all time? Chess players are often interested in this question that has never been answered authoritatively, because it requires comparison between c...
123
Voted
BIOINFORMATICS
2005
15 years 4 months ago
2005
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
138
Voted
DAC
2008
ACM
16 years 5 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...
119
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
123
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— The impact of process variations increases as technology scales to nanometer region. Under large process variations, the path and arc/node criticality [18] provide effe...