Optimal SAT-based scheduler for time-triggered networks-on-a-chip.

Christian Scholer Rene Krenz-Baath Ayman Murshed Roman Obermaisser

Published in: SIES (2015)

Keyphrases

dynamic programming
high speed
optimal solution
low cost
high bandwidth
worst case
response time
sat solvers
resource utilization
neural network
knowledge base
complex networks
resource management