Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs

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

Cham : Springer International Publishing (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 / edited by Antonio Cerone, Peter Csaba Ölveczky
Page(s)/Article-Nr.: 86-104