A Formal Framework for Precise Parametric WCET Formulas.

Benedikt Huber Daniel Prokesch Peter P. Puschner

Published in: WCET (2012)

Keyphrases

main contribution
framework enables
theoretical framework

machine learning
genetic algorithm
social networks

multiscale
relational databases

formal model
computational framework