Download for Windows Premium
Publiciteit
MicroKernels
Mikrokernel m
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.
MicroKernels act as persistence managers and understanding these is key to a successful AEM implementation.
Microkernels fungieren als Persistenzmanager. Für eine erfolgreiche AEM-Implementierung ist es wichtig, Microkernels und ihre Funktionsweise zu verstehen.
Microkernels can provide software security in the form of manipulation detection and system stability.
Mit diesen Mikrokernels kann Softwaresicherheit im Sinne von Manipulationserkennung und Systemstabilität erreicht werden.
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.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor MicroKernels in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
hay bale: large bundle of hay tied together for transport or storage
Ontdek het woord
Publiciteit

Resultaten: 16. Exact: 16. Verstreken tijd: 23 ms.