SLC: Symbolic scheduling for executing parameterized task graphs on multiprocessors | IEEE Conference Publication | IEEE Xplore