Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.

Zonghua Gu Mingxuan Yuan Xiuqiang He Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. 32-44 2007 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2007.22 conf/rtas/2007 db/conf/rtas/rtas2007.html#GuYH07