BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation.
Jean FortinFrédéric GavaPublished in: Int. J. Parallel Program. (2016)
Keyphrases
- machine learning algorithms
- times faster
- orders of magnitude
- binary space partitioning
- graph theory
- benchmark datasets
- data structure
- object oriented
- significant improvement
- data model
- evolutionary algorithm
- search space
- learning algorithm
- data sets
- computational cost
- database
- worst case
- theoretical analysis
- computer vision
- model checking
- data mining
- quadtree
- neural network
- software tools