Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu. Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. In Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA. pages 353-364, IEEE Computer Society, 2007. [doi]
Abstract is missing.