A Formally Verified WCET Estimation Tool.

André Maroneze Sandrine Blazy David Pichardie Isabelle Puaut

Published in: WCET (2014)

Keyphrases

software tools
user friendly
density estimation
neural network
feature selection
knowledge base
multiscale
data structure
artificial neural networks
multiresolution
probabilistic model
estimation algorithm
error analysis
accurate estimation
estimation process