Optimising purely functional GPU programs.
Trevor L. McDonellManuel M. T. ChakravartyGabriele KellerBen LippmeierPublished in: ICFP (2013)
Keyphrases
- real time
- functional language
- parallel implementation
- control structures
- parallel computation
- computer vision
- functional analysis
- programming language
- programming environment
- data transfer
- gpu accelerated
- provably correct
- fixpoint
- graphics processing units
- computer programs
- parallel computing
- image sequences
- image segmentation
- information systems
- neural network