Certifying Execution Time.

Vitor Rodrigues João Pedro Pedroso Mário Florido Simão Melo de Sousa

Published in: FOPARA (2011)

Keyphrases

execution model
database
computer vision
management system
dynamic environments
neural network
artificial intelligence
bayesian networks
data flow
program execution