DagSemProc.08021.1.pdf
- Filesize: 272 kB
- 31 pages
Document
08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 8021
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2008-04-23
Cite AsGet BibTex
Wolfram Luther, Annie Cuyt, Walter Krämer, and Peter Markstein. 08021 Abstracts Collection – Numerical Validation in Current Hardware Architectures. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
https://doi.org/10.4230/DagSemProc.08021.1
https://doi.org/10.4230/DagSemProc.08021.1
Abstract
From 06.01. to 11.01.2008, the Dagstuhl Seminar 08021 ``Numerical Validation in Current Hardware Architectures'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available.
Keywords
- Computer arithmetic
- arbitrary precision
- floating-point arithmetic standardization
- language support
- reliable libraries,high-precision special functions
- reliablealgorithms
- reliable floating-point and interval computing on different platforms
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads