3984 search results - page 274 / 797 » A Model-Driven Transformation Method |
106
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper presents a parameter domain pruning method. Parameter domain pruning aims to identify parameter sub-domains that are more likely to produce feasible and good design ...
141
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
127
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
139
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
126
click to vote
ENGL
2008
15 years 5 months ago
2008
: This paper presents a method of the reformulation of equations in the inertial frame formulation, used for FEM models of flexible multibody systems, to the floating frame formula...