2008 |
5 | EE | Mariana Luderitz Kolberg,
Walter Krämer,
Michael Zimmer:
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.
Numerical Validation in Current Hardware Architectures 2008 |
4 | EE | Mariana Luderitz Kolberg,
Gerd Bohlender,
Dalcidio Moraes Claudio:
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
Numerical Validation in Current Hardware Architectures 2008 |
3 | EE | Mariana Luderitz Kolberg,
Gerd Bohlender,
Dalcidio Moraes Claudio:
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
VECPAR 2008: 13-26 |
2 | EE | Mariana Luderitz Kolberg,
Luiz Gustavo Fernandes,
Dalcidio Moraes Claudio:
Dense Linear System: A Parallel Self-verified Solver.
International Journal of Parallel Programming 36(4): 412-425 (2008) |
2006 |
1 | EE | Mariana Luderitz Kolberg,
Lucas Baldo,
Pedro Velho,
Luiz Gustavo Fernandes,
Dalcidio Moraes Claudio:
Optimizing a Parallel Self-verified Method for Solving Linear Systems.
PARA 2006: 949-955 |