Sciweavers

2119 search results - page 90 / 424
» Structure-Preserving Model Reduction
Sort
View
ICCAD
1996
IEEE
129views Hardware» more  ICCAD 1996»
15 years 7 months ago
Accurate interconnect modeling: towards multi-million transistor chips as microwave circuits
-- In this tutorial we discuss concepts and techniques for the accurate and efficient modeling and extraction of interconnect parasitics in VLSI designs. Due toincreasing operating...
N. P. van der Meijs, T. Smedes
BMVC
1998
15 years 4 months ago
Self-Calibrating Surface Reconstruction for the ModelMaker
The ModelMaker [8] is a commercially available hand-held laser scanner mounted on an articulated arm. In this paper we present results from postprocessing of ModelMaker data and a...
S. J. Cunnington, Andrew J. Stoddart
SPIN
2001
Springer
15 years 7 months ago
Model Checking Systems of Replicated Processes with Spin
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
Fabrice Derepas, Paul Gastin
ISBI
2004
IEEE
16 years 3 months ago
A Bayesian Approach to Image Restoration
A method for reducing additive noise in images by explicit analysis of local image statistics is introduced and compared to other noise reduction methods. The proposed method, whi...
Andreas Wrangsjö, Hans Knutsson, Magnus Borga
WSC
1998
15 years 4 months ago
Efficiency Improvement by Lattice Rules for Pricing Asian Options
This paper compares Monte Carlo methods, lattice rules, and other low-discrepancy point sets on the problem of evaluating asian options. The combination of these methods with vari...
Christiane Lemieux, Pierre L'Ecuyer