Erscheinungsjahr
Medientyp
Datenquelle
Format
Lizenz
Sprache
Synonyme wurden verwendet für: Echtzeitsystem
Suche ohne Synonyme: keywords:(Echtzeitsystem)
Verwendete Synonyme:
- echtzeitbetriebssystem
- echtzeitrechensystem
- on line system
- online system
- real time control
- real time operating system
- real time system
- realtimesysem
- realzeitsystem
- rtos
-
Entwicklung von Expertensystemen zur Prozeßüberwachung mit der Entwicklungsumgebung G2 unter besonderer Berücksichtigung der Wissensakquisition und -implementierung
DataCite | 1998|Schlagwörter: Echtzeitsystem -
Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis
DataCite | 2002|Schlagwörter: Echtzeitsystem ; Worst-Case-Laufzeit ; Statische Analyse ; Planbarkeitsanalyse ; Kontrollflussdiagramm ; Pfadanalyse -
Entwicklung und Analyse zeitgesteuerter Systeme
DataCite | 2002|Schlagwörter: Softwaretechnik, Echtzeitsystem, Kraftfahrzeugelektronik -
Validierung komponentenbasierter Software für Echtzeitsysteme
DataCite | 2003|Schlagwörter: Software engineering , Validierung , Software / Testen , Echtzeitsystem , Kraftfahrzeugelektronik -
Formal methods for real-time requirements engineering
DataCite | 2004|Schlagwörter: Echtzeitsystem; Model checking; Informationslogistik -
Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models
DataCite | 2004|Schlagwörter: Hartes Echtzeitsystem ; Korrektheit ; Pipeline-Verarbeitung ; Worst-Case-Laufzeit ; Statische Analyse ; Abstrakte Interpretation -
The correctness of a distributed real-time system
DataCite | 2008|Schlagwörter: Echtzeitsystem, asynchrones verteiltes Echtzeitsystem, real-time system -
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
NTRS | 2011|Schlagwörter: real time operating system -
Formal verification of a small real-time operating system
DataCite | 2011|Schlagwörter: Echtzeitsystem, Echtzeitbetriebssystem, real-time operating system -
AppGuard - real-time policy enforcement for third-party applications
DataCite | 2012|Schlagwörter: Echtzeitsystem -
Investigatory art – Real-time systems and network culture
DataCite | 2012|Schlagwörter: Echtzeitsystem -
Analysis of preemptively scheduled hard real-time systems
DataCite | 2012|Schlagwörter: Echtzeitsystem -
Cache persistence analysis for embedded real-time systems
DataCite | 2013|Schlagwörter: Hartes Echtzeitsystem -
Timing-predictable memory allocation in hard real-time systems
DataCite | 2014|Schlagwörter: Hartes Echtzeitsystem, Echtzeitsystem -
Open-Source RTOS Space Qualification: An RTEMS Case Study
NTRS | 2017|Schlagwörter: Real-time operating system -
Automatic Verification of Application-Tailored OSEK Kernels
DataCite | 2017|Schlagwörter: Echtzeitbetriebssystem -
Context-awareness Meta-model for Reconfigurable Control Systems
DataCite | 2017|Schlagwörter: Real-time System -
Response Time Analysis for Sporadic Server based Budget Scheduling in Real Time Virtualization Environments
DataCite | 2017|Schlagwörter: Computer systems organization, Real-time systems, Real-time operating systems, Real-time system architecture, RTOS, Virtualization, Hypervisor, Sporadic Server, Formal Analysis -
A reconfigurable architecture for real-time image compression on-board satellites
DataCite | 2017|Schlagwörter: real-time system -
Condition for Real-time Measurement of Power of Unsteady Fluid Flow in a Pipe by Kalman Filter
DataCite | 2018|Schlagwörter: Indirect measurement, Kalman filter, Pipeline dynamics, Incompressible fluid flow, Real-time system
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.