Partitioning and Pipelined Scheduling of Embedded System Using Integer Linear Programming. - Shiann-Rong Kuang; Chin-Yang Chen; Ren-Zheng Liao (ICPADS (2), 2005)