Re: Banerjee inequality

=?ISO-8859-1?Q?Pertti_Kellom=E4ki?= <pertti.kellomaki@xxxxxx> wrote:
I am trying to wrap my head around the Banerjee inequality (a basis
for a particular form of dependence testing in loops). While I
understand the gross outline, I am trying to work out the details to
convince myself. However, the proofs in Allen and Kennedy's Optimizing
Compilers for Modern Architectures are given in such high level that I
am having a hard time filling in some of the gaps.

Does anyone know of sources where the proofs would be spelled
out in more detail?

See:
Zima and Chapman, "Supercompilers for Parallel and Vector Computers", 1991.
Chapter 4 and Appendix B.
.

Relevant Pages

  • Banerjee inequality
    ... I am trying to wrap my head around the Banerjee inequality (a basis ... for a particular form of dependence testing in loops). ... understand the gross outline, I am trying to work out the details to ...
    (comp.compilers)
  • Re: Banerjee inequality
    ... Dependence Analysis for Supercomputing, U. Banerjee, Kluwer Academic ... for a particular form of dependence testing in loops). ... understand the gross outline, I am trying to work out the details to ...
    (comp.compilers)