Compositional certified resource bounds.

Quentin Carbonneaux Jan Hoffmann Zhong Shao

Published in: PLDI (2015)

Keyphrases

upper bound
resource allocation
lower bound
resource constraints
average case
upper and lower bounds
resource management
multi class
confidence bounds
error bounds
online learning
worst case
special case
lower and upper bounds
website
information systems
tight bounds
resource usage
artificial intelligence