Optimal Guard Synthesis for Memory Safety.

Thomas Dillig Isil Dillig Swarat Chaudhuri

Published in: CAV (2014)

Keyphrases

memory space
data mining
optimal design
optimal solution
worst case
dynamic programming
neural network
computing power
case based reasoning
video sequences
multiscale
data streams
memory requirements
computational power
computer vision
real time
finding optimal