Pattern-based Synthesis of Synchronization for the C++ Memory Model.
Yuri MeshmanNoam RinetzkyEran YahavPublished in: FMCAD (2015)
Keyphrases
- computational model
- probabilistic model
- experimental data
- statistical model
- theoretical analysis
- theoretical framework
- mathematical model
- social networks
- network model
- high level
- similarity measure
- formal model
- cost function
- database
- probability distribution
- autoregressive
- management system
- prior knowledge
- evolutionary algorithm
- image segmentation
- data mining