[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.
|
