1995
DOI: 10.1007/3-540-60117-1_7
|View full text |Cite
|
Sign up to set email alerts
|

Architecture independent massive parallelization of divide-and-conquer algorithms

Abstract: Note. This technical report is an extended version of the paper with the same title in the proceedings of Mathematics of Program Construction, 1995, Bad Irrsee, which will be published in the Springer series Lecture Notes in Computer Science.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
9
0

Year Published

1995
1995
2019
2019

Publication Types

Select...
4
1
1

Relationship

1
5

Authors

Journals

citations
Cited by 13 publications
(9 citation statements)
references
References 18 publications
0
9
0
Order By: Relevance
“…In order to transform the abstract specifications of the powerlist programs to BSML concrete implementations, we have used the methodology presented in [8] that transform the divide&conquer functions into tail-recursive computations. Then we have adapted these single-control flow computations to BSML by giving an efficient definition of powerlists in OCaml based on GADTs, and by giving efficient predefined implementations for top-down and bottom-up patterns of computations defined in [8].…”
Section: Discussionmentioning
confidence: 99%
See 4 more Smart Citations
“…In order to transform the abstract specifications of the powerlist programs to BSML concrete implementations, we have used the methodology presented in [8] that transform the divide&conquer functions into tail-recursive computations. Then we have adapted these single-control flow computations to BSML by giving an efficient definition of powerlists in OCaml based on GADTs, and by giving efficient predefined implementations for top-down and bottom-up patterns of computations defined in [8].…”
Section: Discussionmentioning
confidence: 99%
“…This leads to a framework formed by high level functions that could be used in the implementation of each specific powerlist program. More details could be found in [8].…”
Section: Powerlistsmentioning
confidence: 98%
See 3 more Smart Citations