Vertaling van "Genode" in Engels
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.
Natürlich können sowohl die Genode, als auch die Fundstücke mit nach Hause genommen werden.
The geode and the findings can of course be taken home.
Genode weitet diese Philosophie auf den Benutzermodus aus indem es komplexe Anwendungen durch das Zusammenwirken kleiner, gegeneinander geschützter Komponenten arrangiert.
Genode extends this philosophy to userspace by composing complex applications from small components.
Eine umfassende statische Analyse von C++ ist zwar nicht möglich, allerdings veröffentlicht das Genode Projekt umfangreiche Unittests für die empirische Analyse.
Comprehensive static analysis of C++ is not possible, however, the Genode project publishes unit tests for empirical analysis.
Ein effektives Design für robuste Systeme sind komponentenbasierte Architekturen wie das von uns eingesetzte Genode OS Frameworks.
An effective design pattern for robust systems are component-based architectures.
Genode ist ein freies Betriebssystem-Framework, welches aus einer Mikrokern-Abstraktionsschicht und einer Sammlung von Komponenten für den Benutzermodus besteht.
Genode is a free and open-source operating system framework consisting of a microkernel abstraction layer and a collection of userspace components.
Durch die kleine Codebasis dient Genode als flexible Alternative zu komplexeren unixoiden Betriebssystemen.
The small codebase of Genode makes it a flexible alternative to more complex Unix-derived operating systems.
Um die Korrektheit der kritischen Komponenten in unseren Systemen zu gewährleisten, integrieren wir die sichere Programmiersprache SPARK mit dem Genode OS Framework.
To ensure their correctness in our platform, we integrate the SPARK secure programming language with the Genode OS Framework.
Die Componolit Plattform realisiert eine komponentenbasierte Architektur auf Basis des Genode OS Frameworks.
The Componolit platform implements a component-based architecture based on the Genode OS Framework.
Genode wurde ursprünglich als "Bastei"-Betriebssystemarchitektur im Rahmen eines Forschungsberichts an der Technischen Universität Dresden entwickelt.
Genode was first conceived as the Bastei OS Architecture research report at the Technical University of Dresden.
Im Jahr 2008 gründete er zusammen mit Dr.-Ing. Norman Feske in Dresden die Genode Labs GmbH, die treibende Kraft hinter dem Open-Source Genode OS Framework, einer neuen Betriebssystemtechnologie mit Fokus auf Sicherheit, Robustheit und Skalierbarkeit.
In 2008, he founded Genode Labs GmbH along with Dr. Norman Feske (Ph.D. Eng) in Dresden, which is the driving force behind the open-source Genode OS Framework, a new operating system technology with a focus on security, robustness and scalability.
Angetrieben durch den Erfolg eines ersten Prototyps gründeten die Autoren des Berichts ein Unternehmen für die Weiterentwicklung der Bastei-Architektur zu einem umfassenden Betriebssystem-Framework unter dem Namen Genode.
Following the success of an early prototype, the authors of the report founded the company Genode Labs to develop Bastei as the Genode OS Framework.
