Login / Signup
Enforcing resource bounds via static verification of dynamic checks.
Ajay Chander
David Espinosa
Nayeem Islam
Peter Lee
George C. Necula
Published in:
ACM Trans. Program. Lang. Syst. (2007)
Keyphrases
</>
upper bound
dynamic analysis
lower bound
dynamic environments
model checking
machine learning
dynamic constraints
case study
formal verification
error bounds
resource allocation
worst case
resource management
web resources
resource constraints
virtual organization
static analysis
dynamic routing