1338 search results - page 50 / 268 » Consistent Code Generation from UML Models |
143
click to vote
SPIN
2012
Springer
13 years 4 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
133
click to vote
PCM
2001
Springer
15 years 7 months ago
2001
Springer
This paper presents a fast and robust sprite generation algorithm for MPEG-4 video coding. Our contributions consist of two aspects. Firstly, a fast and robust Global Motion Estima...
133
Voted
MVA
1998
15 years 2 months ago
1998
Abstract. This paper presents a new multi-pass hierarchical stereo-matching approach for generation of digital terrain models (DTMs) from two overlapping aerial images. Our method ...
129
Voted
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...
130
Voted
IGIS
1994
15 years 6 months ago
1994
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...