Improving Branch Prediction Related WCET Abstract Interpretation.

Stéphane Louise

Published in: RTCSA (2) (2011)

Keyphrases

abstract interpretation
prediction model
termination analysis
information systems
model checking
active rules