Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs.

Muhammad Hannan Khan, Osman Hassan, Shahid Khan

Browse the full ICTAC paper archive.