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