Sciweavers

1301 search results - page 19 / 261
» Bounded Version Vectors
Sort
View
SIAMSC
2010
132views more  SIAMSC 2010»
15 years 2 months ago
A Posteriori Error Estimates Including Algebraic Error and Stopping Criteria for Iterative Solvers
For the finite volume discretization of a second-order elliptic model problem, we derive a posteriori error estimates which take into account an inexact solution of the associated...
Pavel Jiránek, Zdenek Strakos, Martin Vohra...
COCO
1993
Springer
78views Algorithms» more  COCO 1993»
15 years 8 months ago
The Quantitative Structure of Exponential Time
Recently Lutz [14,15] introduced a polynomial time bounded version of Lebesgue measure. He and others (see e.g. [11,13,14,15,16,17,18,20]) used this concept to investigate the quan...
Jack H. Lutz
ICCAD
1997
IEEE
106views Hardware» more  ICCAD 1997»
15 years 8 months ago
Accurate power estimation for large sequential circuits
A power estimation approach is presented in which blocks of consecutive vectors are selected at random from a user-supplied realistic input vector set and the circuit is simulated...
Joseph N. Kozhaya, Farid N. Najm
DAC
2004
ACM
15 years 7 months ago
Implicit pseudo boolean enumeration algorithms for input vector control
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
Kaviraj Chopra, Sarma B. K. Vrudhula
ICIP
1995
IEEE
16 years 5 months ago
A lattice vector quantizer for generalized Gaussian sources
A fixed-rate lattice vector quantizer for generalized Gaussian (GG) sources is presented. By using the contour of counstant probability of a generalized Gaussian source to bound t...
Feng Chen, Zheng Gao, John D. Villasenor