The following pages link to GPU-PRISM (Q31370):
Displaying 4 items.
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409) (← links)
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Accelerating SpMV multiplication in probabilistic model checkers using GPUs (Q2119962) (← links)
- Term rewriting on GPUs (Q2145278) (← links)