2713 search results - page 11 / 543 » Parameterized Tree Systems |
AUTOMATICA
2010
13 years 10 months ago
2010
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
In this paper we propose a novel parameterized macromodeling technique for analog circuits. Unlike traditional macromodels that are only extracted for a small variation space, our...
CSL
2004
Springer
14 years 3 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
TIT
2010
13 years 4 months ago
2010
Hoffstein and Silverman suggested the use of low Hamming weight product (LHWP) exponents to accelerate group exponentiation while maintaining the security level. With LHWP exponent...
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...