Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.
Zonghua Gu, Mingxuan Yuan, Xiuqiang He
VenueARTAS
Year2007
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/GuYH07 ↗
Browse the full RTAS paper archive.