Christian Scholer, Rene Krenz-Baath, Ayman Murshed, Roman Obermaisser. Optimal SAT-based scheduler for time-triggered networks-on-a-chip. In 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015. pages 156-161, IEEE, 2015. [doi]
Abstract is missing.