298 search results - page 3 / 60 » Abstract Models of Transfinite Reductions |
ENTCS
2010
13 years 8 months ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
ICCAD
2007
IEEE
14 years 7 months ago
2007
IEEE
Abstract—This paper presents a multiparameter momentmatching based model order reduction technique for parameterized interconnect networks via a novel two-directional Arnoldi pro...
DAC
1996
ACM
14 years 3 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
EMISA
2002
Springer
13 years 10 months ago
2002
Springer
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...