5 Ergebnisse für: sel4
-
Microkernel seL4: beweisbar fehlerfrei | heise online
https://www.heise.de/newsticker/meldung/Microkernel-seL4-beweisbar-fehlerfrei-2277750.html
SeL4 soll laut den Entwicklern der erste Allzweck-Kernel sein, dessen Korrektheit formal bewiesen ist. Der Microkernel läuft auf ARM- und x86-Hardware.
-
L4 (Mikrokern) | Software-Wiki | FANDOM powered by Wikia
http://de.software.wikia.com/index.php?title=L4_(Mikrokern)
L4 ist der Name einer Familie von Mikrokernen, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). Inhaltsverzeichnis[Anzeigen] Entwicklung Der erste L4-Kern wurde von Liedtke am GMD-Forschungszentrum…
-
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg ... - Google Books
https://books.google.de/books?id=vfNKx4hCxAkC&dq=Lemma+von+Arden&hl=de&source=gbs_navlinks_s
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected…
-
Genode 2018.2 mit Sculpt OS - Pro-Linux
http://www.pro-linux.de/news/1/25685/genode-20182-mit-sculpt-os.html
Mit Sculpt OS soll das freie Betriebssystem-Framework Genode erstmals in das Rampenlicht einer größeren Öffentlichkeit rücken. Sculpt OS beruht auf dem Mikro-Hypervisor NOVA und diversen...
-
The Invisible Things Lab's blog: Introducing Qubes 1.0!
http://theinvisiblethings.blogspot.de/2012/09/introducing-qubes-10.html
Keine Beschreibung vorhanden.
