Dalcidio Moraes Claudio

Affiliations:
  • Pontifical Catholic University of Rio Grande do Sul, PUCRS, Brazil


According to our database1, Dalcidio Moraes Claudio authored at least 19 papers between 1980 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2008
Dense Linear System: A Parallel Self-verified Solver.
Int. J. Parallel Program., 2008

Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.
Proceedings of the High Performance Computing for Computational Science, 2008

2006
Optimizing a Parallel Self-verified Method for Solving Linear Systems.
Proceedings of the Applied Parallel Computing. State of the Art in Scientific Computing, 2006

2005
Solving Real Life Applications With High Accuracy.
Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

Approximation Problems Categories.
Proceedings of the Computer Aided Systems Theory, 2005

2003
On the Approximation of Centered Zonotopes in the Plane.
Proceedings of the Large-Scale Scientific Computing, 4th International Conference, 2003

A Categorical Approach to NP-Hard Optimization Problems.
Proceedings of the Computer Aided Systems Theory, 2003

2001
Teaching of Discrete Mathematics.
Proceedings of the Networking the Learner: Computers in Education, 2001

Optimization Problems Categories.
Proceedings of the Computer Aided Systems Theory, 2001

2000
A Coherence Space of Rational Intervals for a Construction of IR.
Reliab. Comput., 2000

1998
Modelling the Measurement Uncertainty by Intervals.
J. Univers. Comput. Sci., 1998

1996
An Interval fixed-point theorem.
RITA, 1996

High performance with high accuracy laboratory.
RITA, 1996

Computational arithmetic: an updated view.
RITA, 1996

Errors in vector processing and the library libavi.a.
Reliab. Comput., 1996

1995
Inclusion methods for real and complex functions in one variable.
RITA, 1995

Um algoritmo algébrico para isolar zeros de polinômios.
RITA, 1995

1989
A two-sided method for nonlinear equations with cubic convergence.
RITA, 1989

1980
Contributions to the structure of computer arithmetic.
Computing, 1980


  Loading...