PARAS: system-level concurrent partitioning and scheduling. - Wing Hang Wong; Rajiv Jain (ICCAD, 1995)