6040 search results - page 391 / 1208 » Generating Instance Models from Meta Models |
129
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
177
click to vote
DATE
2010
IEEE
15 years 12 months 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...
204
Voted
TIT
2008
15 years 6 months ago
2008
Abstract--In the bounded-storage model (BSM) for information-theoretic secure encryption and key agreement, one makes use of a random string R whose length t is greater than the as...
189
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...
180
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
Image-based rendering is a powerful new approach for generating real-time photorealistic computer graphics. It can provide convincing animations without an explicit geometric repr...