Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking. - Xueyang Zhu; Rongjie Yan; Yu-Lei Gu; Jian Zhang 001; Wenhui Zhang; Guangquan Zhang 002 (FM, 2015)

Pareto Optimal Scheduling of Synchronous Data Flow Graphs via Parallel Methods. - Yu-Lei Gu; Xueyang Zhu; Guangquan Zhang 002 (SETTA, 2015)

基于异构多核平台的同步数据流图帕累托优化与调度 (Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform). - Yu-Lei Gu; Xueyang Zhu; Rongjie Yan; Guangquan Zhang 002 (计算机科学, 2015)

Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor. - Yu-Lei Gu; Xue-Yang Zhu; Guangquan Zhang 002; Yifan He (ICECCS, 2016)