A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction.
Cristian Daniel RosaStephan MerzMartin QuinsonPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- theoretical analysis
- formal model
- mathematical model
- probabilistic model
- experimental data
- probability distribution
- management system
- data sets
- objective function
- statistical model
- prior knowledge
- expert systems
- object oriented
- open source
- computational model
- process model
- network structure
- neural network model
- simulation model
- information systems