Modular resetting of synchronous data-flow programs.

Grégoire Hamon Marc Pouzet

Published in: PPDP (2000)

Keyphrases

data flow
control flow
database machine
symbolic execution
data transfer
object oriented software
digital signal processing
object oriented
asynchronous communication
modular structure
workflow model
systolic array
case study