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

• C-XSC 2.4.0 - A C++ Library for Extended Scientific Computing (Final PROBRAL Version)

• 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.

• 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.

• Kolberg, M.:
  Parallel Self-Verified Solver for Dense Linear Systems.
  Thesis (PhD), PUCRS, Porto Alegre, January 2009.