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

Louis Mandel, Florence Plateau

Browse the full MPC paper archive.