Pieter H. Hartel, Rutger F. H. Hofman, Koen G. Langendoen, Henk L. Muller, Willem G. Vree, L.O. Hertzberger  Home/Search
Context Related
| wins.uva.nl/pub/comp...CPE_toolkit.ps.Z wins.uva.nl/pub/comp...CPE_toolkit.ps.Z wins.uva.nl/pub/func...CPE_toolkit.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: staff.ecs.soton.ac.uk/~p...myrefs (more) From: fermivista.math...www.wins.uva.nl (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is on writing parallel programs, we will not say more about programming in Miranda. 5 Tools and annotations for parallelism (Update)
Context of citations to this paper: More
...of nonoverlapping boxes; it also computes exact solutions. We have developed a number of ways to effect the exchange of borders [13, 31, 32]. In the present paper we will again use the shallow water equations as a case study. Section 2 describes the partitioning of a grid and...
.... In its overall structure our methodology is similar to others used for large scale parallel functional programming (Hartel et al. 1995). 5.3 Lolita The Lolita natural language engineering system (Morgan et al. 1994) has been developed at Durham University. The...
Cited by: More
Declarative Solutions to Partitioned-Grid Problems - Etalle, Hartel, Vree (1998) (Correct)
Algorithm + Strategy = Parallelism - Trinder, Hammond, Loidl, Jones (1993) (Correct)
Parallel Declarative Programming: Transforming Logic Programs to .. - Apt, al. (Correct)
Active bibliography (related documents): More All
0.6: Experiments With Destructive Updates in a Lazy Functional.. - Hartel, Vree (1994) (Correct)
0.5: Experience with a Clustered Parallel Reduction Machine - Beemster, Hartel.. (1993) (Correct)
0.5: On the Granularity of Divide-and-Conquer Parallelism - Loidl, Hammond (1995) (Correct)
Similar documents based on text: More All
0.7: Scheduling and Grain Size Control - Hofman (1994) (Correct)
0.6: Graph Reduction on Shared-Memory Multiprocessors - Langendoen (1993) (Correct)
0.3: An operational model of QuickPay - Hartel, Hill, Sims (1998) (Correct)
Related documents from co-citation: More All
6: Computation Structures Group Memo (context) - Nikhil, reference - 1990
4: Transformation of Logic Programs into Functional Programs (context) - Reddy - 1984
4: Miranda: A non-strict functional language with polymorphic types (context) - Turner - 1985
BibTeX entry: (Update)
Pieter H. Hartel, Rutger F.H. Hofman, Koen G. Langendoen, Henk L. Muller, Willem G. Vree, and L.O. Hertzberger. A toolkit for parallel functional programming. Concurrency: Practice and Experience, 7(8):765--793, December 1995. http://citeseer.ist.psu.edu/hartel95toolkit.html More
@article{ hartel95toolkit,
author = "P. H. Hartel and R. F. H. Hofman and K. G. Langendoen and H. L. Muller and W. G. Vree and L. O. Hertzberger",
title = "{A Toolkit for Parallel Functional Programming}",
journal = "Concurrency --- Practice and Experience",
volume = "7",
number = "8",
pages = "765--793",
year = "1995",
url = "citeseer.ist.psu.edu/hartel95toolkit.html" }
Citations (may not include all citations):587 PVM: A framework for parallel distributed computing - Sunderam - 1990
359 The implementation of functional programming languages (context) - Jones - 1987
333 Introduction to functional programming (context) - Bird, Wadler - 1988
302 The semantics of a simple language for parallel programming (context) - Kahn - 1974
258 Miranda: A non-strict functional language with polymorphic t.. (context) - Turner - 1985
206 Why functional programming matters - Hughes - 1989
171 Parallel programming using skeleton functions - Darlington, Field et al. - 1993
78 Graphical development tools for network-based concurrent sup.. - Beguelin, Dongarra et al. - 1991
68 Functional programming for loosely-coupled multiprocessors (context) - Kelly - 1989
56 Models of machines and computation mapping in multicomputers - Norman, Thanisch - 1993
41 Theories for algorithm calculation (context) - Jeuring - 1992
32 Experiments in MIMD parallelism (context) - Hey - 1989
26 a debate rekindled (context) - Cann - 1992
25 Design considerations for a parallel reduction machine (context) - Vree - 1989
24 Compilation of functional languages using flow graph analysi.. - Hartel, Glaser et al. - 1994
23 Analysis and transformation in an interactive parallel progr.. - Kennedy, McKinley et al. - 1993
18 PAWS: A performance evaluation tool for parallel computing s.. (context) - Pease, Ghafoor et al. - 1991
16 Model programs for computational science: A programming meth.. (context) - Hansen - 1993
12 Miranda system manual (context) - Turner - 1990
11 Communication lifting: fixed point computation for paralleli.. (context) - Vree, Hartel - 1995
8 Matrix algebra and applicative programming - Wise - 1987
8 FCG: a code generator for lazy functional languages (context) - Langendoenand, Hartel - 1992
7 The grain size of parallel computations in a functional prog.. (context) - Vree - 1987
6 Storm surge prediction using Kalman filtering (context) - Heemink - 1986
5 Experiments with destructive updates in a lazy functional la.. - Hartel, Vree - 1994
5 The visualisation of parallel systems: an overview (context) - Kraemer, Stasko - 1993
5 The mechanical transformation of data types (context) - Harrison, Khoshnevisan - 1992
4 Kendall Square Research (context) - Research, summary - 1992
4 Finite difference methods for solving partial differential e.. (context) - van der Houwen - 1968
2 Scheduling and grain size control - Hofman - 1994
1 Algebraic transformation techniques for functional languages (context) - Harrison, Khoshnevisan - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.staff.ecs.soton.ac.uk/~phh/myrefs.html): More
Towards Testability in Smart Card Operating System Design - Pieter Hartel (1994) (Correct)
Using Formal Methods to Cultivate Trust in Smart Card.. - Alberda, Hartel, de Jong (1997) (Correct)
Local Linear Logic for Locality Consciousness in Multiset.. - McEvoy, Hartel (1995) (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