Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio. Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. In Annie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter W. Markstein, editors, Numerical Validation in Current Hardware Architectures, 6.1. - 11.1.2008. Volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
Abstract is missing.