Improving Analysis and Optimization of Finite-Precision Programs

Alternative title
Verbesserung der Analyse und Optimierung von Programmen mit Endlicher Genauigkeit
Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
München, Technische Universität München, Dissertation, 2023

Keyword
Statische Analyse
Numerische Mathematik
Zuverlässigkeit
Gleitkommarechnung
Eingebettetes System
Codeoptimierung

Event
Veröffentlichung
(where)
München
(who)
Universitätsbibliothek der TU München
(when)
2023
Creator
Isychev, Anastasia
Contributor
Seidl, Helmut
Darulova, Eva
Seidl, Helmut
Tatlock, Zachary

URN
urn:nbn:de:bvb:91-diss-20231019-1712582-1-4
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:54 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Isychev, Anastasia
  • Seidl, Helmut
  • Darulova, Eva
  • Tatlock, Zachary
  • Universitätsbibliothek der TU München

Time of origin

  • 2023

Other Objects (12)