Former Bilateral Project: Brazil - Germany |
Automatic Result Verification in the Environment of
High Performance Computing (project has expired)
Institutions involved in the project:
|
|
|
|
Instituto de Informática
Universidade Federal do Rio Grande do Sul
(UFRGS)
Brazil |
Scientific Computing / Software Engineering
Department of Mathematics
University of Wuppertal,
(BUW)
Germany
|
Faculdade de Informática
Pontificia Universidade Catolica
do Rio Grande do Sul
(PUCRS)
Brazil |
Fakultät für Mathematik
Universität Karlsruhe (TH)
Germany |
|
|
|
|
The bilateral project "Automatic Result Verification in the Environment
of High Performance Computing" (BRA 02/A12) is funded by International
Bureau (IB, BMBF, Germany), FAPERGS
(Brasil)
and DAAD (Probral, AZ 415-br-probral/ale-03/23581).
Principal investigators:
Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS),
Faculdade de Informática,
Porto Alegre,
Prof. Dr. Dalcidio Moraes Claudio
and
Bergische Universität Wuppertal (BUW),
Fachbereich Mathematik und Institut für Angewandte Informatik,
Prof. Dr. Walter Krämer
Documents:
Agreement of Cooperation by and between the Universidade Federal do
Rio Grande do Sul (UFRGS),
Brazil and the Bergische Universität Wuppertal (BUW), Germany
(in English: Page 1, Page
2; in Portuguese: Page 1, Page
2)
Scientists involved in the project:
Exchange of experts:
-
Dr. Bohlender (Universität Karlsruhe), March 2002 in Porto Alegre
-
Prof. Dr. Krämer (BUW), March 2002 in Porto Alegre
-
MSc. Carlos Hölbig (UFRGS), September 2002 to February 2003 in Wuppertal and
two weeks in December 2002 in Karlsruhe
-
Prof. Dr. Diverio (UFRGS), September 2002 in Wuppertal
-
BSc. Mariana Kolberg (PUCRS), September 2002 to February 2003 in Karlsruhe and
two weeks in October 2002 in Wuppertal
-
Meeting in Paris and presentation of a talk about the project at the 10th
GAMM - IMACS International Symposium on Scientific Computing, Computer
Arithmetic, and Validated Numerics (SCAN2002).
-
Dr. Bohlender (Universität Karlsruhe), July 4, 2003 in Wuppertal
with Prof. Dr. Krämer and Dr. Hofschuster
-
Prof. Dr. Krämer (Universität Wuppertal), August 1, 2003 in Karlsruhe
with Dr. Bohlender and Dr. Klatte
-
BSc. Mariana Kolberg (PUCRS),
January-August 2004 in Karlsruhe
- Workshop
"Perspektiven im Bereich numerischer Einschliessungsverfahren"
in Freudenstadt, March 17-19, 2004
-
Prof. Dr. Diverio (UFRGS), May 31-July 5, 2004 in Germany
-
MSc. Carlos Hölbig (UFRGS),
July 5-30, 2004 in Karlsruhe and one week July 19-24, 2004 in Wuppertal
-
Workshop, July 22, 2004 in Wuppertal
with MSc. Carlos Hölbig (UFRGS),
BSc. Mariana Kolberg (PUCRS),
Dr. Bohlender and Dr. Klatte (Universität Karlsruhe),
Dipl.-Math. Grimmer, Dr. Hofschuster, Prof. Dr. Krämer (BUW)
-
Dr. Bohlender and Dr. Klatte (Universität Karlsruhe), 2 weeks in
September 2004 in Porto Alegre
-
Dipl.-Math. Grimmer (BUW), August 2004 - October 2004 in Porto Alegre
-
Minisymposium and presentations at the XXVII Congresso Nacional de Matematica
Aplicada e Computacional (CNMAC), September 2004, Porto Alegre.
-
Prof. Dr. Krämer (Universität Wuppertal), November 19, 2004 in Karlsruhe
with Dr. Bohlender and Dr. Klatte
-
Dr. Bohlender, Dr. Klatte (Universität Karlsruhe)
and Prof. Dr. Krämer (Universität Wuppertal),
August 9 - September 5, 2005 in Porto Alegre and Recife
-
MSc. Mariana Kolberg (PUCRS), October 2004 in Karlsruhe
- Workshop
"Perspektiven im Bereich numerischer Einschliessungsverfahren (Event Nr. 05412)"
in IBFI Schloss Dagstuhl, October 9-12, 2005
-
Meeting in Duisburg and presentation of a talk about the project at the 12th
GAMM - IMACS International Symposium on Scientific Computing, Computer
Arithmetic, and Validated Numerics (SCAN2006).
Papers and Preprints:
-
Hölbig, Carlos; Krämer, Walter and
Diverio, Tiarajú:
An Accurate and Efficient Selfverifying Solver for Systems with Banded
Coefficient Matrix
to appear in proceeding volume to ParCo2003 in Dresden
(PDF (105 KB))
-
Hölbig, Carlos; Krämer, Walter:
Selfverifying Solvers for Dense
Systems of Linear Equations Realized in C-XSC
Preprint BUW-WRSWT 2003/1, Universität Wuppertal, 2003
(PDF (196 KB))
-
Bohlender, G.; Lüderitz Kolberg, M.; Claudio, D. M.:
Modifications to Expression Evaluation in C-XSC
Preprint BUW-WRSWT 2005/5, Universität Wuppertal, 2005
(PDF (93 KB))
-
Hölbig, Carlos:
Ambiente de Alto Desempenho com Alta Exatidão para a Resolução de Problemas
Tese (doutorado), Universidade Federal do Rio Grande do Sul.Porto Alegre: PPGC da UFRGS, 2005
(PDF)
-
Kolberg, M.; Baldo, L.; Velho, P.; Fernandes, L. F.; Claudio, D.:
Optimizing a Parallel Self-verified Method for Solving Linear Systems
Lecture Notes in Computer Science: Applied Parallel Computing. State of the Art in
Scientific Computing 8th International Workshop, PARA 2006, Umeå,
Sweden, June 18-21, 2006, Revised Selected Papers, volume 3, pp. 949-955,
Springer Berlin / Heidelberg, 2007
-
Kolberg, M.; Fernandes, L. F.; Claudio, D.:
Dense Linear System: A Parallel Self-verified Solver
International Journal of Parallel Programming, Springer Netherlands, 2007
Talks and Presentations:
- Grimmer, Markus:
Multiple Precision Interval Arithmetic: Comparing some Packages
Talk in Passo Fundo/Brazil, August 2004
(PDF (149 KB)).
- Grimmer, Markus:
intpakX: A Maple Power Tool for verified numerical computing
Talk at CNMAC 2004 in Porto Alegre/Brazil, September 2004.
(PDF (361 KB)).
Under preparation:
-
Preprint
Hölbig, Carlos and Krämer, Walter:
Selfverifying Solvers for Linear Systems with Band Matrices Realized in
C-XSC