2673 search results - page 154 / 535 » Guided Static Analysis |
126
click to vote
ISQED
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper is concerned with statically analyzing the susceptibility of arbitrary combinational circuits to single event upsets that are becoming a significant concern for reliabi...
143
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
132
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a novel study and analysis on two important problems in gait recognition: one is how to perform gait recognition with only segment of a complete gait cycle for...
125
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
134
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
The images of an outdoor scene collected over time are valuable in studying the scene appearance variation which can lead to novel applications and help enhance existing methods t...