Luc Bougé , "PAR considered harmful"
Luc Bougé ,
David Cachera ,
"Formal Validation of Data-Parallel Programs: The Assertional Approach"
Georg Botorog , "Skeleton-Based Implementation of Adaptive Multigrid Algorithms"
- Larry Carter,
"Yet Another Bridging Model - The Parallel Memory Hierarchy
- Manuel Chakravarty
, "Functions Compute, Relations Co-ordinate"
- Murray Cole ,
"Skeletal Programming, Present and Future"
- Ralf Ebner
, "A Data Flow Approach to Higher Order Functions for Recursive Numerical Applications"
- Susan Flynn-Hummel
, "SPMD Programming in Java"
Sergei Gorlatch, "Formal Derivation of Divide-and-Conquer Programs: A Case Study in the
Wolfgang Giloi, " A High-Level Programming Environment
for Distributed Memory Architecture"
- Zully Grant-Duff,
"Systematic Mapping of Higher-Order Functional Specifications"
Gaétan Hains, "Costs and semantics in parallel languages"
Christoph Herrmann, "Translation of Divide-and-Conquer Algorithms
to Nested Parallel Loop Programs"
Jonathon Hill, "BSP cost analysis and the implementation of skeletons"
C. Barry Jay, "Vectors are Shaped Lists"
Paul Kelly, "Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries"
- Christoph Kessler ,
"Practical PRAM Programming with Fork95"
- Herbert Kuchen,
- Thomas Nitsche
, "Deriving Parallel Algorithms using Data Distribution Algebras"
- John O'Donnell,
" Abstract Parallel Machines:
Organizing Higher Order Functions for Parallel Program Derivation"
- Salvatore Orlando,
"Load Balancing Stratgies to Implement Non-uniform Data Parallel Computations"
- Susanna Pelagatti,
"Combining Task and Data Parallelism within Skeleton-based Models"
- Jan Prins,
"Data-parallel programming: Can we have high-level languages *and*
- Alexander Pfaffinger
, "Exploiting Maximum Parallelism in Hierarchical Numerical Applications"
- Sanjay Rajopadhye
"Alpha: A functional data parallel Language based on polyhedra"
- Roopa Rangaswami,
"The Higher-Order Parallel Programming (HOPP) Model"
- Gudula Ruenger,
"Deriving Programs with Mixed Method and Data Parallelism"
- Andreas Schramm,
A unifying model of spatial structure in parallel programming"
- Mary Sheeran,
"Higher Order Functions in Hardware Design"
- David Skillicorn,
"Costs, Transformations, and Parallel Programming"
- David Skillicorn,
"The Bird-Meertens Formalism - A Tutorial"
Hing Wing To, "Structured Parallel Programming: Parallel Abstract Data Types"
Phil Trinder, "Evaluation Strategies for Parallel Functional Programming"
Eric Violard , "Parallel Programming with PEI"
Christoph Wedler, "Classification of Parallel Implementations for Linearly Recursive Functions"
Last modified: Tue Mar 25 17:16:40 GMT