Hochschulschrift
Safe and precise WCET determination by abstract interpretation of pipeline models
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Univ., Diss., 2004
- Keyword
-
Hartes Echtzeitsystem
Korrektheit
Pipeline-Verarbeitung
Worst-Case-Laufzeit
Statische Analyse
Abstrakte Interpretation
Hartes Echtzeitsystem ; Korrektheit ; Pipeline-Verarbeitung ; Worst-Case-Laufzeit ; Statische Analyse ; Abstrakte Interpretation
- Creator
- URN
-
urn:nbn:de:bsz:291-scidok-4664
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Precise type analysis by abstract interpretation
Precise orbit determination for BDS satellites
mRNA vaccine development for cholangiocarcinoma: a precise pipeline
Investigations on multi-GNSS constellation precise orbit determination
Geometrical and Kinematical Precise Orbit Determination of GOCE
Precise Visibility Determination of Displays in Camera Images
Precise orbit determination based on raw GPS measurements
Investigations on multi-GNSS constellation precise orbit determination
Experiment for Precise Orbit Determination on InnoCube
ILP-based path analysis on abstract pipeline state graphs
Petascale pipeline for precise alignment of images from serial section electron microscopy
Precise Orbit Determination of GOCE based on GNSS observations
Precise type analysis by abstract interpretation
Precise orbit determination for BDS satellites
mRNA vaccine development for cholangiocarcinoma: a precise pipeline
Investigations on multi-GNSS constellation precise orbit determination
Geometrical and Kinematical Precise Orbit Determination of GOCE
Precise Visibility Determination of Displays in Camera Images
Precise orbit determination based on raw GPS measurements
Investigations on multi-GNSS constellation precise orbit determination
Experiment for Precise Orbit Determination on InnoCube
ILP-based path analysis on abstract pipeline state graphs
Petascale pipeline for precise alignment of images from serial section electron microscopy
Precise Orbit Determination of GOCE based on GNSS observations
Precise type analysis by abstract interpretation
Precise orbit determination for BDS satellites
mRNA vaccine development for cholangiocarcinoma: a precise pipeline
Investigations on multi-GNSS constellation precise orbit determination
Geometrical and Kinematical Precise Orbit Determination of GOCE
Precise Visibility Determination of Displays in Camera Images
Precise orbit determination based on raw GPS measurements
Investigations on multi-GNSS constellation precise orbit determination
Experiment for Precise Orbit Determination on InnoCube
ILP-based path analysis on abstract pipeline state graphs
Petascale pipeline for precise alignment of images from serial section electron microscopy