Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs