Hochschulschrift
Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems
- Weitere Titel
-
Optimierte Aspektausführungs-Mechanismen innerhalb von Virtuellen Maschinen für Eingebettete Systeme
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universtität Berlin, Diss., 2011
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Universitätsbibliothek der Technischen Universität Berlin
- (wann)
-
2012
- Urheber
-
Hundt, Christine
- Beteiligte Personen und Organisationen
-
Glesner, Sabine
- URN
-
urn:nbn:de:kobv:83-opus-33786
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:57 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
- Hundt, Christine
- Glesner, Sabine
- Universitätsbibliothek der Technischen Universität Berlin
Entstanden
- 2012
Ähnliche Objekte (12)
Optimized hybrid verification of embedded software
Efficiency optimized control of switched reluctance machines
Optimized synthesis of self-testable finite state machines
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Analysis of design uncertainties in structurally optimized lightweight machines
Accurate binary-level symbolic execution of embedded firmware
Research and Design of Neural Processing Architectures Optimized for Embedded Applications
Low coherent Linnik interferometer optimized for use in Nano Measuring Machines
ASTERIX: ada system for embedded real time industrial execution
Loosely-coupled fail-operational execution on embedded heterogeneous multi-cores
Programming embedded systems in C and C++ : [thinking inside the box]
Lead users inside the boundaries of the firm : embedded lead users
Optimized hybrid verification of embedded software
Efficiency optimized control of switched reluctance machines
Optimized synthesis of self-testable finite state machines
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Analysis of design uncertainties in structurally optimized lightweight machines
Accurate binary-level symbolic execution of embedded firmware
Research and Design of Neural Processing Architectures Optimized for Embedded Applications
Low coherent Linnik interferometer optimized for use in Nano Measuring Machines
ASTERIX: ada system for embedded real time industrial execution
Loosely-coupled fail-operational execution on embedded heterogeneous multi-cores
Programming embedded systems in C and C++ : [thinking inside the box]
Lead users inside the boundaries of the firm : embedded lead users
Optimized hybrid verification of embedded software
Efficiency optimized control of switched reluctance machines
Optimized synthesis of self-testable finite state machines
Formal Hardware/Firmware Co-Verification of Optimized Embedded Systems
Analysis of design uncertainties in structurally optimized lightweight machines
Accurate binary-level symbolic execution of embedded firmware
Research and Design of Neural Processing Architectures Optimized for Embedded Applications
Low coherent Linnik interferometer optimized for use in Nano Measuring Machines
ASTERIX: ada system for embedded real time industrial execution
Loosely-coupled fail-operational execution on embedded heterogeneous multi-cores
Programming embedded systems in C and C++ : [thinking inside the box]