Sign in
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.
David Castro
Kevin Hammond
Susmit Sarkar
Published in:
ICFP (2016)
Keyphrases
</>
data streams
real world
data sets
parallel processing
process model
decision making
real time
information systems
image sequences
genetic algorithm
relational databases
query processing
text mining
neural network
shared memory
spatial reasoning
transactional data