D.B. Skillicorn  Home/Search
Context Related
| qucis.queensu.ca/pub...BMFoverview.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: hypatia.dcs.qmw....hpc.functional (more) Homepages: D.Skillicorn |
Rate this article:      (best)Comment on this article |
Abstract: The expense of developing and maintaining software is the major obstacle to the routine use of parallel computation. Architecture independent programming offers a way of avoiding the problem, but the requirements for a model of parallel computation that will permit it are demanding. The BirdMeertens formalism is an approach to developing and executing data-parallel programs; it encourages software development by equational transformation; it can be implemented efficiently across a wide range of ... (Update)
Context of citations to this paper: More
.... for parallel program development can be seen as a specialized form of general formalisms such as the Bird Meertens Formalism [Bir87,Ski93] the language incorporates the geometrical primitives allowing the programmer to handle the placement of data, and focuses on the...
.... quite a lot of recent studies have been devoted to the development of powerful parallelization methods with BMF [Ski93a, Col95, Gor96b, Gor96a, GDH96, HIT97, HTC98]. As explained in Section 3, the main idea is based on derivation of list homomorphism from a naive speci cation....
Cited by: More
The Transformational Derivation of Parallel Programs using.. - Südholt (Correct)
A Fusion-Embedded Skeleton Library - Matsuzaki, Kakehi, Iwasaki, Hu.. (Correct)
Systematic Derivation of Tree Contraction Algorithms - Matsuzaki, Hu, Kakehi.. (Correct)
Active bibliography (related documents): More All
0.8: Models and Languages for Parallel Computation - Skillicorn, Talia (1996) (Correct)
0.7: Parallelism and the Bird-Meertens Formalism - Skillicorn (1992) (Correct)
0.4: Efficient Functional Programming Communication Functions on the.. - Loke (1994) (Correct)
Similar documents based on text: More All
0.1: Algorithms from Theorems - Jeuring (1990) (Correct)
0.1: The Spider Model of Agents - Huang, Skillicorn (2001) (Correct)
0.1: Parallelizing Boosting and Bagging - Yu, Skillicorn (2001) (Correct)
Related documents from co-citation: More All
18: Parallel programming using skeleton functions - Darlington, Field et al. - 1993
18: An introduction to the theory of lists (context) - Bird - 1987
13: Foundations of Parallel Programming (context) - Skillicorn - 1994
BibTeX entry: (Update)
D.B. Skillicorn. The Bird-Meertens Formalism as a parallel model. In J.S. Kowalik and L. Grandinetti, editors, Software for Parallel Computation, volume 106 of NATO ASI Series F, pages 120--133. SpringerVerlag, 1993. http://citeseer.ist.psu.edu/51414.html More
@inproceedings{ skillicorn93the,
author = "Skillicorn, D. B.",
title = "{T}he {B}ird-{M}eertens {F}ormalism as a {P}arallel {M}odel",
booktitle = "{NATO} {ARW} ``Software for Parallel Computation''",
volume = "106",
publisher = "Springer-Verlag NATO ASI",
editor = "Kowalik, J.S. and Grandinetti, L.",
year = "1993",
url = "citeseer.ist.psu.edu/51414.html" }
Citations (may not include all citations):735 A bridging model for parallel computation (context) - Valiant - 1990
375 ACM Transactions on Programming Languages and Systems (context) - Gelernter, in - 1985
359 Implementation of Functional Programming Languages (context) - Peyton-Jones - 1987
278 Algorithmic Skeletons: Structured Management of Parallel Com.. (context) - Cole - 1989
234 General purpose parallel architectures (context) - Valiant - 1990
206 Vector Models for Data-Parallel Computing (context) - Blelloch - 1990
174 The parallel evaluation of general arithmetic expressions (context) - Brent - 1974
172 An introduction to the theory of lists (context) - Bird - 1987
138 Lectures on constructive functional programming (context) - Bird - 1988
115 Scans as primitive parallel operations - Blelloch - 1987
112 Randomized and deterministic simulation of PRAMs by parallel.. (context) - Mehlhorn, Vishkin - 1984
63 Algebraic Data Types and Program Transformation (context) - Malcolm - 1990
63 A cost calculus for parallel functional programming (context) - Skillicorn, Cai - 1992
56 The Paralation Model: Architecture-Independent Parallel Prog.. (context) - Sabot - 1989
51 Algebraic identities for program calculation (context) - Bird - 1989
47 Application experience with linda (context) - Carriero, Gelernter - 1988
37 Complexity analysis for a lazy higher-order language - Sands - 1990
29 A calculus of functions for program derivation (context) - Bird - 1987
25 Matching languages and hardware for parallel computation in .. (context) - Ahuja, Carriero et al. - 1988
24 Calculi for Time Analysis of Functional Programs (context) - Sands - 1990
18 A categorical approach to the theory of lists (context) - Spivey - 1989
18 Fluent Parallel Computation (context) - Ranade - 1989
17 Formal derivation of a pattern matching algorithm (context) - Bird, Gibbons et al. - 1989
9 Evaluation of a set of message-passing routines in transpute.. (context) - Cai, Skillicorn - 1992
9 Programming Research Group (context) - Gibbons, Tree et al. - 1991
9 Implementation of tuple space machines (context) - Careirro - 1987
8 High level language constructs for massively parallel comput.. (context) - Danelutto, Di Meglio et al. - 1990
7 Mechanical analysis of program complexity (context) - le Metayer - 1985
4 Optimally universal parallel computers (context) - Valiant - 1988
3 High level languages for easy massively parallel computing (context) - Danelutto, Pelagatti et al. - 1991
1 Private communication (context) - Banger - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hypatia.dcs.qmw.ac.uk/SEL-HPC/Articles/GeneratedHtml/hpc.functional.html): More
A Parallel Complexity Model for Functional Languages - Guy Blelloch, John Greiner (1994) (Correct)
Computing Downwards Accumulations on Trees Quickly - Gibbons (1996) (Correct)
Expressing Nested Data Parallel Operations Through.. - Engelhardt, Wendelborn (1994) (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