algorithms based on traversing large implicitly defined trees by
backtracking and related methods. There are many applications of this
principle in AI, Operations Research, theorem proving, parallel
functional and logical programming languages and discrete mathematics.
The emphasis is on provably efficient load balancing algorithms for
very irregular and almost completely unpredictable computations which
are typical for these applications.
Part I: Introduction
- Motivation
- Modelling
- Approaches to Parallellization
- Algorithmic and Analytic Tools
- The Random Polling Load Balancer