A Correctness Proof of Parallel Scan.

John T. O'Donnell

Published in: Parallel Process. Lett. (1994)

Keyphrases

parallel implementation
provably correct
theorem prover
shared memory
parallel processing
theorem proving
information systems
knowledge base
three dimensional
multiscale
medical images
computer architecture
parallel computation
distributed memory
logical rules
distributed memory machines