Proof of Correctness for Sparse Tiling of Gauss-Seidel

@inproceedings{Strout2003ProofOC,
  title={Proof of Correctness for Sparse Tiling of Gauss-Seidel},
  author={Michelle Mills Strout and Larry Carter and Jeanne Ferrante},
  year={2003}
}
Gauss-Seidel is an iterative computation used for solving a set of simultaneous linear equations, A~u = ~ f . If the matrix A uses a sparse matrix representation, storing only nonzeros, then the data dependences in the computation arise from A’s nonzero structure. We use this structure to schedule the computation at runtime using a technique called full… CONTINUE READING