Examples with "Linux kernel real time" and their translation in Duits
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.
For instance, one staff member made a considerable contribution to the development and refinement of the performance of Linux kernels under real-time requirements.
In the first chapters of this work is shown, that the solution using the Linux kernel itself as real time operating system is best suited.
Im ersten Teil dieser Arbeit wird gezeigt, dass sich für die geplante Anwendung die Lösungsvariante den Linux-Kernel selbst als Realtime-Betriebssystem zu verwenden am besten eignet.
The @CHIP-RTOS-LNX is a new operating system from Beck, which no longer uses a proprietary real-time kernel, but is based on the Linux kernel with real-time extensions.
Beim @CHIP-RTOS-LNX handelt es sich um ein neues Betriebssystem von Beck, welches nicht länger einen proprietären Echtzeit-Kernel verwendet, sondern stattdessen auf dem Linux-Kernel, mit Echtzeiterweiterungen, aufsetzt.
SCALE-RT is a scalable product based on open-source software, which includes the reliable Linux kernel with real-time Xenomai extension. It supports powerful multi-core processor architectures and a wide variety of I/O hardware.
SCALE-RT ist ein skalierbares Open-Source-basiertes Produkt, welches den bewährten, zukunftssicheren Linux-Echtzeit-Kernel mit Xenomai-Erweiterung nutzt und Multicore-Prozessor-Architekturen sowie verschiedenste I/O-Hardware unterstützt.
Support currently exists for version 2.4 and 2.6 Linux kernels with real time extensions applied by RT-Linux or RTAI patches.
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.