Greg Michaelson, Norman Scaife, Paul Bristow, Peter King  Home/Search
Context Related
| cee.hw.ac.uk/pub/func...msbk.paa00.ps.Z 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: cee.hw.ac.uk/Researc...funct_prog (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Algorithmic skeletons provide a promising basis for the automatic utilisation of parallelism at sites of higher-order function use through static program analysis. However, decisions about whether or not to realise particular higher-order function instances as skeletons must be based on information about available processing resources, and such resources may change subsequent to program analysis. In principle, nested higher-order functions may be realised as nested skeletons. However,... (Update)
Context of citations to this paper: More
...a language for which static analysis becomes tractable. The skeletal approach to the design of parallel programming systems [25, 29, 62, 67] proposes that the complexity of parallel programming be contained by restricting the mechanisms through which parallelism can be...
.... with that gained in developing parallel computer vision systems led to the design of a more general parallelizing compiler for SML [14, 10], with the following properties: The full SML Core language is supported. Dynamic pro ling provides parallel performance prediction....
Cited by: More
Transactional Monitors for Concurrent Objects - Adam Welc Suresh (Correct)
Load Balancing in a Parallel Graph Reducer - Loidl (2002) (Correct)
Using Proof in Transformation Synthesis for Automatic.. - Cook (2001) (Correct)
Similar documents (at the sentence level):
16.1%: Engineering a Parallel Compiler for Standard ML - Scaife, Bristow, Michaelson.. (1998) (Correct)
Active bibliography (related documents): More All
0.7: Hybrid Skeletons for Parallel Higher Order Function Evaluation - Bristow (2001) (Correct)
0.5: A Combinational Framework For Parallel Programming Using.. - Hamdan (2000) (Correct)
0.3: GpH: An Architecture-independent Functional Language - Trinder, Barry, Jr.. (1998) (Correct)
Similar documents based on text: More All
0.4: Parallel Functional Island Model Genetic Algorithms through .. - Michaelson, Scaife (2000) (Correct)
0.2: Parallel Standard Ml With Skeletons - Scaife, Michaelson, Horiguchi (Correct)
0.2: A Survey of Cost Models for Algorithmic Skeletons - Hamdan (1999) (Correct)
Related documents from co-citation: More All
7: Algorithmic Skeletons: Structured Management of Parallel Computation (context) - Cole - 1989
7: Towards a skeleton based parallelising compiler for sml - Michaelson, Ireland et al. - 1997
6: Detecting Parallel Structures in Functional Programs (context) - Busvine - 1993
BibTeX entry: (Update)
G. Michaelson, N. Scaife, P. Bristow, and P. King. Nested algorithmic skeletons from higher order functions. Parallel Algorithms and Applications, special issue on High Level Models and Languages for Parallel Processing, September 2000. http://citeseer.ist.psu.edu/michaelson00nested.html More
@misc{ michaelson00nested,
author = "G. Michaelson and N. Scaife and P. Bristow and P. King",
title = "Nested algorithmic skeletons from higher order functions",
text = "G. Michaelson, N. Scaife, P. Bristow, and P. King. Nested algorithmic skeletons
from higher order functions. Parallel Algorithms and Applications, special
issue on High Level Models and Languages for Parallel Processing, September
2000.",
year = "2000",
url = "citeseer.ist.psu.edu/michaelson00nested.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
912 MPI: A Message-Passing Interface Standard - Interface - 1994
278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
273 Can programming be liberated from the von neumann style (context) - Backus - 1978
226 The use of explicit plans to guide inductive proofs - Bundy - 1988
184 Definitional Interpreters for Higher-order Programming Langu.. (context) - Reynolds - 1972
106 The Categorical Abstract Machine (context) - Cousineau, Curien et al. - 1985
104 Algebra of Programming (context) - Bird, de Moor - 1997
55 Models and Languages for Parallel Computation - Skillicorn, Talia - 1998
46 Functional Skeletons for Parallel Coordination - Darlington, Guo et al. - 1995
44 A Methodology for the Development and the Support of Massive.. - Danelutto, Di Meglio et al. - 1992
34 Department of Computer Science (context) - Birkedal, Rothwell et al. - 1993
28 Skeleton-based parallelisation of functional programs (context) - Bratvold - 1995
26 Structured parallel programming - Darlington, Ghanem et al. - 1993
22 Type-driven defunctionalization - Bell, Bellegarde et al. - 1997
22 Granularity in Large Scale Parallel Functional Programming (context) - Loidl - 1998
21 A monadic calculus for parallel costing of a functional lang.. - Jay, Cole et al. - 1997
20 A cost analysis for a higher order parallel programming mode.. - Rangaswami - 1996
19 A Provable Time and Space Efficient Implementation of NESL - Blelloch, Greiner - 1996
12 Towards a Skeleton Based Parallelising Compiler for SML - Michaelson, Ireland et al. - 1997
9 available from http://pauillac (context) - Leroy, Caml - 1996
8 Embodying Parallel Functional Skeletons: An Experimental Imp.. - Serot - 1997
5 Engineering a parallel compiler for SML (context) - Scaife, Bristow et al. - 1998
4 Algorithmic Skeletons (context) - Cole - 1999
3 Experiments with the ZAPP: Matrix Multiply on 32 Transputers (context) - McBurney, Sleep - 1987
3 Number 6 in Cambridge International Series on Parallel Compu.. (context) - Skillicorn, Parallel - 1994
1 Structured Development of Parallel Programs (context) - Pelegatti - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cee.hw.ac.uk/Research/funct_prog.html): More
Prototyping a parallel vision system in Standard ML - Michaelson (1993) (Correct)
A Method for Developing Parallel Vision Algorithms with .. - Scaife, Michaelson.. (1996) (Correct)
Writing an Edge Tracker in ML: A Case Study - Serot (1996) (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