OpenMP Tasking Model for Ada: Safety and Correctness.
Sara RoyuelaXavier MartorellEduardo QuiñonesLuís Miguel PinhoPublished in: Ada-Europe (2017)
Keyphrases
- probabilistic model
- computational model
- database
- experimental data
- probability distribution
- real time
- case study
- statistical model
- theoretical analysis
- parallel programming
- formal model
- neural network model
- sensitivity analysis
- process model
- parameter estimation
- distributed systems
- management system
- cost function
- prior knowledge
- objective function
- similarity measure
- knowledge base
- information systems
- information retrieval