Control flow optimization in loops using interval analysis.

Mohammad Ali Ghodrat Tony Givargis Alex Nicolau

Published in: CASES (2008)

Keyphrases

interval analysis
control flow
constrained optimization
autocalibration
data flow
constraint propagation
modeling language
software testing
fuzzy set theory
constraint satisfaction problems
process model
multiple views
formal semantics