Sciweavers

16513 search results - page 178 / 3303
» Numerical Analysis Methods
Sort
View
AMC
2008
92views more  AMC 2008»
15 years 6 months ago
Explicit multi-step peer methods for special second-order differential equations
The construction of s-stage explicit two- and three-step peer methods of order p = 2s and p = 3s is considered for the solution of non-stiff second order initial value problems wh...
Stefan Jebens, Rüdiger Weiner, Helmut Podhais...
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Robust Analog Circuit Sizing Using Ellipsoid Method and Affine Arithmetic
-- Analog circuit sizing under process/parameter variations is formulated as a mini-max geometric programming problem. To tackle such problem, we present a new method that combines...
Xuexin Liu, Wai-Shing Luk, Yu Song, Pushan Tang, X...
CADE
2003
Springer
16 years 6 months ago
Automating the Dependency Pair Method
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
Nao Hirokawa, Aart Middeldorp
ICCAD
2004
IEEE
120views Hardware» more  ICCAD 2004»
16 years 3 months ago
A stochastic integral equation method for modeling the rough surface effect on interconnect capacitance
In this paper we describe a stochastic integral equation method for computing the mean value and the variance of capacitance of interconnects with random surface roughness. An ens...
Zhenhai Zhu, Jacob White, Alper Demir
DATE
2002
IEEE
87views Hardware» more  DATE 2002»
15 years 11 months ago
Model Reduction in the Time-Domain Using Laguerre Polynomials and Krylov Methods
We present a new passive model reduction algorithm based on the Laguerre expansion of the time response of interconnect networks. We derive expressions for the Laguerre coefficie...
Yiran Chen, Venkataramanan Balakrishnan, Cheng-Kok...