Login / Signup
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