|
[WB12]
Anton Wijs and Dragan Bosnacki.
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking.
In A. Donaldson and D. Parker (editors), Proc. 19th International SPIN Workshop on Model Checking of Software (SPIN'12), volume 7385 of LNCS, pages 98-116, Springer.
2012.
[Presents new methods for GPU-based probabilistic model checking, implemented as an extension of PRISM.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|