Partitioning and Pipelined Scheduling of Embedded System Using Integer Linear Programming.

Shiann-Rong Kuang Chin-Yang Chen Ren-Zheng Liao

Published in: ICPADS (2) (2005)

Keyphrases

integer linear programming
bicriteria
column generation
scheduling problem
linear inequalities
scheduling algorithm
boolean satisfiability
pseudo boolean
linear programming
global constraints
reinforcement learning
branch and bound