2374 search results - page 375 / 475 » Automatic Generation of Model Translations |
138
click to vote
MICRO
2000
IEEE
15 years 8 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
136
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
We consider the problem of automatically generating viewpoint motions for a virtual camera tracking a moving target. Given the target's trajectory, we plan the motion of a ca...
147
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
138
click to vote
TOG
2008
15 years 4 months ago
2008
Clouds play an important role for creating realistic images of outdoor scenes. In order to generate realistic clouds, many methods have been developed for modeling and animating c...
163
click to vote
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...