Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.

Darren D. Cofer Murali Rangarajan

Published in: EMSOFT (2002)

Keyphrases

data analysis
statistical analysis
feature analysis
scheduling problem
data sets
machine learning
learning algorithm
feature space
image retrieval
co occurrence
false positives
resource allocation
extracted features
statistical modeling
model validation