Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
Van Chan NgoJean-Pierre TalpinThierry GautierPublished in: FORTE (2015)
Keyphrases
- data flow
- control flow
- database machine
- code generation
- digital signal processing
- workflow model
- object oriented software
- signal processing
- programming language
- data transfer
- high frequency
- machine translation
- high level
- frequency domain
- software systems
- non stationary
- object oriented
- general purpose
- constraint language
- artificial intelligence
- highly modular
- bottle neck
- highly optimized
- query translation