Login / Signup
Verifying, validating and monitoring the open Ravenscar real time kernel.
Ricardo Maia
Flávio Moreira
R. Barbosa
Diamantino Costa
Kjeld Hjortaes
Patricia Rodríguez
Luís Miguel Pinho
Published in:
IRTAW (2003)
Keyphrases
</>
real time
monitoring system
low cost
activity monitoring
situational awareness
health monitoring
control system
quality of service
complex event processing
continuous monitoring
data acquisition
gaussian processes
kernel regression
sparse kernel