We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
microkernel
Die Basis der PikeOS-Plattform ist ein kleiner, zertifizierbarer Microkernel, der eine Virtualisierungs-Infrastruktur zur Verfügung stellt.
The PikeOS platform is based on a small, certifiable microkernel which provides a virtualisation infrastructure.
Die Basis der PikeOS-Plattform ist ein kleiner, zertifizierbarer Microkernel, der eine Virtualisierungs-Infrastruktur zur Verfügung stellt. Damit ist es möglich, verschiedene Anwendungen und Ressourcen in sicheren, individuellen Partitionen zu platzieren.
The core of our PikeOS platform is a small, certifiable micro-kernel, providing a virtualization infrastructure with the ability to house diverse resource and function needs into safe individual partitions.
Für die evaluierte Software, nämlich der QNX Neutrino Microkernel, der Prozess-Manager (inkl. Multicore-Support und Zeitpartitionierung), die libc, und die API entsprechend der des QNX Neutrino Standard-RTOS, wurde zertifiziert, dass die Anforderungen erfüllt werden.
The target software, including QNX Neutrino microkernel and process manager (with multicore support and adaptive partitioning scheduler), libc, and an API identical to the QNX Neutrino standard RTOS has been certified as a compliant element.
Andere resultaten
In unserer Forschungsgruppe untersuchen wir schwerpunktmäßig die Spezifikation und Verifikation eines Microkernels mit Partitionierungsschicht, der in der Avionik industriell Einsatz findet.
The main focus of the investigations of our research group is on the specification and verification of a microkernel with partitioning features which is used in industrial avionic applications.
Darwin stammt aus 4.4BSD-Lite2 ab und nutzt einen 3.0 Mach Microkernel, ursprünglich entwickelt an der Carnegie-Mellon Universität und erweitert durch die OSF, die sich heute The Open Group nennt.
Darwin comes from 4.4BSD-Lite2 and uses a 3.0 Mach microkernel (initially developed by Carnegie-Mellon university and enhanced by the OSF, now called The Open Group).
Wie Airbags in Autos sind solche Systeme mit einem Microkernel von essentieller Bedeutung.
Those systems with a microkernel are essential like airbags in cars.
Zudem wird er unabhängig von µnOS als eigener Echtzeit-Microkernel verfügbar sein.
Independent from µnOS it will also be available as a stand-alone realtime microkernel.
Die zentrale Kernkomponente ist der Microkernel mit dem I/O-System.
The core component is the Microkernel with its I/O system.
Nur der Microkernel kann auf den gesamten Arbeitsspeicher zugreifen.
Only the microkernel can access the entire memory.
Die zentrale Komponente Secure Connector läuft auf einem Microkernel-Betriebssystem.
Ein Microkernel bzw. Mikrokern bezeichnet einen Betriebssystemkern.
A microkernel is an operating system kernel.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
