Non-strict languages-programming and implementation
The Computer Journal - Special issue on Lazy functional programming
Experiments in MIMD parallelism
Future Generation Computer Systems - Parallel computing
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
A course in computational algebraic number theory
A course in computational algebraic number theory
Efficient high-level parallel programming
Theoretical Computer Science - Special issue on parallel computing
Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering
Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering
Introduction to Parallel Computing
Introduction to Parallel Computing
Parallel Programming Using Skeleton Functions
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Functional Skeletons Generate Process Topologies in Eden
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
Parallel functional programming at two levels of abstraction
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallelism abstractions in eden
Patterns and skeletons for parallel and distributed computing
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Parallel functional programming in Eden
Journal of Functional Programming
Google's MapReduce programming model – Revisited
Science of Computer Programming
Intel threading building blocks
Intel threading building blocks
Runtime support for multicore Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
MapReduce: a flexible data processing tool
Communications of the ACM - Amir Pnueli: Ahead of His Time
Riemann's hypothesis and tests for primality
Journal of Computer and System Sciences
Skandium: Multi-core Programming with Algorithmic Skeletons
PDP '10 Proceedings of the 2010 18th Euromicro Conference on Parallel, Distributed and Network-based Processing
Seq no more: better strategies for parallel Haskell
Proceedings of the third ACM Haskell symposium on Haskell
Dynamic task generation and transformation within a nestable workpool skeleton
Euro-Par'06 Proceedings of the 12th international conference on Parallel Processing
A skeleton for distributed work pools in eden
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Estimating parallel performance
Journal of Parallel and Distributed Computing
| Hi-index | 0.00 |
A parallel computation with early termination property is a special form of a parallel for loop. This paper devises a generic highlevel approach for such computation which is expressed as a scheme for algorithmic skeletons. We call this scheme map+reduce , in similarity with the map-reduce paradigm. The implementation is concise and relies heavily on laziness. Two case studies from computational number theory support our presentation.