219 search results - page 5 / 44 » Model Order Reduction Techniques for Linear Systems with Lar... |
SIAMSC
2008
13 years 7 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we describe a flexible and efficient new algorithm for model order reduction of parameterized systems. The method is based on the reformulation of the parametric s...
STTT
2010
13 years 6 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
DATE
2010
IEEE
14 years 24 days ago
2010
IEEE
— This paper describes a Model Order Reduction algorithm for multi-dimensional parameterized systems, based on a sampling procedure which incorporates a low order moment matching...