Introduction of Pipelining Optimisations into Gaussian Elimination

Joy Goodman


Formal program transformation in a functional language can be used to support the incremental design of parallel programs. However it is difficult to use it to introduce detailed communication optimisations. This paper demonstrates how this can be done through an example of such an optimisation: the introduction of a form of pipelining into the back substitution phase of Gaussian Elimination.

The full paper

Associated software

Versions of the Gaussian elimination program at different stages of the derivation: To run these, you will also need the following modules:

BibTeX citation

  author = "Joy Goodman",
  title = "Introduction of Pipelining Optimisations into Gaussian
  booktitle = "Draft Proceedings of the 3rd Scottish Functional 
Programming Workshop",
  month = Aug,
  year = 2001}
Joy Goodman
Back to my research page
Back to my home page