Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Examples with "GENODEF" and their translation in Duits
Bank details: Account Name: Enrico Hatzmann, account number: 1542265, bank code: 200905 00 Bank: Netbank for remittances from abroad: BIC/ SWIFT: GENODEF 1S15
Bankverbindung: Kontoinhaber: Enrico Hatzmann, Kontonummer: 1542265, Bankleitzahl: 200905 00, Bank: Netbank für Überweisungen aus dem Ausland: BIC/SWIFT: GENODEF 1S15
Andere resultaten
The Componolit platform implements a component-based architecture based on the Genode OS Framework.
Die Componolit Plattform realisiert eine komponentenbasierte Architektur auf Basis des Genode OS Frameworks.
The small codebase of Genode makes it a flexible alternative to more complex Unix-derived operating systems.
Durch die kleine Codebasis dient Genode als flexible Alternative zu komplexeren unixoiden Betriebssystemen.
Genode extends this philosophy to userspace by composing complex applications from small components.
Genode weitet diese Philosophie auf den Benutzermodus aus indem es komplexe Anwendungen durch das Zusammenwirken kleiner, gegeneinander geschützter Komponenten arrangiert.
Genode is a free and open-source operating system framework consisting of a microkernel abstraction layer and a collection of userspace components.
Genode ist ein freies Betriebssystem-Framework, welches aus einer Mikrokern-Abstraktionsschicht und einer Sammlung von Komponenten für den Benutzermodus besteht.
Comprehensive static analysis of C++ is not possible, however, the Genode project publishes unit tests for empirical analysis.
Eine umfassende statische Analyse von C++ ist zwar nicht möglich, allerdings veröffentlicht das Genode Projekt umfangreiche Unittests für die empirische Analyse.
The Genode project publishes a desktop operating system called "Sculpt" that targets contemporary consumer laptops.
Das Genode-Projekt veröffentlicht ein Desktop-Betriebsystem namens Sculpt, welches für Nutzer moderner Laptops gedacht ist.
To ensure their correctness in our platform, we integrate the SPARK secure programming language with the Genode OS Framework.
Um die Korrektheit der kritischen Komponenten in unseren Systemen zu gewährleisten, integrieren wir die sichere Programmiersprache SPARK mit dem Genode OS Framework.
Genode was first conceived as the Bastei OS Architecture research report at the Technical University of Dresden.
Genode wurde ursprünglich als "Bastei"-Betriebssystemarchitektur im Rahmen eines Forschungsberichts an der Technischen Universität Dresden entwickelt.
Genode builds on the general philosophy of microkernels - the smaller and simpler the code, the easier it is to verify for trustworthiness and correctness.
Die Genode-Architektur setzt auf den Mikrokernansatz - je kleiner und einfacher der Quellcode, desto einfacher lassen sich Attribute wie Vertrauenswürdigkeit und Korrektheit verifizieren.
Sculpt is a small base system with automatic device detection and configuration, some GUI control interfaces, and frontends to the Genode package manager.
Sculpt ist ein vergleichsweise kleines System mit automatischer Geräteerkennung und -einbindung, sowie einigen grafischen Kontrollmechanismen und einer Bedienoberfläche für Genodes Paketverwaltung.
The Genode framework makes use of XML in effectively all of its components because XML is easily parsed and generated programmatically while still being possible to understand and edit manually.
Praktisch alle Komponenten des Genode-Frameworks nutzen XML, da es sich programmatisch einfach parsen und generieren lässt aber dennoch lesbar ist und von Hand bearbeitet werden kann.
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.
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.
Synoniemen voor GENODEF in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 17. Exact: 1. Verstreken tijd: 23 ms.
