A Formally Verified Buddy Memory Allocation Model.
Ke JiangDavid SanánYongwang ZhaoShuanglong KanYang LiuPublished in: ICECCS (2019)
Keyphrases
- high level
- computational model
- multiscale
- formal model
- conceptual model
- mathematical model
- theoretical framework
- database
- parameter estimation
- management system
- cost function
- training data
- probability distribution
- probabilistic model
- process model
- expert systems
- sensitivity analysis
- bayesian framework
- hybrid model
- analytical model