Type-Driven Automated Program Transformations and Cost Modelling for Optimising Streaming Programs on FPGAs.
Wim VanderbauwhedeSyed Waqar NabiCristian UrleaPublished in: Int. J. Parallel Program. (2019)
Keyphrases
- computer programs
- control program
- automatic programming
- program execution
- programming environment
- prolog programs
- data driven
- java programs
- high level programming language
- computer chess
- recursive programs
- functional programs
- semi automated
- symbolic execution
- cost sensitive
- modelling language
- video streaming
- intermediate level
- control flow
- image processing
- program synthesis
- high cost
- program slicing
- answer sets
- hardware designs
- undergraduate engineering
- low cost