Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking.

Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang

Browse the full FM paper archive.