Design Space Exploration Problem Formulation for Dataflow Programs on Heterogeneous Architectures | IEEE Conference Publication | IEEE Xplore