- Title:
Static Scheduling of a Time-Triggered Network-on-Chip based on SMT Solving
- Author(s):
- Huang, Jia; Blech, Jan Olaf; Raabe, Andreas; Knoll, Christian Buckland Alois
- Book / Congress title:
- Design, Automation and Test in Europe (DATE)
- Publisher address:
- Dresden, Germany
- Year:
- 2012
- Month:
- March
- BibTeX