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

Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi. Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. In Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert, editors, Euro-Par 96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I. Volume 1123 of Lecture Notes in Computer Science, pages 553-562, Springer, 1996.

Abstract

Abstract is missing.