A type system for the automatic distribution of higher-order synchronous dataflow programs.
Gwenaël DelavalAlain GiraultMarc PouzetPublished in: LCTES (2008)
Keyphrases
- higher order
- control flow
- fully automatic
- data driven
- uniformly distributed
- probability distribution
- natural images
- lambda calculus
- programming environment
- computer programs
- high order
- semi automatic
- pairwise
- multiscale
- genetic algorithm
- random variables
- markov random field
- case study
- power law
- neural network
- data sets