Quantifier Elimination in Automatic Loop Parallelization

@inproceedings{Grlinger2005QuantifierEI,
  title={Quantifier Elimination in Automatic Loop Parallelization},
  author={Armin Gr{\"o}\sslinger and Martin Griebl and Christian Lengauer},
  booktitle={Algorithmic Algebra and Logic},
  year={2005}
}
Quantifier elimination is used in the automatic parallelization of loop programs to simplify affine inequalities whose coefficients may be unevaluated symbolic constants. The values of these socalled structure parameters are determined at run time and reflect the size if the iteration space of the loop nest. The purpose of our presentation is to make the research community of quantifier elimination aware of the application domain of loop parallelization and to highlight the r ôle of quantifier… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 22 references

An AutomataTheoretic Modelization of Instancewise Program Analysis : Transducers as mappings from Instances to Memory Locations

  • Cedric Bastoul
  • 2004

Similar Papers

Loading similar papers…