Proving Assertions about Parallel Programs.

Edward A. Ashcroft

Published in: J. Comput. Syst. Sci. (1975)

Keyphrases

parallel processing
sorting algorithms
high level programming language
real world
genetic algorithm
massively parallel
data sets
knowledge base
image processing
multiscale
general purpose
parallel implementation
parallel computing
parallel computation
distributed memory
parallel hardware