Login / Signup
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.
Jan Gustafsson
Andreas Ermedahl
Christer Sandberg
Björn Lisper
Published in:
RTSS (2006)
Keyphrases
</>
upper bound
lower bound
image analysis
data driven
feature selection
data analysis
error bounds
real time
learning algorithm
computer vision
information systems
semi automatic
static analysis