Hochschulschrift
Safe and precise WCET determination by abstract interpretation of pipeline models
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Univ., Diss., 2004
- Schlagwort
-
Hartes Echtzeitsystem
Korrektheit
Pipeline-Verarbeitung
Worst-Case-Laufzeit
Statische Analyse
Abstrakte Interpretation
Hartes Echtzeitsystem ; Korrektheit ; Pipeline-Verarbeitung ; Worst-Case-Laufzeit ; Statische Analyse ; Abstrakte Interpretation
- Urheber
- URN
-
urn:nbn:de:bsz:291-scidok-4664
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (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