Login
- Originaltitel:
- Improving Analysis and Optimization of Finite-Precision Programs
- Übersetzter Titel:
- Verbesserung der Analyse und Optimierung von Programmen mit Endlicher Genauigkeit
- Autor:
- Isychev, Anastasia
- Jahr:
- 2023
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- TUM School of Computation, Information and Technology
- Betreuer:
- Seidl, Helmut (Prof. Dr.)
- Gutachter:
- Seidl, Helmut (Prof. Dr.); Darulova, Eva (Prof. Dr.); Tatlock, Zachary (Prof. Dr.)
- Sprache:
- en
- Fachgebiet:
- DAT Datenverarbeitung, Informatik
- Stichworte:
- finite precision, numerical software, static analysis, floating-point arithmetic, fixed-point arithmetic, rounding errors, sound optimization, performance
- Übersetzte Stichworte:
- numerische Software, Rundungsfehler, statische Analyse, Optimierung, Gleitkommaarithmetik, Festkommaarithmetik
- TU-Systematik:
- DAT 500
- Kurzfassung:
- Numerical software has many forms: from analyzing our heartbeat to simulations predicting earthquakes. Some of these programs must produce very accurate results, as the cost of an error may be too high, while others can tolerate a certain amount of noise. Today's rigorous tools ensure accurate results by bounding rounding errors, and utilize noise tolerance to optimize performance. In this thesis, we improve existing sound analyses of programs with loops and optimizations of numerical kernels.
- Übersetzte Kurzfassung:
- Numerische Software gibt es in vielen Formen: Analyse des Herzschlags, Erdbebenvorhersage, usw. Einige Programme müssen genaue Ergebnisse liefern, weil Fehler teuer sind, während andere eine gewisse Ungenauigkeit tolerieren können. Heutige Tools liefern verlässliche Ergebnisse, indem sie Rundungsfehler begrenzen, und nutzen tolerierte Ungenauigkeit, um die Leistung zu optimieren. Wir entwickeln verbesserte Analysen von Programmen mit Schleifen sowie Optimierungen für Basisblöcke.
- WWW:
- https://mediatum.ub.tum.de/?id=1712582
- Eingereicht am:
- 20.06.2023
- Mündliche Prüfung:
- 19.10.2023
- Dateigröße:
- 3290016 bytes
- Seiten:
- 193
- Urn (Zitierfähige URL):
- https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20231019-1712582-1-4
- Letzte Änderung:
- 05.12.2023
BibTeX
Vorkommen:
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenSchoolTUM School of Computation, Information and TechnologyComputer Science
- mediaTUM GesamtbestandEinrichtungenSchools TUM School of Computation, Information and TechnologyPrüfungsarbeitenDissertationen