Real-Time Monitoring of Ocaml programs.

Sylvain Conchon Jean-Christophe Filliâtre Fabrice Le Fessant Julien Robert Guillaume Von Tokarski

Published in: Stud. Inform. Univ. (2011)

Keyphrases

real time
activity monitoring
monitoring system
complex event processing
low cost
data sets
real time systems
control system
vision system
database
medical devices
continuous monitoring
logic programming
decision support
information technology
video sequences
information systems
real world
neural network
databases