(Enter summary)
Abstract: Programming parallel computers remains a difficult task. An ideal programming
environment should enable the user to concentrate on the problem solving
activity at a convenient level of abstraction, while managing the intricate low-level
details without sacrificing performance.
This thesis investigates a model of parallel programming based on the BirdMeertens
Formalism (BMF). This is a set of higher-order functions, many of which
are implicitly parallel. Programs are expressed in terms of... (Update)
Context of citations to this paper: More
...and eciency is still open. One approach to this problem used in skeleton systems is to restrict the skeletons to a xed set as in HOPP [23,24] , P3L [2,21,7] or SCL [9,8] This means some restrictions for the programmer, but allows optimizing transformations on the skeletons...
.... The work surveyed here restricts itself to the terms skeletons ( 4] 16] 3] 7] parallel constructs [29] and recognised functions [32]. Here we rst consider the work of Cole and then move onto the work of probably the three most proli c groups active within the skeletal...
Cited by: More
A Survey of Cost Models for Algorithmic Skeletons - Hamdan (1999)
(Correct)
Parallel Standard Ml With Skeletons - Scaife, Michaelson, Horiguchi
(Correct)
Patterns and Skeletons for Parallel and Distributed Computing - Rabhi, Gorlatch (2002)
(Correct)
Active bibliography (related documents): More All
1.5: A Combinational Framework For Parallel Programming Using.. - Hamdan (2000)
(Correct)
0.9: Hopp - A Higher-Order Parallel Programming Model - Roopa Rangaswami (1995)
(Correct)
0.7: The Transformational Derivation of Parallel Programs using.. - Südholt
(Correct)
Similar documents based on text: More All
0.2: Practical Structured Parallelism Using BMF - Crooke (1998)
(Correct)
0.2: Compile-time Cost Analysis for Parallel Programming - Roopa Rangaswami (1996)
(Correct)
0.2: Deriving the Aho-Corasick Algorithms: A Case Study into the.. - van Geldrop (1993)
(Correct)
Related documents from co-citation: More All
14: Algorithmic Skeletons: Structured Management of Parallel Computation (context) - Cole - 1989
12: A Methodology for the Development and the Support of Massively Parallel Programs (context) - Pelagatti - 1993
12: Skeleton-based Parallelisation of Functional Programs (context) - Bratvold - 1994
BibTeX entry: (Update)
R. Rangaswami. A Cost Analysis for a Higher-order Parallel Programming Model. PhD thesis, Department of Computer Science, Edinburgh University, 1996. http://citeseer.ist.psu.edu/rangaswami96cost.html More
@misc{ rangaswami96cost,
author = "R. Rangaswami",
title = "A Cost Analysis for a Higher-order Parallel Programming Model",
text = "R. Rangaswami. A Cost Analysis for a Higher-order Parallel Programming
Model. PhD thesis, Department of Computer Science, Edinburgh University,
1996.",
year = "1996",
url = "citeseer.ist.psu.edu/rangaswami96cost.html" }
Citations (may not include all citations):
912
MPI:A Message-Passing Interface Standard
- Interface - 1994
809
A theory of type polymorphism in programming (context) - Milner - 1978
333
Introduction to Functional Programming (context) - Bird, Wadler - 1988
278
Algorithmic Skeletons : Structured Management of Parallel Co.. (context) - Cole - 1987
278
Algorithmic Skeletons : Structured Management of Parallel Co.. (context) - Cole - 1989
273
Can programming be liberated from the von Neumann stye : a f.. (context) - Backus - 1978
247
Partitioning and Scheduling Parallel Programs for Execution .. (context) - Sarkar - 1989
206
Why functional programming matters
- Hughes - 1990
203
The Art of Scientific Computing (context) - Press, in - 1988
171
Parallel programming using skeleton functions
- Darlington - 1993
143
A new implementation technique for applicative languages (context) - Turner - 1979
115
Scans as primitive parallel operations
- Blelloch - 1989
113
The Design and Analysis of Parallel Algorithms (context) - Akl - 1989
109
The Implementation of Functional Programming Languages (context) - Jones - 1987
95
Hope: An experimental applicative language
- Burstall, Darlington et al. - 1980
79
Elements of ML Programming (context) - Ullman - 1994
75
Concurrent Clean
- Nocker, Smetsers et al. - 1991
69
Executing a program on the MIT tagged-token dataflow archite.. (context) - Rishiyur, Nikhil - 1987
68
Functional Programming for Loosely-coupled Multiprocessors (context) - Kelly - 1989
66
Efficient compilation of lazy evaluation
- Johnsson - 1984
63
A cost calculus for parallel functional programming (context) - Skillicorn, Cai - 1993
51
Algebraic identities for program calculation (context) - Bird - 1989
48
Data flow program graphs (context) - Davis, Keller - 1982
47
Department of Computer Science (context) - Milner, Harper et al. - 1989
46
Numerical Solution of Partial Differential Equations (context) - Smith - 1965
44
GRIP - a high performance architecture for parallel graph re.. (context) - Jones, Clack et al. - 1987
44
A methodology for the development and the support of massive..
- Danelutto, Di Meglio - 1992
43
Numerical Methods for Partial Differential Equations (context) - Ames - 1969
42
Multiprocessor execution of functional programs (context) - Goldberg - 1988
42
Multiprocessor Execution of Functional Programs (context) - Goldberg - 1989
42
Data communications in hypercube (context) - Saad, Schultz - 1989
42
A Methodology for the Development and the Support of Massive.. (context) - Pelagatti - 1993
39
The spineless tagless Gmachine (context) - Jones, Salkild - 1989
37
Parallel implementations of functional programming languages (context) - Jones - 1989
36
Executing functional programs on a virtual tree of processor.. (context) - Burton, Sleep - 1981
35
The Bird-Meertens formalism as a parallel model
- Skillicorn - 1992
35
Data communications in parallel architectures (context) - Saad, Schultz - 1989
30
A structured high-level parallel language and its support (context) - Bacci, Danelutto - 1993
27
Models for practical parallel computation (context) - Skillicorn - 1991
26
Structured parallel programming
- Darlington, To et al. - 1993
25
Fat-trees: Universal networks for hardwareefficient supercom.. (context) - Leiscerson - 1985
22
The HDGmachine: A highly distributed graph reducer for a tra..
- Lester, Kingdon et al. - 1991
21
Performance studies of Id on the monsoon dataflow system
- Hicks, Chiou et al. - 1993
21
A skeleton-based parallelising compiler for ML (context) - Bratvold - 1993
20
ALICE - a multi-processor reduction machine for the parallel.. (context) - Darlington, Reeve - 1981
18
A categorical approach to theory of lists (context) - Spivey - 1989
18
PTRAN - The IBM Parallel Translation System (context) - Sarkar
17
Future scientific programming on parallel machines (context) - Kattamuri - 1988
17
Parallel Functional Languages and Compilers (context) - Szymanski - 1991
16
Detecting Parallel Structures in Functional Programs (context) - Busvine - 1993
16
Report on the programming language Haskell (context) - Hudak - 1992
15
CHIMP and PUL: Support for portable parallel computing (context) - Bruce, Chapple et al. - 1993
13
Profiling scheduling strategies on the GRIP parallel reducer
- Jones, Hammond - 1992
12
Profiling in the presence of optimization and garbage collec..
- Appel, Duba et al. - 1987
12
The performance of parallel algorithmic skeletons
- Deldarie, Davy et al. - 1995
12
Building parallel applications without programming
- Darlington, To - 1993
10
Towards a skeleton-based parallel programming environment (context) - Feldcamp, Sreekantaswamy et al. - 1992
10
Shape analysis for parallel computing
- Barry - 1995
9
HOPP - a higher-order parallel programming model
- Rangaswami - 1995
9
Parallel graph reduction with (context) - Augustsson, Johnsson - 1989
9
An overview of the Flagship system (context) - Keane - 1994
8
An Introduction to Functional Programming through Lambda Cal.. (context) - Michaelson - 1989
8
Logic of Programming and Calculi of Discrete Design (context) - Bird, to et al. - 1987
7
Skeleton-based Parallelisation of Functional Programs (context) - Bratvold - 1994
7
Automatic spark strategies and granularity for a parallel fu..
- Hammond, Jr et al. - 1994
5
A constructive theory of multidimensional arrays (context) - Miller - 1993
5
Compiling functional languages for SIMD architectures (context) - Jouret - 1991
4
Derivation of efficient data parallel programs
- Roe - 1994
4
Department of Computer Science (context) - Tofte, in et al. - 1989
4
From transformations to methodology in parallel program deve..
- Gorlatch - 1995
4
Princeton University Press (context) - Church, of - 1941
3
Higher-order functions for parallel evaluation (context) - Cole - 1988
3
Program transformations and skeletons: formal derivation of .. (context) - Geerling - 1994
3
Time profiling a lazy functional compiler (context) - Sansom - 1993
2
Katholieke Universiteit Nijmegen (context) - Boiten, Geerling et al. - 1993
2
Implementing ML on distributed memory multicomputers (context) - Bailey, Newey - 1993
2
MaRS: A combinator graph reduction multiprocessor (context) - Contessa - 1989
2
Technical Report Technical Monograph PRG (context) - Bird, of et al. - 1987
2
Parallel functional programming using algorithmic skeletons (context) - Stolze, Kuchen - 1993
2
Performance of parallel schedulers for distributed graph red..
- Jr - 1993
1
Technical Report Technical Monograph PRG (context) - Hughes, with - 1982
1
The parallel graph reduction machine ALICE (context) - Harrison, Reeve - 1986
1
Parallelisation of divideand -conquer in the Bird-Meertens f.. (context) - Gorlatch, Lengauer - 1993
1
Parallel Functional Languages and Compilers (context) - Skedzielewski - 1991
1
Parallel Computation on Sparse Networks of Processors (context) - Brebner - 1983
1
Parsec - a software development for performance oriented par.. (context) - Feldcamp, Wagner - 1993
1
Research Report: TRACS-funded Visit to EPCC (context) - Bailey, in - 1994
1
Structuring parallelism in a functional framework (context) - Pelagatti, Danelutto - 1993
1
Parallel Functional Languages and Compilers (context) - Ekanadham, on - 1991
The graph only includes citing articles where the year of publication is known.
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