1146 search results - page 141 / 230 » Applications of the TAMPR Transformation System |
132
click to vote
VRST
2004
ACM
15 years 10 months ago
2004
ACM
An important, potential application of image-based techniques is to create photo-realistic image-based environments for interactive walkthrough. However, existing image-based stud...
170
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
139
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
161
click to vote
SOFSEM
2012
Springer
14 years 5 days ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
169
Voted
LCPC
1998
Springer
15 years 8 months ago
1998
Springer
The automatic parallelization of C has always been frustrated by pointer arithmetic, irregular control flow and complicated data aggregation. Each of these problems is similar to f...