Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving.

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll

Browse the full DATE paper archive.