Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio. Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In José M. Laginha M. Palma, Patrick Amestoy, Michel J. Daydé, Marta Mattoso, João Correia Lopes, editors, High Performance Computing for Computational Science - VECPAR 2008, 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers. Volume 5336 of Lecture Notes in Computer Science, pages 13-26, Springer, 2008. [doi]
Abstract is missing.