Sign in

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

Sung-Jae KimJin-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