Hochschulschrift
Timing model derivation : static analysis of hardware description languages
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Zugl. im Buchhandel: Berlin : epubli GmbH, 2013. - 978-3-8442-4513-4
Saarbrücken, Universität des Saarlandes, Diss., 2012
- Klassifikation
-
Informatik
- Schlagwort
-
VHDL ; Worst-Case-Laufzeit ; Sicherheitskritisches System ; Eingebettetes System ; Abstrakte Interpretation ; Statische Analyse
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
-
Wilhelm, Reinhard
- URN
-
urn:nbn:de:bsz:291-scidok-50746
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:53 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
- Schlickling, Marc
- Wilhelm, Reinhard
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2013
Ähnliche Objekte (12)
Timing model derivation : pipeline analyzer generation from hardware description languages
Timing model derivation : pipeline analyzer generation from hardware description languages
Static timing analysis tool validation in the presence of timing anomalies
About the derivation languages of grammars and machines
Static probabilistic timing analysis for multi-path programs
Static timing analysis for hard real-time systems
Hierarchical statistical static timing analysis considering process variations
Static Code Analysis for All Languages - coala!
Lecture notes on hardware description languages : introd.
Hardware extensions for a timing-predictable many-core processor
On the automation-supported derivation of domain-specific UML profiles considering static semantics
Automatic derivation of rules for static security analysis from public source code repositories
Timing model derivation : pipeline analyzer generation from hardware description languages
Timing model derivation : pipeline analyzer generation from hardware description languages
Static timing analysis tool validation in the presence of timing anomalies
About the derivation languages of grammars and machines
Static probabilistic timing analysis for multi-path programs
Static timing analysis for hard real-time systems
Hierarchical statistical static timing analysis considering process variations
Static Code Analysis for All Languages - coala!
Lecture notes on hardware description languages : introd.
Hardware extensions for a timing-predictable many-core processor
On the automation-supported derivation of domain-specific UML profiles considering static semantics
Automatic derivation of rules for static security analysis from public source code repositories
Timing model derivation : pipeline analyzer generation from hardware description languages
Timing model derivation : pipeline analyzer generation from hardware description languages
Static timing analysis tool validation in the presence of timing anomalies
About the derivation languages of grammars and machines
Static probabilistic timing analysis for multi-path programs
Static timing analysis for hard real-time systems
Hierarchical statistical static timing analysis considering process variations
Static Code Analysis for All Languages - coala!
Lecture notes on hardware description languages : introd.
Hardware extensions for a timing-predictable many-core processor
On the automation-supported derivation of domain-specific UML profiles considering static semantics