SciDok

Eingang zum Volltext in SciDok

Lizenz

Dissertation zugänglich unter
URN: urn:nbn:de:bsz:291-scidok-31989
URL: http://scidok.sulb.uni-saarland.de/volltexte/2010/3198/


ILP-based path analysis on abstract pipeline state graphs

Stein, Ingmar Jendrik

pdf-Format:
Dokument 1.pdf (1.573 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
SWD-Schlagwörter: Pfadanalyse , Worst-Case-Laufzeit
Freie Schlagwörter (Deutsch): ILP , WCET
Freie Schlagwörter (Englisch): path analysis
Institut: Fachrichtung 6.2 - Informatik
Fakultät: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I
DDC-Sachgruppe: Informatik
Dokumentart: Dissertation
Hauptberichter: Wilhelm, Reinhard (Prof. Dr. Dr. h. c. mult.)
ISBN: 978-3-86931-538-6
Sprache: Englisch
Tag der mündlichen Prüfung: 28.05.2010
Erstellungsjahr: 2010
Publikationsdatum: 09.07.2010
Kurzfassung auf Englisch: This thesis presents a novel approach to path analysis which is an integral part of the WCET analysis. Up to now, there have been two different methods for this step, each with its respective advantages and disadvantages. The new ILP-based path analysis on abstract pipeline state graphs supersedes the existing ones and combines the positive aspects of both but does not introduce new limitations. It provides high precision and the flexibility of user-provided annotations at the same time while opening up new possibilities for optimizations such as a new kind of persistence analysis.
Kurzfassung auf Deutsch: Diese Arbeit präsentiert einen innovativen Ansatz für die Pfadanalyse, ein integraler Bestandteil der WCET-Analyse. Bisher gab es zwei verschiedene Methoden für diesen Schritt, jede mit ihren spezifischen Vor- und Nachteilen. Die neue ILP-basierte Pfadanalyse auf abstrakten Pipelinezustandsgraphen ersetzt die beiden existierenden und kombiniert die positiven Aspekte, ohne neue Beschränkungen einzuführen. Sie bietet sowohl eine hohe Präzision als auch die Flexibilität benutzerbestimmter Annotationen. Darüber hinaus bietet sie neue Optimierungsmöglichkeiten wie zum Beispiel eine neuartige Persistenzanalyse.
Lizenz: Standard-Veröffentlichungsvertrag

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English