LOOPUS - A Tool for Computing Loop Bounds for C Programs.

Moritz Sinn Florian Zuleger

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

lower bound
decision trees
upper bound
real time
genetic algorithm
website
image sequences
learning environment
user friendly
upper and lower bounds
free software