Simultaneous budget and buffer size computation for throughput-constrained task graphs