892 search results - page 104 / 179 » An efficient terminal and model order reduction algorithm |
152
click to vote
GLVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
150
Voted
CIIA
2009
15 years 4 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
133
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Over the years, many tensor based algorithms, e.g. two dimensional principle component analysis (2DPCA), two dimensional singular value decomposition (2DSVD), high order SVD, have...
139
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
A considerable amount of work in larger film and video restoration projects is dedicated to manually exploring the audiovisual content in order to estimate the costs for restorati...
125
Voted
ATS
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a low-power testing methodology for the scan-based BIST. A smoother is included in the test pattern generator (TPG) to reduce average power consumption d...