Modelization and verification of a multiprocessor realtime OS kernel.
Thierry CattelPublished in: FORTE (1994)
Keyphrases
- real time
- operating system
- kernel function
- model checking
- multiprocessor systems
- component analysis
- formal verification
- mutual subspace method
- virtual machine
- feature space
- high speed
- open source
- reproducing kernel hilbert space
- real time systems
- signature verification
- scheduling algorithm
- multiple kernel learning
- support vector
- db universal database
- machine learning
- database