Login / Signup
Validation of memory accesses through symbolic analyses.
Henrique Nazaré
Izabela Maffra
Willer Santos
Leonardo Barbosa e Oliveira
Laure Gonnord
Fernando Magno Quintão Pereira
Published in:
OOPSLA (2014)
Keyphrases
</>
memory space
memory requirements
memory capacity
memory usage
neural network
memory access
access patterns
limited memory
high level
machine learning
multi dimensional
error analysis
data sets
symbolic representation
search algorithm
random access
data structure
case study
memory size
symbolic data
disk accesses