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
-
25.03.2025, 1:42 PM CET
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 Visibility Determination of Displays in Camera Images
Experiment for Precise Orbit Determination on InnoCube
Geometrical and Kinematical Precise Orbit Determination of GOCE
Investigations on multi-GNSS constellation precise orbit determination
Precise Orbit Determination of GOCE based on GNSS observations
In-line inspection of pipelines : advanced technologies for economic and safe operation of oil and gas pipelines
In-line inspection of pipelines : advanced technologies for economic and safe operation of oil and gas pipelines
Precise orbit determination of BDS-3 with inter-satellite links
ILP-based path analysis on abstract pipeline state graphs
Robust and Precise Relative Orbit Determination for Distributed Spacecraft using GPS
Determination of a precise gravity field for the CLIC feasibility studies
Precise type analysis by abstract interpretation
Precise Visibility Determination of Displays in Camera Images
Experiment for Precise Orbit Determination on InnoCube
Geometrical and Kinematical Precise Orbit Determination of GOCE
Investigations on multi-GNSS constellation precise orbit determination
Precise Orbit Determination of GOCE based on GNSS observations
In-line inspection of pipelines : advanced technologies for economic and safe operation of oil and gas pipelines
In-line inspection of pipelines : advanced technologies for economic and safe operation of oil and gas pipelines
Precise orbit determination of BDS-3 with inter-satellite links
ILP-based path analysis on abstract pipeline state graphs
Robust and Precise Relative Orbit Determination for Distributed Spacecraft using GPS
Determination of a precise gravity field for the CLIC feasibility studies
Precise type analysis by abstract interpretation
Precise Visibility Determination of Displays in Camera Images
Experiment for Precise Orbit Determination on InnoCube
Geometrical and Kinematical Precise Orbit Determination of GOCE
Investigations on multi-GNSS constellation precise orbit determination
Precise Orbit Determination of GOCE based on GNSS observations
In-line inspection of pipelines : advanced technologies for economic and safe operation of oil and gas pipelines
In-line inspection of pipelines : advanced technologies for economic and safe operation of oil and gas pipelines
Precise orbit determination of BDS-3 with inter-satellite links
ILP-based path analysis on abstract pipeline state graphs
Robust and Precise Relative Orbit Determination for Distributed Spacecraft using GPS