Solving Dense Interval Linear Systems with Verified Computing on Multicore Architectures. - Cleber Roberto Milani; Mariana Luderitz Kolberg; Luiz Gustavo Fernandes (VECPAR, 2010)