Synthesis of Memory Fences via Refinement Propagation.

Yuri Meshman Andrei Marian Dan Martin T. Vechev Eran Yahav

Published in: SAS (2014)

Keyphrases

memory requirements
memory usage
random access
memory space
analog circuits
case based reasoning
limited memory
associative memory
texture synthesis
computing power
memory capacity
data sets
refinement process
main memory
search algorithm
bayesian networks
real world