1995 IEEE International Conference on Application-Specific Array Processors (ASAP'95)
Revisiting the Decomposition of Karp, Miller and Winograd
Strasbourg, France
July 24-July 26
ISBN: 0-8186-7109-2
This paper is devoted to the construction of multi-dimensional schedules for a system of uniform recurrence equations. We show that this problem is dual to the problem of computability of a system of uniform recurrence equations. We propose a new study of the decomposition algorithm first proposed by Karp, Miller and Winograd: we base our implementation on linear programming resolutions whose duals give exactly the desired multi-dimensional schedules. Furthermore, we prove that the schedules built this way are optimal up to a constant factor.
Index Terms:
Uniform recurrence equations, multi-dimensional scheduling, automatic parallelization
Citation:
Alain Darte, Fredric Vivien, "Revisiting the Decomposition of Karp, Miller and Winograd," asap, pp.13, 1995 IEEE International Conference on Application-Specific Array Processors (ASAP'95), 1995