Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki  Home/Search
Context Related
| keisu.t.utokyo.ac.jp/o...METR9809.pdf keisu.t.utokyo.ac.jp...METR9809.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: keisu.t.utokyo.ac.jp/o...KeisuTR (more) From: keisu.t.utokyo.ac.jp/KeisuTR (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we propose a polytypic framework for developing efficient (Update)
Cited by: More
Systematic Derivation of Tree Contraction Algorithms - Matsuzaki, Hu, Kakehi.. (Correct)
Similar documents (at the sentence level):
8.7%: Diffusion: Calculating Efficient Parallel Programs - Hu, Takeichi, Iwasaki (1999) (Correct)
Active bibliography (related documents): More All
0.9: An Accumulative Parallel Skeleton for All - Hu, Iwasaki, Takeichi (2001) (Correct)
0.8: Parallelization in Calculational Forms - Hu, Takeichi (1998) (Correct)
0.5: A Calculational Framework for Parallelization of Sequential.. - Zhenjiang Hu (Correct)
Similar documents based on text: More All
0.4: Segmented Diffusion Theorem - Hu, Takahashi, Iwasaki, Takeichi (Correct)
0.4: Calculating Accumulations - Hu, Iwasaki, Takeichi (1999) (Correct)
0.3: A Compositional Framework for Mining Longest Ranges - Zhao, Hu, Takeichi (2002) (Correct)
BibTeX entry: (Update)
Z. Hu, M. Takeichi, and H. Iwasaki. Towards polytypic parallel programming. Technical Report METR 98-09, University of Tokyo, 1998. http://citeseer.ist.psu.edu/hu98towards.html More
@misc{ hu98towards,
author = "Z. Hu and M. Takeichi and H. Iwasaki",
title = "Towards polytypic parallel programming",
text = "Z. Hu, M. Takeichi, and H. Iwasaki. Towards polytypic parallel programming.
Technical Report METR 98-09, University of Tokyo, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/hu98towards.html" }
Citations (may not include all citations):324 Deforestation: Transforming programs to eliminate trees - Wadler - 1988
210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
201 Parallel prefix computation (context) - Ladner, Fisher - 1980
172 An introduction to the theory of lists (context) - Bird - 1987
171 Parallel programming using skeleton functions - Darlington, Field et al.
169 Data Parallel Programming on MIMD Computers (context) - Hatcher, Quinn - 1991
166 NESL: a nested data parallel language - Blelloch - 1992
136 Efficient Parallel Algorithms (context) - Gibbons, Rytter - 1988
131 A fold for all seasons - Sheard, Fegaras - 1993
122 Parallel tree contraction and its application (context) - Miller, Reif - 1985
109 Polyp - a polytypic programming language extension - Jansson, Jeuring - 1997
104 Algebras of Programming (context) - Bird, de Moor - 1996
84 Law and Order in Algorithmics (context) - Fokkinga - 1992
84 Architecture-independent parallel computation (context) - Skillicorn - 1990
79 Shortcut deforestation in calculational form - Takano, Meijer - 1995
79 Programming for parallelism (context) - Karp - 1987
70 A simple parallel tree contraction algorithm (context) - Abrahamson, Dadoun et al. - 1987
67 language for data parallel programming (context) - Rose, Steele et al. - 1987
61 Polytypic programming - Jeuring, Jansson - 1996
55 Foundations of Parallel Programming (context) - Skillicorn - 1994
55 Safe fusion of functional expressions (context) - Chin - 1992
51 A calculational fusion system HYLO - Onoue, Hu et al. - 1997
48 Towards an automated tupling strategy (context) - Chin - 1993
48 Calculate polytypically - Meertens - 1996
41 Theories for Algorithm Calculation (context) - Jeuring - 1993
41 Parallelizing complex scans and reductions (context) - Fischer, Ghuloum - 1994
41 Homomorphisms and promotability (context) - Malcolm - 1989
40 Algorithmic skeletons : a structured approach to the managem.. (context) - Cole - 1989
39 Polytypic pattern matching - Jeuring - 1995
38 Finding biconnected components and computing tree functions .. (context) - Tarjan, Vishkin - 1984
36 Tupling calculation eliminates multiple data traversals - Hu, Iwasaki et al. - 1997
35 The Bird-Meertens Formalism as a parallel model - Skillicorn - 1993
32 Optimal tree contraction in the EREW model (context) - Gazit, Miller et al. - 1987
30 Parallelization in calculational forms - Hu, Takeichi et al. - 1998
28 Parallel programming with list homomorphisms (context) - Cole - 1995
23 Upwards and downwards accumulations on trees (context) - Gibbons - 1992
21 Systematic efficient parallelization of scan and other list .. - Gorlatch - 1996
18 Systematic extraction and implementation of divide-and-conqu.. - Gorlatch - 1996
15 Parallel implementation of tree skeletons - Skillicorn - 1996
15 Scans as primitive operations (context) - Blelloch - 1989
14 Parallelism via homomorphism (context) - Grant-Duff, Harrison - 1996
14 Programming research group (context) - de Moor, relations et al. - 1992
13 Efficient parallel algorithms for tree accumulations - Gibbons, Cai et al. - 1994
13 Computing downwards accumulations on trees quickly - Gibbons - 1996
12 Polytypic downwards accumulations - Gibbons - 1998
12 Formal derivation of efficient parallel programs by construc.. (context) - Hu, Iwasaki et al. - 1997
10 Lemma discovery by anti-unification of regular sorts (context) - Heinz - 1994
9 Categorical data types - Skillicorn - 1993
9 Connection machine Lisp: A dialect of common Lisp for data p.. (context) - Wholey, Steele - 1994
7 A generic program for sequential decision processes - de Moor - 1995
6 A calculus for exploiting data parallelism on recursively de.. - Nishimura, Ohori - 1994
6 Data parallel algorithms (context) - Hills, Steele - 1986
5 Royal Institute of Technology (context) - Hammarlund, Lisper et al. - 1993
5 Bananas in space: Exteding fold and unfold to exponential ty.. (context) - Meijer, Hutton - 1995
2 Flatten trees (context) - Keller, Chakravarty - 1998
2 Calculating an optimal homomorphic algorithm for bracket mat.. - Hu, Takeichi - 1998
Documents on the same site (http://www.keisu.t.u-tokyo.ac.jp/old/KeisuTR.html): More
Differential Geometry of Estimating functions in.. - Amari, Kawanabe (1993) (Correct)
Calculation Carrying Programs - Hu, Takeichi (1999) (Correct)
A Case Study on a Modular Transformation Strategy - Hu, Chin, Takeichi (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC