Towards efficient parallelization of equivalence checking algorithms.
Shipei ZhangScott A. SmolkaPublished in: FORTE (1992)
Keyphrases
- computationally expensive
- data structure
- data mining algorithms
- benchmark datasets
- machine learning
- algorithmic solutions
- computationally demanding
- efficient implementation
- orders of magnitude
- learning algorithm
- highly scalable
- theoretical analysis
- computationally efficient
- optimization problems
- cost effective
- computational efficiency
- times faster
- recently developed
- parallel processing
- highly efficient
- semi supervised
- parallel architectures
- parallel execution
- computational cost
- significant improvement