Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs.
Muhammad Hannan KhanOsman HassanShahid KhanPublished in: ICTAC (2021)
Keyphrases
- probabilistic model
- graphical models
- language model
- floating point
- generative model
- general purpose
- graphics processing units
- bayesian networks
- computational power
- game playing
- expectation maximization
- arithmetic operations
- parallel processing
- parallel programming
- graphics hardware
- gpu implementation
- genetic algorithm
- parallel architectures