Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.
Mohsen SafariMarieke HuismanPublished in: ICTAC (2020)
Keyphrases
- formal verification
- computational complexity
- learning algorithm
- database
- data streams
- model checking
- computational cost
- data sets
- parallel implementations
- integer programming
- theoretical analysis
- significant improvement
- data structure
- optimization problems
- worst case
- parallel implementation
- model checker
- web services