26151 search results - page 407 / 5231 » Parameterized system design |
198
click to vote
DATE
2008
IEEE
16 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...
212
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
228
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
214
click to vote
WSCG
2003
15 years 9 months ago
2003
We describe a system for interactive animation of cloth, which can be used in e-commerce applications, games or even in virtual prototyping systems. In order not to restrict the s...