GPU-PRISM
From MaRDI portal
swMATH19543MaRDI QIDQ31370FDOQ31370
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/abstract/document/5698465/
Cited In (7)
- A formal verification technique for behavioural model-to-model transformations
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs
- Term rewriting on GPUs
- GPUexplore
- REFINER
- CrystalBall
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
This page was built for software: GPU-PRISM
