Formal Modeling for a Real-Time Scheduler and Schedulability Analysis.

Sung-Jae Kim Jin-Young Choi

Published in: PaCT (2003)

Keyphrases

real time
statistical analysis
formal analysis
formal model
statistical modeling
data sets
real world
machine learning
image processing
three dimensional
database systems
low cost