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. In Wolfgang Rosenstiel, Kazutoshi Wakabayashi, editors, Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009. pages 61-70, ACM, 2009. [doi]
Abstract is missing.