Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.

Mario Aldea Rivas Michael González Harbour José F. Ruiz

Published in: Ada-Europe (2009)

Keyphrases

probabilistic model
formal model
sensitivity analysis
statistical model
management system
operating system
computational model
mathematical model
parameter estimation
autoregressive
simulation model
conceptual model
database
em algorithm
level set
object oriented
reinforcement learning
high level