Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models.

Stephan Wilhelm Björn Wachter

Published in: WCET (2007)

Keyphrases

statistical analysis
high level
image analysis
markov chain
complex systems
statistical model
statistical models
prefetching
back end
highly efficient
empirical data