Verified resource guarantees using COSTA and KeY.

Elvira Albert Richard Bubel Samir Genaim Reiner Hähnle Germán Puebla Guillermo Román-Díez

Published in: PEPM (2011)

Keyphrases

database
resource allocation
resource management
machine learning
information retrieval
bayesian networks
preprocessing
response time
allocation scheme