Login / Signup
Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration.
Simos Gerasimou
Radu Calinescu
Alec Banks
Published in:
SEAMS (2014)
Keyphrases
</>
closed form
cost effective
databases
computationally expensive
model checking
computationally efficient
lightweight
distributed systems
dynamic programming
upper bound
query processing
database systems
case study
information retrieval
data sets
data access
asynchronous circuits