2119 search results - page 9 / 424 » Structure-Preserving Model Reduction |
FM
2006
Springer
13 years 11 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
ASPDAC
2008
ACM
13 years 9 months ago
2008
ACM
In this paper, we propose a new model order reduction approach for large interconnect circuits using hierarchical decomposition and Krylov subspace projection-based model order re...
CORR
2012
Springer
12 years 3 months ago
2012
Springer
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the p-norm of the parameters. We discuss several implications ...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...
WSC
1998
13 years 8 months ago
1998
