A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
[chapter]
2009
Lecture Notes in Computer Science
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). For this purpose we exploit the fact that some of the basic algorithms for probabilistic model checking rely on matrix vector multiplication. Since this kind of linear algebraic operations are implemented very efficiently on GPGPUs, the new parallel algorithms can achieve considerable runtime improvements compared to their counterparts on standard architectures. We implemented
doi:10.1007/978-3-642-02652-2_7
fatcat:kmsnlyuc65fzfc3b33ejjdvboi