Improving Analysis and Optimization of Finite-Precision Programs

Weitere Titel
Verbesserung der Analyse und Optimierung von Programmen mit Endlicher Genauigkeit
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
München, Technische Universität München, Dissertation, 2023

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

Ereignis
Veröffentlichung
(wo)
München
(wer)
Universitätsbibliothek der TU München
(wann)
2023
Urheber
Isychev, Anastasia
Beteiligte Personen und Organisationen
Seidl, Helmut
Darulova, Eva
Seidl, Helmut
Tatlock, Zachary

URN
urn:nbn:de:bvb:91-diss-20231019-1712582-1-4
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

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

Entstanden

  • 2023

Ähnliche Objekte (12)