851 search results - page 124 / 171 » History Effects and Verification |
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
We present a parametric method to automatically identify people in monocular low-resolution video by estimating the height and stride parameters of their gait. Stride parameters (...
100
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Don't-care conditions provide additional flexibility in logic synthesis and optimization. However, most work only focuses on the gate level because it is difficult to handle ...
110
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
101
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
118
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a power grid analyzer based on a random walk technique. A linear-time algorithm is first demonstrated for DC analysis, and is then extended to perform transien...