Implementation Correctness of a Real-Time Operating System.

Matthias Daum Norbert Schirmer Mareike Schmidt

Published in: SEFM (2009)

Keyphrases

machine learning
cooperative
computer vision
information systems
metadata
relational databases
trade off
database management systems
efficient implementation
future development