Symbolic Loop Bound Computation for WCET Analysis.

Jens Knoop Laura Kovács Jakob Zwirchmayr

Published in: Ershov Memorial Conference (2011)

Keyphrases

real time
information systems
lower bound
upper bound
statistical analysis
quantitative analysis
database
real world
binary decision diagrams