Cleber Roberto Milani, Mariana Luderitz Kolberg, Luiz Gustavo Fernandes. Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures. In José M. Laginha M. Palma, Michel J. Daydé, Osni Marques, João Correia Lopes, editors, High Performance Computing for Computational Science - VECPAR 2010 - 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers. Volume 6449 of Lecture Notes in Computer Science, pages 435-448, Springer, 2010. [doi]
Abstract is missing.