An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.

Weichen Liu Zonghua Gu Jiang Xu Yu Wang 0002 Mingxuan Yuan An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. 61-70 2009 CODES+ISSS http://doi.acm.org/10.1145/1629435.1629445 conf/codes/2009 db/conf/codes/codes2009.html#LiuGXWY09