Video: Demonstration des Microkernels Sel4

Die australische Nicta demonstriert den Einsatz des Microkernels Sel4. Er soll durch mehrfache Verifizierung vollkommen fehlerfrei sein. Zusätzliche Sicherheitsfunktionen sollen ihn für den Einsatz in sensiblen Bereichen empfehlen.

Video veröffentlicht am 29. Juli 2014, 13:07 Uhr

Demonstration des Microkernels Sel4

Themenseiten:

Beliebte Videos

Kommentarübersicht

Hardwaretests

Tynker Hifive Inventor - Fazit

Surface Duo - Fazit

Sony Alpha 1 - Fazit

Softwaretests

iPad OS ausprobiert

Google Stadia - Test

Apple TV Plus ausprobiert

Spieletests

Age of Empires 4 - Vorschau

Diablo 4 - 20 Minuten Gameplay im Endgame-Dungeon

Age of Empires 4 - Fazit

Interviews

Pubg Global Invitational 2018 - Report von Golem.de

Leben und Leveln in Cyberpunk 2077 - Interview (Gamescom 2018)

Interview mit Peter Homfeldt zum Aufstieg und Niedergang von Olympia

Folgen Sie uns