Norman Scaife, Greg Michaelson, Susumu Horiguchi  Home/Search
Context
Related
| macs.hw.ac.uk/pub/fun...smh.pdcp02.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: Introduction. The exploitation of parallelism in programs is greatly eased by tools based on implicit parallelism. The PMLS compiler realises higher order functions (HOFs) in Standard ML (SML) programs as parallel algorithmic skeletons. An SML program is treated as a prototype of the nal parallel implementation. Static analysis and dynamic instrumentation, combined with performance models for skeletons, enable the identi cation of useful parallelism. Prototype transformation is employed to... (Update)
Active bibliography (related documents): More All
1.6: Patterns and Skeletons for Parallel and Distributed Computing - Rabhi, Gorlatch (2002) (Correct)
0.5: A Combinational Framework For Parallel Programming Using.. - Hamdan (2000) (Correct)
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
Similar documents based on text: More All
0.5: Comparative Cross-Platform Performance Results from a.. - Scaife, Michaelson.. (2001) (Correct)
0.4: A Sentence Reduction Using Syntax Control - Nguyen Minh Le (Correct)
0.3: Parallel Functional Island Model Genetic Algorithms through .. - Michaelson, Scaife (2000) (Correct)
BibTeX entry: (Update)
@misc{ scaife-parallel,
author = "Norman Scaife and Greg Michaelson and Susumu Horiguchi",
title = "Parallel Standard Ml With Skeletons",
url = "citeseer.ist.psu.edu/612312.html" }
Citations (may not include all citations):185 De nition of Standard ML (context) - Milner, Tofte et al. - 1997
84 Lambda Lifting: transforming programs to recursive equations - Johnsson - 1985
63 A Cost Calculus for Parallel Functional Programming (context) - Skillicorn, Cai - 1995
34 Department of Computer Science (context) - Birkedal, Rothwell et al. - 1993
28 Skeleton-based Parallelisation of Functional Programmes (context) - Bratvold - 1994
22 Type-driven defunctionalization - Bell, Bellegarde et al. - 1997
20 A Cost Analysis for a Higher-Order Parallel Programming Mode.. - Rangaswami - 1995
16 Prototyping a parallel vision system in Standard ML - Michaelson, Scaife - 1995
16 Engineering Parallel Symbolic Programs in GPH - Loidl, Trinder et al. - 1999
16 Detecting Parallel Structures in Functional Programs (context) - Busvine - 1993
15 Nested algorithmic skeletons from higher order functions - Michaelson, Scaife et al. - 2001
9 Dynamic Control and Prototyping of Parallel Algorithms for I.. (context) - Wallace, Michaelson et al. - 1992
5 Comparing Parallel Functional Languages: Programming and Per.. - Loidl, Rubio et al. - 2002
5 Engineering a parallel compiler for SML (context) - Scaife, Bristow et al. - 1998
5 eveloppement d'applications avec Objective Caml (context) - Chailloux, Manoury et al. - 2000
3 Parallel Architecture for Computer Vision (context) - Wallace, Michaelson et al. - 1998
2 Higher order function synthesis through proof planning - Cook, Ireland et al. - 2001
1 Empirical performance prediction from semanticsbased pro lin.. (context) - Scaife, Michaelson et al. - 2002
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