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.

Authors

Zhenjiang Hu

Identified as Zhenjiang Hu

Hideya Iwasaki

This author has not been identified. Look up 'Hideya Iwasaki' in Google

Masato Takeichi

This author has not been identified. Look up 'Masato Takeichi' in Google