C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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