Übersetzung und Code-Erzeugung für Invasive Programme (C03)
Übersetzung und Code-Erzeugung für Invasive Programme (C03)
Übersetzung und Code-Erzeugung für Invasive Programme (C03)
Erforscht werden Compiler-Verfahren für invasive Architekturen, insbesondere, um das Erzwingen von nichtfunktionalen Programmausführungsaspekten zu erleichtern. Themen umfassen (a) Übersetzungsmethoden, um Schleifen mit konstanter Latenz zu erzeugen, (b) approximative Schleifenverarbeitung inklusive der einhergehenden Fehleranalyse, (c) symbolische Codeerzeugung für TCPAs, (d) Ansätze zur automatischen Programm-Invasifikation, (e) auf invasive Architekturen zugeschnittene Optimierungen und (f) Informationsflusskontrolle für invasive Anwendungen.
Unsere Webseite verwendet Cookies und ähnliche Technologien.
Einige Cookies sind für den Besuch dieser Webseite notwendig, also essenziell. Ohne diese Cookies wäre Ihr Endgerät ansonsten zum Beispiel nicht in der Lage, sich Ihre Datenschutzauswahl zu merken.
Falls Sie zustimmen, verwenden wir Cookies und Daten auch, um Ihre Interaktionen mit unserer Webseite zu messen, oder um externe Medien (z.B. Videos) einzubinden.
Sie können Ihre Einwilligung jederzeit unter Datenschutzerklärung einsehen und widerrufen. Auf der Seite finden Sie auch zusätzliche Informationen zu den verwendeten Cookies und Technologien.
Hier finden Sie eine Übersicht aller verwendeten Cookies. Sie können Ihre Einwilligung zu ganzen Kategorien geben oder sich weitere Informationen anzeigen lassen und bestimmte Cookies auswählen.