@inproceedings{090d5e4b96be4bf281ae008831562e87,
title = "An optimal lower-bound algorithm for the high-level synthesis scheduling problem",
abstract = "An optimal scheduling algorithm in High-Level Synthesis is described, which searches for the minimum time scheduling under given resource constraints. The algorithm can substantially reduce the computational effort required to obtain the exact solution using a branch-and-bound search method and some novel bounding techniques to prune the unfruitful search space. Some time properties are explored to enlighten these bounding techniques. Experimental results on several benchmarks with varying resource constraints show our algorithm is both efficient and effective.",
author = "Geguang Pu and Jifeng He and Zongyan Qiu",
year = "2006",
doi = "10.1109/DDECS.2006.1649599",
language = "英语",
isbn = "1424401852",
series = "2006 IEEE Design and Diagnostics of Electronic Circuits and systems",
pages = "149--150",
booktitle = "2006 IEEE Design and Diagnostics of Electronic Circuits and systems",
note = "2006 IEEE Design and Diagnostics of Electronic Circuits and systems ; Conference date: 18-04-2006 Through 21-04-2006",
}