See this document in CiteSeerX!

A Cost Analysis for a Higher-order Parallel Programming Model (1996)  (Make Corrections)  (20 citations)
Roopa Rangaswami



  Home/Search   Context   Related

 
View or download:
dcs.ed.ac.uk/home/ror/TH...thesis.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.ed.ac.uk/home/ror/thesis (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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