Correctness Proof for a Distributed Memory System.
Vicent CholviJosé M. Bernabéu-AubánPublished in: Euro-Par, Vol. I (1996)
Keyphrases
- distributed memory
- shared memory
- ibm sp
- parallel implementation
- multiprocessor systems
- fine grain
- provably correct
- parallel computers
- multi processor
- scientific computing
- parallel architecture
- theorem prover
- parallel processing
- theorem proving
- matrix multiplication
- data parallelism
- multithreading
- computer vision
- genetic algorithm
- similarity measure