Constraint solving for high-level WCET analysis

Adrian Prantl Jens Knoop Markus Schordan Markus Triska

Published in: CoRR (2009)

Keyphrases

constraint solving
high level
low level
constraint propagation
statistical analysis
constraint satisfaction problems