Dalcidio Moraes Claudio

20 papers Journal 11Unranked 9
YearRankTypeTitle / Venue / Authors
2008 J jnl
Dense Linear System: A Parallel Self-verified Solver.
Int. J. Parallel Program.
Mariana Luderitz Kolberg, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio
2008 — conf
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
Numerical Validation in Current Hardware Architectures
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio
2008 — conf
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
VECPAR
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio
2006 — conf
Optimizing a Parallel Self-verified Method for Solving Linear Systems.
PARA
Mariana Luderitz Kolberg, Lucas Baldo, Pedro Velho, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio
2005 — conf
Approximation Problems Categories.
EUROCAST
Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
2005 — conf
Solving Real Life Applications With High Accuracy.
PARCO
Carlos Amaral Hölbig, Paulo Sergio Morandi Jr., Dalcidio Moraes Claudio, Tiarajú Asmuz Diverio
2003 — conf
A Categorical Approach to NP-Hard Optimization Problems.
EUROCAST
Liara Aparecida dos Santos Leal, Dalcidio Moraes Claudio, Laira Vieira Toscani, Paulo Blauth Menezes
2003 — conf
On the Approximation of Centered Zonotopes in the Plane.
LSSC
Svetoslav Markov, Dalcidio Moraes Claudio
2001 — conf
Optimization Problems Categories.
EUROCAST
Liara Aparecida dos Santos Leal, Paulo Blauth Menezes, Dalcidio Moraes Claudio, Laira Vieira Toscani
2001 — conf
Teaching of Discrete Mathematics.
WCCE
Simone C. Mendes, Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio
2000 J jnl
A Coherence Space of Rational Intervals for a Construction of IR.
Reliab. Comput.
Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa, Dalcidio Moraes Claudio
1998 J jnl
Modelling the Measurement Uncertainty by Intervals.
J. Univers. Comput. Sci.
Fabiana Zamora Wilke, Beatriz Regina Tavares Franciosi, Paulo Werlang Oliveira, Dalcidio Moraes Claudio
1996 J jnl
An Interval fixed-point theorem.
RITA
Paulo W. de Oliveira, Dalcidio Moraes Claudio
1996 J jnl
Computational arithmetic: an updated view.
RITA
Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio
1996 J jnl
Errors in vector processing and the library libavi.a.
Reliab. Comput.
Tiarajú Asmuz Diverio, Ursula A. L. Fernandes, Dalcidio Moraes Claudio
1996 J jnl
High performance with high accuracy laboratory.
RITA
Tiarajú Asmuz Diverio, Philippe Olivier Alexandre Navaux, Dalcidio Moraes Claudio, Carlos Amaral Hölbig, Ursula A. L. Fernandes, R. L. Sagula
1995 J jnl
Inclusion methods for real and complex functions in one variable.
RITA
Dalcidio Moraes Claudio, Siegfried M. Rump
1995 J jnl
Um algoritmo algébrico para isolar zeros de polinômios.
RITA
Dalcidio Moraes Claudio, Maria Angelica Camargo, Vilmar Trevisan
1989 J jnl
A two-sided method for nonlinear equations with cubic convergence.
RITA
Dalcidio Moraes Claudio, Paulo Ricardo de Ávila Zingano
1980 J jnl
Contributions to the structure of computer arithmetic.
Computing
Dalcidio Moraes Claudio