A formal C memory model supporting integer-pointer casts.
Jeehoon KangChung-Kil HurWilliam ManskyDmitri GarbuzovSteve ZdancewicViktor VafeiadisPublished in: PLDI (2015)
Keyphrases
- mathematical model
- formal model
- computational model
- experimental data
- high level
- probabilistic model
- probability distribution
- management system
- hierarchical structure
- theoretical analysis
- data sets
- data structure
- multiscale
- information systems
- neural network
- information retrieval
- machine learning
- neural network model
- bayesian framework
- computational models
- simulation model