Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n

Louis Mandel, Florence Plateau. Scheduling and Buffer Sizing of n-Synchronous Systems - Typing of Ultimately Periodic Clocks in Lucy-n. In Jeremy Gibbons, Pablo Nogueira, editors, Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Volume 7342 of Lecture Notes in Computer Science, pages 74-101, Springer, 2012. [doi]

Abstract

Abstract is missing.