K-Periodic schedules for evaluating the maximum throughput of a Synchronous Dataflow graph | IEEE Conference Publication | IEEE Xplore