1818 search results - page 83 / 364 » The Many Faces of a Translation |
117
Voted
CASES
2010
ACM
14 years 10 months ago
2010
ACM
Dynamic binary translators (DBTs) are becoming increasingly important because of their power and flexibility. However, the high memory demands of DBTs present an obstacle for all ...
85
Voted
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
103
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
85
Voted
COLING
2000
15 years 2 months ago
2000
In the framework of statistical machine translation (SMT), correspondences between the words in the source and the target language are learned from bilingual corpora on the basis ...
102
click to vote
ENTCS
2008
15 years 22 days ago
2008
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...