arxivcs.PLcs.LG2026-07-23
Relaxed activation analysis of dataflow networks - A clock calculus for machine learning and real-time scheduling
William Gaudelier, Albert Cohen, Dumitru Potop Butucaru
Previous work has shown that the simple dataflow primitives of the Lustre language allow the natural, semantically unambiguous, and compact representation of machine learning (ML) applications, including models featuring complex conditional execution and recurrent state. The Lust…