Parallel Processing, Machine Dependency and Program Verification.

Published in: Design and Implementation of Programming Languages (1976)

Keyphrases

parallel processing
processing speed
computational power
distributed processing
ibm sp
parallel computation
tree decomposition
parallel architectures
parallel architecture
pc cluster
load balancing
parallel computers
electronic circuits