Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs

Khan, Muhammad Hannan (Corresponding author); Hassan, Osman; Khan, Shahid (Corresponding author)

Cham, Switzerland : Springer (2021)
Contribution to a book, Contribution to a conference proceedings

In: Theoretical aspects of computing - ICTAC 2021 : 18th International Colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8-10, 2021 : proceedings / Antonio Cerone, Peter Csaba Ölveczky (eds.)
Page(s)/Article-Nr.: 86-104