Marc Geilen, Twan Basten, Sander Stuijk. Minimising buffer requirements of synchronous dataflow graphs with model checking. In William H. Joyner Jr., Grant Martin, Andrew B. Kahng, editors, Proceedings of the 42nd Design Automation Conference, DAC 2005, San Diego, CA, USA, June 13-17, 2005. pages 819-824, ACM, 2005. [doi]
Abstract is missing.