%0 Thesis %T Computa??o verificada aplicada ? resolu??o de sistemas lineares intervalares densos em arquiteturas multicore %U http://tede2.pucrs.br/tede2/handle/tede/5110 %I Pontif?cia Universidade Cat?lica do Rio Grande do Sul