Symbolic Parallelization of Nested Loop Programs

This book introduces new compilation techniques, using the polyhedron model for the resource-adaptive parallel execution of loop programs on massively parallel processor arrays. The new, on-demand fault-tolerant loop processing approach described in this book protects loop nests for parallel execution against soft errors.