Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver.
Mingxuan Yuan, Xiuqiang He, Zonghua Gu
VenueARTAS
Year2008
ProceedingsIEEE Real-Time and Embedded Technology and Applications Symposium
DBLP recordconf/rtas/YuanHG08 ↗
Browse the full RTAS paper archive.