Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem.

Zhenjiang Hu Hideya Iwasaki Masato Takeichi

Published in: Euro-Par, Vol. I (1996)

Keyphrases

multi dimensional
high level programming language
computer programs
parallel processing
parallel implementation
real time
parallel programming
shared memory
np hard
expert systems
parallel computing
maximum number
case study
website
formal models
absolute difference
square error
database
distributed memory machines