Efficient Throughput Analysis of Synchronous Dataflow Graphs via Parametric Shortest Path. - Zhengzheng Tian; Mingze Ma; Jian Hou 002 (DATE, 2026)