Sciweavers

17450 search results - page 182 / 3490
» Numerical Methods with Applications
Sort
View
ASPDAC
2007
ACM
101views Hardware» more  ASPDAC 2007»
15 years 7 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 3 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 11 days 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
109
Voted
DATE
2002
IEEE
87views Hardware» more  DATE 2002»
15 years 8 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...
131
Voted
BMAS
2000
IEEE
15 years 8 months ago
A Table-Based Time-Domain Simulation Method for Oversampled Microelectromechanical Systems
This paper describes a table-based behavioral modeling method and an efficient transient simulation method for oversampled MEMS systems. A system is represented by a set of coupl...
Jiangfeng Wu, L. Richard Carley