Login / Signup
symMMU: symbolically executed runtime libraries for symbolic memory access.
Anthony Romano
Dawson R. Engler
Published in:
ASE (2014)
Keyphrases
</>
memory access
data access
main memory
external memory
shared memory
access patterns
memory hierarchy
memory management
processing units
cache misses
high volume
multimedia
information systems
operating system
database management systems
data sources
data structure