WCET squeezing: on-demand feasibility refinement for proven precise WCET-bounds.

Jens Knoop Laura Kovács Jakob Zwirchmayr

Published in: RTNS (2013)

Keyphrases

lower bound
upper bound
upper and lower bounds
artificial intelligence
feature selection
error bounds
highly accurate