Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis

Fabian Hueske Aljoscha Krettek Kostas Tzoumas

Published in: CoRR (2013)

Keyphrases

data flow
control flow
database machine
dynamic analysis
image analysis
systolic array
statistical analysis
software systems
model checking
static analysis