Sciweavers

2374 search results - page 21 / 475
» Automatic Generation of Model Translations
Sort
View
88
Voted
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
15 years 2 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
COLING
2010
14 years 4 months ago
YanFa: An Online Automatic Scoring and Intelligent Feedback System of Student English-Chinese Translation
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
Yan Tian
MT
2006
106views more  MT 2006»
14 years 9 months ago
Example-based machine translation based on tree-string correspondence and statistical generation
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
Zhan-yi Liu, Haifeng Wang, Hua Wu
B
2007
Springer
15 years 1 months ago
Automatic Translation from Combined B and CSP Specification to Java Programs
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
Letu Yang, Michael Poppleton