Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.

Bin Fang Mihaela Sighireanu

Published in: LOPSTR (2016)

Keyphrases

data analysis
artificial neural networks
statistical analysis
data sets
machine learning
information systems
image processing
query processing
hierarchical structure
main memory
coarse to fine