Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.

Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu

Browse the full RTSS paper archive.