Verifying Concurrent Graph Algorithms.
Azalea RaadAquinas HoborJules VillardPhilippa GardnerPublished in: APLAS (2016)
Keyphrases
- graph theory
- computational cost
- orders of magnitude
- machine learning algorithms
- breadth first search
- directed graph
- connected components
- optimization problems
- significant improvement
- computational complexity
- machine learning
- random walk
- data sets
- data structure
- graph partitioning
- web graph
- maximum flow
- neural network