Google's MapReduce programming model—Revisited

R Lämmel - Science of computer programming, 2008 - Elsevier
Google's MapReduce programming model serves for processing large data sets in a
massively parallel manner. We deliver the first rigorous description of the model including its …

Automatic inversion generates divide-and-conquer parallel programs

K Morita, A Morihata, K Matsuzaki, Z Hu… - ACM SIGPLAN …, 2007 - dl.acm.org
Divide-and-conquer algorithms are suitable for modern parallel machines, tending to have
large amounts of inherent parallelism and working well with caches and deep memory …

(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms

A Rasch - ACM Transactions on Programming Languages and …, 2024 - dl.acm.org
Data-parallel computations, such as linear algebra routines and stencil computations,
constitute one of the most relevant classes in parallel computing, eg, due to their importance …

Mithra: Multiple data independent tasks on a heterogeneous resource architecture

R Farivar, A Verma, EM Chan… - 2009 IEEE International …, 2009 - ieeexplore.ieee.org
With the advent of high-performance COTS clusters, there is a need for a simple, scalable
and fault-tolerant parallel programming and execution paradigm. In this paper, we show that …

Parallelization in calculational forms

Z Hu, M Takeichi, WN Chin - Proceedings of the 25th ACM SIGPLAN …, 1998 - dl.acm.org
The problems involved in develo** efficient parallel programs have proved harder than
those in develo** efficient sequential ones, both for programmers and for compilers …

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer

A Morihata, K Matsuzaki, Z Hu, M Takeichi - ACM SIGPLAN Notices, 2009 - dl.acm.org
Parallel programs on lists have been intensively studied. It is well known that associativity
provides a good characterization for divide-and-conquer parallel programs. In particular, the …

Extracting and implementing list homomorphisms in parallel program development

S Gorlatch - Science of Computer Programming, 1999 - Elsevier
Homomorphisms are functions that match the divide-and-conquer pattern and are widely
used in parallel programming. Two problems are studied for homomorphisms on lists: The …

Systematic extraction and implementation of divide-and-conquer parallelism

S Gorlatch - … on Programming Language Implementation and Logic …, 1996 - Springer
Homomorphisms are functions that match the divide-and-conquer paradigm and thus can be
computed in parallel. Two problems are studied for homomorphisms on lists:(1) parallelism …

Decomposition-based synthesis for applying divide-and-conquer-like algorithmic paradigms

R Ji, Y Zhao, Y **ong, D Wang, L Zhang… - ACM Transactions on …, 2024 - dl.acm.org
Algorithmic paradigms such as divide-and-conquer (D&C) are proposed to guide
developers in designing efficient algorithms, but it can still be difficult to apply algorithmic …

[PDF][PDF] Diffusion: Calculating E cient Parallel Programs

Z Hu, M Takeichi, H Iwasaki - Partial Evaluation and Semantics-Based …, 1999 - Citeseer
Parallel primitives (skeletons) intend to encourage programmers to build a parallel program
from ready-made components for which e cient implementations are known to exist, making …