Hochschulschrift
Optimized Aspect Execution Mechanisms inside Virtual Machines for Embedded Systems
- Alternative title
-
Optimierte Aspektausführungs-Mechanismen innerhalb von Virtuellen Maschinen für Eingebettete Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universtität Berlin, Diss., 2011
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Universitätsbibliothek der Technischen Universität Berlin
- (when)
-
2012
- Creator
-
Hundt, Christine
- Contributor
-
Glesner, Sabine
- URN
-
urn:nbn:de:kobv:83-opus-33786
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:57 PM CET
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
- Hundt, Christine
- Glesner, Sabine
- Universitätsbibliothek der Technischen Universität Berlin
Time of origin
- 2012
Other Objects (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]