Hochschulschrift
Timing model derivation : pipeline analyzer generation from hardware description languages
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2012
- Keyword
-
Eingebettetes System
Sicherheitskritisches System
VHDL
Statische Analyse
Modelltransformation
Programmlaufzeit
Worst-Case-Laufzeit
Abstrakte Interpretation
Semantikerhaltende Transformation
Formale Spezifikationstechnik
VHDL ; Worst-Case-Laufzeit ; Sicherheitskritisches System ; Eingebettetes System ; Abstrakte Interpretation ; Statische Analyse
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2012
- Creator
- Contributor
-
Wilhelm, Reinhard
- URN
-
urn:nbn:de:bsz:291-scidok-49781
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
2025-03-25T13:55:15+0100
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
- Pister, Markus
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2012
Other Objects (12)
Timing model derivation : pipeline analyzer generation from hardware description languages
Timing model derivation : static analysis of hardware description languages
Pixel shading pipelines and display hardware
Deployment to hardware: A multi pipeline challenge
Hardware extensions for a timing-predictable many-core processor
Derivation
Derivation
Derivation
HAL - The Open-Source Hardware Analyzer: A dive into the foundations of hardware reverse engineering and our netlist analysis framework HAL
42-48, Dérivation lexicale et dérivation syntaxique
Toriwi - its derivation
Tori-Its derivation
Timing model derivation : pipeline analyzer generation from hardware description languages
Timing model derivation : static analysis of hardware description languages
Pixel shading pipelines and display hardware
Deployment to hardware: A multi pipeline challenge
Hardware extensions for a timing-predictable many-core processor
Derivation
Derivation
Derivation
HAL - The Open-Source Hardware Analyzer: A dive into the foundations of hardware reverse engineering and our netlist analysis framework HAL
42-48, Dérivation lexicale et dérivation syntaxique
Toriwi - its derivation
Tori-Its derivation
Timing model derivation : pipeline analyzer generation from hardware description languages
Timing model derivation : static analysis of hardware description languages
Pixel shading pipelines and display hardware
Deployment to hardware: A multi pipeline challenge
Hardware extensions for a timing-predictable many-core processor
Derivation
Derivation
Derivation
HAL - The Open-Source Hardware Analyzer: A dive into the foundations of hardware reverse engineering and our netlist analysis framework HAL
42-48, Dérivation lexicale et dérivation syntaxique
Toriwi - its derivation