Bugaroo: Exposing Memory Model Bugs in Many-Core Systems.
Mohammad Majharul IslamAbdullah MuzahidPublished in: ISSRE (2018)
Keyphrases
- computational model
- computational models
- theoretical analysis
- mathematical models
- probabilistic model
- management system
- prior knowledge
- high level
- probability distribution
- mathematical model
- experimental data
- cost function
- distributed systems
- data mining
- parameter estimation
- theoretical framework
- neural network model
- reinforcement learning
- formal model