Automated Reasoning About Parallel Algorithms Using Powerlists.
Deepak KapurMahadevan SubramaniamPublished in: AMAST (1995)
Keyphrases
- parallel algorithm
- parallel computation
- shared memory
- discovery of association rules
- parallel programming
- parallel version
- pc cluster
- cluster of workstations
- medial axis transform
- processor array
- combinatorial search problems
- real time
- data mining
- search strategies
- message passing interface
- parallel implementations