Safe and precise WCET determination by abstract interpretation of pipeline models

Zugl.: Saarbrücken, Univ., Diss., 2004

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Thesing, Stephan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Saarbrücken-Dudweiler Pirrot 2004
Schlagworte:	Hochschulschrift > Hartes Echtzeitsystem > Korrektheit > Pipeline-Verarbeitung > Worst-Case-Laufzeit > Statische Analyse > Abstrakte Interpretation
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!