|
[BES09]
D. Bosnacki and S. Edelkamp and D. Sulewski.
Efficient Probabilistic Model Checking on General Purpose Graphics Processors.
In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 32-49, Springer.
2009.
[bib]
[Presents techniques for parallel probabilistic model checking on GPUs, implemented as an extension of PRISM.
]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|