A formal approach to the slack driven scheduling problem in high-level synthesis.

Shih-Hsu Huang Chun-Hua Cheng

Published in: ISCAS (6) (2005)

Keyphrases

scheduling problem
high level synthesis
single machine
flowshop
np hard
tabu search
parallel architecture
setup times
design space exploration
loss function
processing times
permutation flowshop
minimizing makespan
information systems
parallel machines
formal methods