Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling.

Daniel Thiele Philip Axer Rolf Ernst

Published in: DAC (2015)

Keyphrases

high speed
scheduling problem
round robin
scheduling algorithm
formal model
resource constraints
scheduling policies
load balancing
neural network
resource allocation
data acquisition
data flow
heavy traffic
dynamic scheduling