2008 |
18 | 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 |
17 | 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 |
16 | 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 |
15 | 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 |
2005 |
14 | EE | Liara Aparecida dos Santos Leal,
Dalcidio Moraes Claudio,
Laira Vieira Toscani,
Paulo Blauth Menezes:
Approximation Problems Categories.
EUROCAST 2005: 9-14 |
13 | | Carlos Amaral Hölbig,
Paulo Sergio Morandi Jr.,
Dalcidio Moraes Claudio,
Tiarajú Asmuz Diverio:
Solving Real Life Applications With High Accuracy.
PARCO 2005: 317-324 |
2003 |
12 | EE | Liara Aparecida dos Santos Leal,
Dalcidio Moraes Claudio,
Laira Vieira Toscani,
Paulo Blauth Menezes:
A Categorical Approach to NP-Hard Optimization Problems.
EUROCAST 2003: 62-73 |
11 | EE | Svetoslav Markov,
Dalcidio Moraes Claudio:
On the Approximation of Centered Zonotopes in the Plane.
LSSC 2003: 246-253 |
2001 |
10 | EE | Liara Aparecida dos Santos Leal,
Paulo Blauth Menezes,
Dalcidio Moraes Claudio,
Laira Vieira Toscani:
Optimization Problems Categories.
EUROCAST 2001: 285-299 |
9 | | Simone C. Mendes,
Tiarajú Asmuz Diverio,
Dalcidio Moraes Claudio:
Teaching of Discrete Mathematics.
WCCE 2001: 443-451 |
2000 |
8 | EE | Graçaliz Pereira Dimuro,
Antônio Carlos da Rocha Costa,
Dalcidio Moraes Claudio:
A Coherence Space of Rational Intervals for a Construction of IR.
Reliable Computing 6(2): 139-178 (2000) |
1998 |
7 | EE | Fabiana Zamora Wilke,
Beatriz Regina Tavares Franciosi,
Paulo Werlang Oliveira,
Dalcidio Moraes Claudio:
Modelling the Measurement Uncertainty by Intervals.
J. UCS 4(1): 82-88 (1998) |
1996 |
6 | | Paulo W. de Oliveira,
Dalcidio Moraes Claudio:
An Interval fixed-point theorem.
RITA 3(2): 117-132 (1996) |
5 | | Tiarajú Asmuz Diverio,
Dalcidio Moraes Claudio:
Computational arithmetic: an updated view.
RITA 3(2): 167-181 (1996) |
4 | | Tiarajú Asmuz Diverio,
Philippe Olivier Alexandre Navaux,
Dalcidio Moraes Claudio,
Carlos Amaral Hölbig,
U. A. L. Fernandes,
R. L. Sagula:
High performance with high accuracy laboratory.
RITA 3(2): 35-54 (1996) |
1995 |
3 | | Dalcidio Moraes Claudio,
Siegfried M. Rump:
Inclusion methods for real and complex functions in one variable.
RITA 2(1): 125-136 (1995) |
2 | | Dalcidio Moraes Claudio,
Maria Angelica Camargo,
Vilmar Trevisan:
Um algoritmo algébrico para isolar zeros de polinômios.
RITA 2(2): 93-113 (1995) |
1989 |
1 | | Dalcidio Moraes Claudio,
Paulo RicardoÁvila Zingano:
A two-sided method for nonlinear equations with cubic convergence.
RITA 1(1): 21-27 (1989) |