Symbolic partitioning and scheduling of parameterized task graphs | IEEE Conference Publication | IEEE Xplore