Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs

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

Cham, Switzerland : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

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.)
Seite(n)/Artikel-Nr.: 86-104

Identifikationsnummern