Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput OptimizationWeichen Liu, Xue Liu, Xiuqiang He et al.|Unknown|2008Cited by 46
An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checkingWeichen Liu, Mingxuan Yuan, Zonghua Gu et al.|Unknown|2009Cited by 26