Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
microkernels
Vertaling van "microkernels" in Duits
Mikrokerne
Don't get deluded that safe languages or formally verified microkernels could solve these problems.
Lassen Sie sich nicht täuschen, dass sichere Sprachen oder formal verifizierte Mikrokernel diese Probleme lösen könnten.
A number of different microkernels are available, capable of storing data in a variety of file formats or relational databases.
Eine Reihe verschiedener Mikrokernel sind verfügbar, die Daten in einer Vielzahl von Dateiformaten oder relationalen Datenbanken speichern können.
Design, development and evaluation of system software with a focus on safety and security, e.g., microkernels and hypervisors
Design, Entwicklung und Evaluation von systemnaher Software mit Sicherheitseigenschaften, bspw. Mikrokerne, Hypervisoren
Also, it allows devs to securely code sign bootloaders, microkernels, operating systems, application code, and data.
Außerdem können Entwickler Bootloader, Mikrokerne, Betriebssysteme, Anwendungscode und Daten sicher signieren.
In general, monolithic kernels are faster, but microkernels have better fault isolation and reliability.
Im Allgemeinen sind monolithische Kernel schneller, aber Microkernel besitzen eine bessere Fehlerlokalisierung und Verlässlichkeit.
Use of microkernels for encapsulating software modules
Nutzung von Mikrokernels zur Kapselung von Software-Modulen
In systems like seL4, which are used as microkernels in many devices, the considerations also have to include human life, which could be endangered by faulty software
Bei Systemen wie seL4, die als Microkernel in zahlreichen Geräten verwendet werden, kommen bei der Abwägung noch Menschenleben dazu, die bei fehlerhafter Software gefährdet sein könnten
For the list of supported Microkernels, see AEM Forms on OSGi Technical Requirements or AEM Forms on JEE supported platform combinations articles.
Die Liste der unterstützten Microkernel finden Sie in den Artikeln Technische Anforderungen für AEM Forms on OSGi oder Unterstützte Plattformkombinationen für AEM Forms on JEE.
Software safety, correctness of microkernels, network protocols, numerical software, and choice methods are among the present fields of application.
Aktuelle Anwendungsgebiete sind u.a. Software-Sicherheit, die Korrektheit von Mikrokernen, Netzwerkprotokolle, numerische Software und Wahlverfahren.
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.
Monolithic kernels implement all the services in the kernel, while microkernels have a small kernel combined with user daemons implementing services.
Während bei monolithischen Kernel alle Dienste in den Kernel integriert werden, verfügt der Microkernel nur über grundlegende Funktionen und alle weiteren Dienste werden als Prozesse im Benutzer-Modus integriert.
The new software concept is based on a software reference architecture that has been researched and tested in Department 8.5 and uses separation or microkernels and virtualization techniques.
Basis des neuen Softwarekonzepts stellt eine im Fachbereich 8.5 erforschte und erprobte Softwarereferenzarchitektur, die Separations- bzw. Mikrokerne und Virtualisierungstechniken verwendet.
Using microkernels to securely encapsulate software into modules Measuring instruments often use large standard operating systems as their software foundation.
Messgeräte nutzen oft große Standard-Betriebssysteme als Softwarefundament, welche die Softwareprüfung erschweren, weil sie zahlreiche „Bugs" enthalten.
Synoniemen voor microkernels in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 16. Verstreken tijd: 21 ms.
