Inproceedings,

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

, and .
MPC, volume 7342 of Lecture Notes in Computer Science, page 74-101. Springer, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews