A Calculational Framework for Parallelization of Sequential Programs (1997)

by Zhenjiang Hu , Masato Takeichi
Venue:In International Symposium on Information Systems and Technologies for Network Society
Citations:2 - 0 self

Active Bibliography

2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
13 An Accumulative Parallel Skeleton for All – Z. Hu - 2001
5 Construction of List Homomorphisms by Tupling and Fusion – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
31 Parallelization in Calculational Forms – Zhenjiang Hu, Masato Takeichi, Wei-ngan Chin - 1998
1 List Homomorphism with Accumulation – Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi - 2003
18 Parallelization via Context Preservation – W N Chin, A Takano, Z Hu, Wei-ngan Chin, Akihiko Takano, Zhenjiang Hu - 1998
5 Automatic Inversion Generates Divide-and-Conquer Parallel Programs – Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
37 Google’s MapReduce Programming Model — Revisited – Ralf Lämmel
Enhanced Parallelization via Constraints – Wei-Ngan Chin National, Wei-ngan Chin, Zhenjiang Hu, Masato Takeichi, Akihiko Takano - 1997
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
A Type System for Parallelization – Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
3 PType system: A featherweight parallelizability detector – Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu - 2004
16 Systematic Extraction and Implementation of Divide-and-Conquer Parallelism – Sergei Gorlatch - 1996
2 Abstraction and Performance in the Design of Parallel Programs – Sergei Gorlatch, Der Fakultat, Mathematik Informatik, Zusammenfassung Der Veroffentlichungen - 1997
5 Deriving Parallel Codes via Invariants – Wei-ngan Chin, Siau-cheng Khoo, Zhenjiang Hu, Masato Takeichi
A TYPE-BASED APPROACH TO PARALLELIZATION – Xu Na
Synthesizing Divide-and-Conquer Algorithms via Induction – W. N. Chin, S. H. Tan, Y. M. Teo