Login / Signup

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution.

Jan GustafssonAndreas ErmedahlChrister SandbergBjö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