Translation Validation for Clock Transformations in a Synchronous Compiler.
Van Chan NgoJean-Pierre TalpinThierry GautierPaul Le GuernicPublished in: FASE (2015)
Keyphrases
- programming language
- high speed
- software systems
- cross language information retrieval
- distributed memory machines
- asynchronous communication
- machine translation
- duty cycle
- general purpose
- power consumption
- model validation
- parallel algorithm
- machine translation system
- statistical machine translation
- query translation
- databases
- source code
- data model
- relational databases
- database systems