Login / Signup
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
Gwenaël Delaval
Alain Girault
Marc Pouzet
Published in:
CoRR (2012)
Keyphrases
</>
higher order
natural images
probability distribution
control flow
pairwise
spatial distribution
data flow
lower order
fully automatic
high order
uniformly distributed
lambda calculus
recently developed
expert systems
markov models
low order
semi automatic
database machine