Formal worst-case timing analysis of Ethernet TSN's burst-limiting shaper.

Daniel Thiele Rolf Ernst

Published in: DATE (2016)

Keyphrases

worst case
upper bound
lower bound
average case
formal model
error bounds
real world
approximation algorithms
high speed
learning algorithm
worst case analysis
np hard
greedy algorithm
formal language
tcp ip
expert systems
natural language
neural network
formal models
running times
formal representation