WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation.

Steven Varoumas Tristan Crolard

Published in: WCET (2019)

Keyphrases

detection method
significant improvement
neural network
bayesian networks
dynamic programming
experimental evaluation
high accuracy
learning algorithm
image processing
computational cost
image quality
model selection