Formal Synthesis of Optimal RTOS.

Tigori Kabland Toussaint Gautier Jean-Luc Béchennec Olivier Henry Roux

Published in: HPCC/CSS/ICESS (2015)

Keyphrases

dynamic programming
artificial intelligence
worst case
database
real time
data sets
databases
computer vision
database systems
image sequences
optimal solution
data structure