Exact High Level WCET Analysis of Synchronous Programs by Symbolic State Space Exploration.

George Logothetis Klaus Schneider

Published in: DATE (2003)

Keyphrases

high level
space exploration
intermediate level
higher level
low level
data analysis
real time
evolutionary algorithm
lower bound
programming language
computer vision
statistical analysis
quantitative analysis
parameter settings
control algorithm
obstacle avoidance
genetic algorithm
database