C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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