Communication Lifting: Xed Point Computation for Parallelism

Communication lifting is a program transformation that can be applied to a synchronous process network to restructure the network. This restructuring in theory improves sequential and parallel performance. The transformation has been formally speciied and proved correct and it has been implemented as an automatic program transformation tool. This tool has… (More)