- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Lübeck, Universität zu Lübeck, Dissertation, 2023
- Schlagwort
-
Formale Methode
Eingebettetes System
Hardwareverifikation
Programmlaufzeit
Streaming
Mehrkernprozessor
- Ereignis
-
Veröffentlichung
- (wo)
-
Lübeck
- (wer)
-
Zentrale Hochschulbibliothek Lübeck
- (wann)
-
2024
- Urheber
-
Schmitz, Malte
- Beteiligte Personen und Organisationen
-
Leucker, Martin
Lourenço, João
- URN
-
urn:nbn:de:gbv:841-20231218146
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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.
Beteiligte
- Schmitz, Malte
- Leucker, Martin
- Lourenço, João
- Zentrale Hochschulbibliothek Lübeck
Entstanden
- 2024
Ähnliche Objekte (12)
Efficient stream provenance via operator instrumentation
Efficient Implementation of Estelle Specifications
Efficient main memory-based XML stream processing
Efficient implementation of ideal lattice-based cryptography
Hardware-conscious techniques for efficient and reliable stateful stream processing
An engine for ontology-based stream processing theory and implementation
Efficient implementation of the localized orthogonal decomposition method
Efficient implementation of code- and hash-based cryptography
Efficient masked hardware implementation of symmetric cryptographic primitives
Efficient implementation of elliptic curve cryptography on FPGAs
Implementation Intentions and Efficient Action Initiation
Efficient graph rewriting and its implementation
Efficient stream provenance via operator instrumentation
Efficient Implementation of Estelle Specifications
Efficient main memory-based XML stream processing
Efficient implementation of ideal lattice-based cryptography
Hardware-conscious techniques for efficient and reliable stateful stream processing
An engine for ontology-based stream processing theory and implementation
Efficient implementation of the localized orthogonal decomposition method
Efficient implementation of code- and hash-based cryptography
Efficient masked hardware implementation of symmetric cryptographic primitives
Efficient implementation of elliptic curve cryptography on FPGAs
Implementation Intentions and Efficient Action Initiation
Efficient graph rewriting and its implementation
Efficient stream provenance via operator instrumentation
Efficient Implementation of Estelle Specifications
Efficient main memory-based XML stream processing
Efficient implementation of ideal lattice-based cryptography
Hardware-conscious techniques for efficient and reliable stateful stream processing
An engine for ontology-based stream processing theory and implementation
Efficient implementation of the localized orthogonal decomposition method
Efficient implementation of code- and hash-based cryptography
Efficient masked hardware implementation of symmetric cryptographic primitives
Efficient implementation of elliptic curve cryptography on FPGAs
Implementation Intentions and Efficient Action Initiation