A model-extraction approach to verifying concurrent C programs with CADP.
María-del-Mar GallardoChristophe JoubertPedro MerinoDavid SanánPublished in: Sci. Comput. Program. (2012)
Keyphrases
- mathematical model
- information retrieval
- bayesian framework
- closed form
- computational model
- cost function
- input data
- real time
- experimental data
- conceptual model
- autoregressive
- database systems
- linear model
- prediction model
- neural network model
- sensitivity analysis
- genetic algorithm
- statistical model
- decision making
- e learning
- parameter estimation
- least squares
- recommender systems