A Denotational Model for Interrupt-Driven Programs.
Yanhong HuangYongxin ZhaoJianqi ShiHuibiao ZhuPublished in: ICST Workshops (2013)
Keyphrases
- formal model
- data sets
- parameter values
- expert systems
- probabilistic model
- real time
- em algorithm
- simulation model
- statistical model
- computational model
- management system
- neural network
- supply chain
- parameter estimation
- mathematical model
- cost function
- experimental data
- neural network model
- bayesian networks
- high level
- agent model