Counterexample-guided SMT-driven optimal buffer sizing.

Bryan A. Brady Daniel E. Holcomb Sanjit A. Seshia

Published in: DATE (2011)

Keyphrases

dynamic programming
optimal solution
data driven
asymptotically optimal
worst case
optimal design
statistical machine translation
data sets
information retrieval
bayesian networks
natural language processing
model checking
buffer allocation