1216 search results - page 100 / 244 » Translation analysis and translation automation |
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper we present a formal approach, based on meta-modelling and graph transformation, to the generation of environments for visual languages (VLs) supporting multiple view...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents an optimal planning problem for workpiece measurement. Two sequential optimization algorithms are introduced to find maximum determinant solutions. Then, base...
ICPR
2000
IEEE
14 years 17 days ago
2000
IEEE
A new system for personal identification based on iris patterns is presented in this paper. It is composed of iris image acquisition, image preprocessing, feature extraction and c...
SPAA
1993
ACM
14 years 7 days ago
1993
ACM
This paper concerns the problem of how to exploit parallelism during the phases of compilation involving syntaxdirected analysis and translation. In particular, we address the pro...