William Gaudelier

Relaxed activation analysis of dataflow networks - A clock calculus for machine learning and real-time scheduling

This work proposes a conservative extension of Lustre's clock calculus addressing this limitation, thereby facilitating the embedding of ML models in reactive applications.