Bilateral Project: Brazil - Germany |
High Performance Verified Computing (HPVC)
Institutions involved in the project:
|
|
|
|
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
KIT / Universität Karlsruhe (TH)
Germany |
Department of Computer Science
Universidade de São Paulo
(USP)
Brazil |
|
|
|
|
The bilateral project "High Performance Verified Computing (HPVC)" is funded by
CAPES (Brasil)
and DAAD (Probral 2008, AZ 415-br-probral/po-D/07/09623).
Principal investigators:
Pontificia Universidade Catolica do Rio Grande do Sul (PUCRS)
Faculdade de Informática
Porto Alegre
Prof. Dr. Gustavo Fernandes
and
Bergische Universität Wuppertal (BUW)
Fachbereich C (Mathematik und Informatik)
Prof. Dr. Walter Krämer
Scientists involved in the project:
Exchange of experts / Meetings:
- Dr. Bohlender (Universität Karlsruhe), Dr. Hofschuster (Universität Wuppertal),
Dr. Klatte (Universität Karlsruhe), M.Sc. Kolberg (PUCRS), Prof. Dr. Krämer
(Universität Wuppertal), Meeting in Dagstuhl, January 2008
- Prof. Dr. Fernandes (PUCRS), M.Sc. Kolberg (PUCRS), March/April 2008 in Porto Alegre
- Dr. Bohlender (Universität Karlsruhe), Prof. Dr. Fernandes (PUCRS),
Prof. Dr. Goldman (USP), Prof. Dr. Heuveline (Universität Karlsruhe),
Dr. Klatte (Universität Karlsruhe), M.Sc. Kolberg (PUCRS),
Prof. Dr. Krämer (Universität Wuppertal), Dipl.-Math. techn. Richter (Universität Karlsruhe),
Meeting in Karlsruhe, May 2008
- Dr. Bohlender (Universität Karlsruhe), Prof. Dr. Fernandes (PUCRS),
Prof. Dr. Goldman (USP), Dr. Hofschuster (Universität Wuppertal),
Dr. Klatte (Universität Karlsruhe), M.Sc. Kolberg (PUCRS),
Prof. Dr. Krämer (Universität Wuppertal),
Dipl.-Math. techn. Richter (Universität Karlsruhe), M.Sc. Zimmer (Universität Wuppertal),
Workshop in Wuppertal, June 2008
- Dipl.-Math. techn. Richter (Universität Karlsruhe), July-September 2008 in Porto Alegre and São Paulo
- Prof. Dr. Krämer (Universität Wuppertal), October/November 2008 in São Paulo and Campo Grande
- Dipl.-Math. oec. Krause (Universität Karlsruhe), December 2008/January 2009 in São Paulo
- Dr. Bohlender (KIT), Prof. Dr. Krämer (Universität Wuppertal), August 2009
in Brasilia, Porto Alegre and São Paulo
- Dipl.-Math. M. Bürg (KIT), August-September 2009 in Porto Alegre and São Paulo
- Dr. Bohlender (KIT), Dr. Klatte (KIT), Prof. Dr. Krämer (Universität Wuppertal), September 2010
in São Paulo and Águas de Lindóia/SP
Mini-Symposium IntMath (Interval Mathematics and Connections in Teaching
and Scientific Development Mini-symposium) in Águas de Lindóia/SP, Brazil,
September 20-21, 2010
Software:
Conferences:
-
CNMAC 2010,
XXXIII Congresso Nacional de Matemática Aplicada e Computacional
September 20-23, 2010, Águas de Lindóia/SP, Brazil.
-
Mini-Symposium IntMath (Interval Mathematics and Connections in Teaching
and Scientific Development Mini-symposium)
September 20-21, 2010, Águas de Lindóia/SP, Brazil.
Papers and Preprints:
-
Almeida, A.; Hölbig, C. A.:
Solver Verificado Paralelo com Alta Exatidão para
a Resolução de Sistemas Lineares Densos
In Reiser, R. H. S.; Pilla, M. L. (eds.):
IntMath-TSD: Interval Mathematics and Connections in Teaching
and Scientific Development, Universidade Federal de Pelotas,
Ed. Universitária, p. 27-34, 2010.
-
Bohlender, G.:
Improving the Efficiency of Dot Product Computations Using
Error Free Transformatons in C-XSC
In Reiser, R. H. S.; Pilla, M. L. (eds.):
IntMath-TSD: Interval Mathematics and Connections in Teaching
and Scientific Development, Universidade Federal de Pelotas,
Ed. Universitária, p. 15-26, 2010.
-
Fernandes, L. G.; Kolberg, M.; Milani, C. R.:
Intervals on Self-verified Linear Systems Solver for
Multicore Computers
In Reiser, R. H. S.; Pilla, M. L. (eds.):
IntMath-TSD: Interval Mathematics and Connections in Teaching
and Scientific Development, Universidade Federal de Pelotas,
Ed. Universitária, p. 35-42, 2010.
-
Kolberg, M.; Fernandes, L. G.; Claudio, D.:
Parallel Self-verified Linear System Solver on Cluster
Computers
In Reiser, R. H. S.; Pilla, M. L. (eds.):
IntMath-TSD: Interval Mathematics and Connections in Teaching
and Scientific Development, Universidade Federal de Pelotas,
Ed. Universitária, p. 43-50, 2010.
-
Krämer, W.:
High Performance Verified Computing Using C-XSC
In Reiser, R. H. S.; Pilla, M. L. (eds.):
IntMath-TSD: Interval Mathematics and Connections in Teaching
and Scientific Development, Universidade Federal de Pelotas,
Ed. Universitária, p. 3-14, 2010.
-
Hofschuster, W.; Krämer, W.; Neher, M.:
C-XSC and Closely Related Software Packages
In: Cuyt et al. (Eds.): Numerical Validation
in Current Hardware Architectures, Lecture Notes in
Computer Science, LNCS 5492,
Springer Berlin / Heidelberg, p. 68-102, 2009.
-
Kolberg, M.; Krämer, W.; Zimmer, M.:
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
Preprint BUW-WRSWT 2008/2, Universität Wuppertal, 2008
(PDF (139 KB))
In: Cuyt et al. (Eds.): Numerical Validation
in Current Hardware Architectures, Lecture Notes in
Computer Science, LNCS 5492,
Springer Berlin / Heidelberg, p. 250-261, 2009.
-
Kolberg, M.; Baldo, L.; Velho, P.; Fernandes, L. G.; Claudio, D.:
Optimizing a Parallel Self-verified Method for Solving Linear Systems.
In PARA 2006: Applied Parallel Computing. State of the Art in Scientific
Computing, volume 4699 of Lecture Notes in Computer Science, pages
949-955, Germany, 2008. Springer Berlin / Heidelberg.
-
Kolberg, M.; Bohlender, G.; Claudio, D.:
Improving the Performance of a Verified Linear System Solver Using
Optimized Libraries and Parallel Computation.
In VECPAR 2008: High Performance Computing
for Computational Science, volume 5336 of Lecture Notes in Computer
Science, pages 13-26, Germany, 2008. Springer Berlin / Heidelberg.
-
Kolberg, M.; Bohlender, G.; Claudio, D.:
Improving the Performance of a Verified Linear System Solver
Using Optimized Libraries and Parallel Computation
In Annie Cuyt, Walter Krämer, Wolfram Luther, and
Peter Markstein, editors, Numerical Validation in Current Hardware
Architectures, number 08021, Dagstuhl,
Germany. Internationales Begegnungs- und Forschungszentrum für
Informatik (IBFI), 5 pages, Dagstuhl Research Online
Publication Server (DROPS), 2008.
-
Kolberg, M.; Cordeiro, D.; Bohlender, G.; Fernandes, L. G.; Goldman, A.:
A Multithreaded Verified Method for Solving Linear Systems in
Dual-Core Processors.
In PARA - 9th International Workshop on State-
of-the-Art in Scientific and Parallel Computing , To be published,
Lecture Notes in Computer Science, Trondheim, Norway, 2008. Springer
Berlin / Heidelberg.
-
Kolberg, M.; Dorn, M.; Bohlender, G.; Fernandes, L. G.:
Parallel Verified Linear System Solver for Uncertain Input Data.
In SBAC-PAD:
20th International Symposium on Computer Architecture and High Performance
Computing, pages 89-96, Campo Grande, Brazil, 2008. IEEE
Computer Society Press.
-
Kolberg, M.; Fernandes, L. G.; Claudio, D.:
Dense Linear System: A Parallel Self-verified Solver.
International Journal of Parallel Programming, 36:412-425, 2008.
-
Zimmer, M.; Krämer:
Fast (Parallel) Dense Linear Interval Systems Solvers in C-XSC Using Error
Free Transformations and BLAS
Dagstuhl Seminar Proceedings 08021 - Numerical Validation
in Current Hardware Architectures, 2008
In: Cuyt et al.: Numerical Validation
in Current Hardware Architectures, Lecture Notes in
Computer Science, Germany, Springer Berlin / Heidelberg.
-
Zimmer, M.; Kolberg, M.; Krämer, W.:
Efficient parallel solvers for large dense systems of linear
interval equations.
In SCAN 2008: 13th
GAMM - IMACS International Symposium on Scientific Computing,
Computer Arithmetic and Verified Numerical Computations, El Paso,
Texas, USA. To be published.
Theses:
-
Kolberg, M.:
Parallel Self-Verified Solver for Dense Linear Systems.
Thesis (PhD), PUCRS, Porto Alegre, January 2009.