Parallelizing Polytypic Programs with Accumulations
スポンサーリンク
概要
- 論文の詳細を見る
Catamorphism plays an important role when we make a sequential programon recursive datatypes. In the parallel programming on lists,homomorphism is an important concept and Kakehi et al. have extended itto a higher-order one to deal with accumulations. In this paper, we generalize it to on recursive datatypes. Wedefine parallelizable higher-order catamorphism for recursivefunctions with an accumulative parameter, and show those functions can betransformed into equivalent parallel programs in terms of polytypicskeletons. Furthermore, we demonstrate the parallelization of recursivefunctions with accumulations on a finite domain.
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)