Michel Cosnard Emmanuel Jeannot Tao Yang SLC: Symbolic Scheduling for Executing Parameterized Task Graphs on Multiprocessors. 413-421 1999 conf/icpp/1999 ICPP https://doi.org/10.1109/ICPP.1999.797429 https://doi.ieeecomputersociety.org/10.1109/ICPP.1999.797429 db/conf/icpp/icpp1999.html#CosnardJY99