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