Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (Q518409)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components |
scientific article |
Statements
Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components (English)
0 references
28 March 2017
0 references
parallel graph algorithms
0 references
strongly connected components
0 references
maximal end components
0 references
probabilistic model checking
0 references
Markov decision processes
0 references
GPU
0 references
0 references
0 references
