Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.

Nan Guan, Zonghua Gu, Wang Yi, Ge Yu

Browse the full ASPDAC paper archive.