Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs. - Muhammad Hannan Khan; Osman Hassan; Shahid Khan 002 (ICTAC, 2021)

Using fixed memory blocks in GPUs to accelerate SpMV multiplication in probabilistic model checkers. - Muhammad Hannan Khan; Shahid Khan 002; Osman Hasan (J. Log. Algebraic Methods Program., 2025)