FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2326370147> ?p ?o ?g. }

• W2326370147 endingPage "29" @default.
• W2326370147 startingPage "1" @default.
• W2326370147 abstract "The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are commercial versions that are deployed on a large scale and in safety-critical systems. In this article we examine the lessons learnt in those 20 years about microkernel design and implementation. We revisit the L4 design articles and examine the evolution of design and implementation from the original L4 to the latest generation of L4 kernels. We specifically look at seL4, which has pushed the L4 model furthest and was the first OS kernel to undergo a complete formal verification of its implementation as well as a sound analysis of worst-case execution times. We demonstrate that while much has changed, the fundamental principles of minimality, generality, and high inter-process communication (IPC) performance remain the main drivers of design and implementation decisions." @default.
• W2326370147 created "2016-06-24" @default.
• W2326370147 creator A5025750562 @default.
• W2326370147 creator A5073718932 @default.
• W2326370147 date "2016-04-06" @default.
• W2326370147 modified "2023-10-01" @default.
• W2326370147 title "L4 Microkernels" @default.
• W2326370147 cites W1688713318 @default.
• W2326370147 cites W1727351356 @default.
• W2326370147 cites W1921746208 @default.
• W2326370147 cites W1980491540 @default.
• W2326370147 cites W1983711842 @default.
• W2326370147 cites W1988079752 @default.
• W2326370147 cites W2006989942 @default.
• W2326370147 cites W2021994557 @default.
• W2326370147 cites W2028823272 @default.
• W2326370147 cites W2035142022 @default.
• W2326370147 cites W2039804807 @default.
• W2326370147 cites W2040088668 @default.
• W2326370147 cites W2058144256 @default.
• W2326370147 cites W2084515464 @default.
• W2326370147 cites W2094352600 @default.
• W2326370147 cites W2100678175 @default.
• W2326370147 cites W2103430381 @default.
• W2326370147 cites W2106115112 @default.
• W2326370147 cites W2106882405 @default.
• W2326370147 cites W2112412434 @default.
• W2326370147 cites W2115696550 @default.
• W2326370147 cites W2136310957 @default.
• W2326370147 cites W2155146646 @default.
• W2326370147 cites W2163347957 @default.
• W2326370147 cites W2168075869 @default.
• W2326370147 cites W2287367284 @default.
• W2326370147 cites W2342083136 @default.
• W2326370147 cites W2978916538 @default.
• W2326370147 cites W4249212548 @default.
• W2326370147 cites W4250133681 @default.
• W2326370147 cites W4252125305 @default.
• W2326370147 cites W51058944 @default.
• W2326370147 doi "https://doi.org/10.1145/2893177" @default.
• W2326370147 hasPublicationYear "2016" @default.
• W2326370147 type Work @default.
• W2326370147 sameAs 2326370147 @default.
• W2326370147 citedByCount "43" @default.
• W2326370147 countsByYear W23263701472016 @default.
• W2326370147 countsByYear W23263701472017 @default.
• W2326370147 countsByYear W23263701472018 @default.
• W2326370147 countsByYear W23263701472019 @default.
• W2326370147 countsByYear W23263701472020 @default.
• W2326370147 countsByYear W23263701472021 @default.
• W2326370147 countsByYear W23263701472022 @default.
• W2326370147 countsByYear W23263701472023 @default.
• W2326370147 crossrefType "journal-article" @default.
• W2326370147 hasAuthorship W2326370147A5025750562 @default.
• W2326370147 hasAuthorship W2326370147A5073718932 @default.
• W2326370147 hasConcept C110251889 @default.
• W2326370147 hasConcept C111919701 @default.
• W2326370147 hasConcept C114614502 @default.
• W2326370147 hasConcept C115903868 @default.
• W2326370147 hasConcept C120314980 @default.
• W2326370147 hasConcept C127413603 @default.
• W2326370147 hasConcept C149635348 @default.
• W2326370147 hasConcept C15744967 @default.
• W2326370147 hasConcept C199360897 @default.
• W2326370147 hasConcept C2777127024 @default.
• W2326370147 hasConcept C2780767217 @default.
• W2326370147 hasConcept C33923547 @default.
• W2326370147 hasConcept C34972735 @default.
• W2326370147 hasConcept C41008148 @default.
• W2326370147 hasConcept C542102704 @default.
• W2326370147 hasConcept C74193536 @default.
• W2326370147 hasConcept C75606506 @default.
• W2326370147 hasConcept C78519656 @default.
• W2326370147 hasConcept C98045186 @default.
• W2326370147 hasConceptScore W2326370147C110251889 @default.
• W2326370147 hasConceptScore W2326370147C111919701 @default.
• W2326370147 hasConceptScore W2326370147C114614502 @default.
• W2326370147 hasConceptScore W2326370147C115903868 @default.
• W2326370147 hasConceptScore W2326370147C120314980 @default.
• W2326370147 hasConceptScore W2326370147C127413603 @default.
• W2326370147 hasConceptScore W2326370147C149635348 @default.
• W2326370147 hasConceptScore W2326370147C15744967 @default.
• W2326370147 hasConceptScore W2326370147C199360897 @default.
• W2326370147 hasConceptScore W2326370147C2777127024 @default.
• W2326370147 hasConceptScore W2326370147C2780767217 @default.
• W2326370147 hasConceptScore W2326370147C33923547 @default.
• W2326370147 hasConceptScore W2326370147C34972735 @default.
• W2326370147 hasConceptScore W2326370147C41008148 @default.
• W2326370147 hasConceptScore W2326370147C542102704 @default.
• W2326370147 hasConceptScore W2326370147C74193536 @default.
• W2326370147 hasConceptScore W2326370147C75606506 @default.
• W2326370147 hasConceptScore W2326370147C78519656 @default.
• W2326370147 hasConceptScore W2326370147C98045186 @default.
• W2326370147 hasIssue "1" @default.
• W2326370147 hasLocation W23263701471 @default.
• W2326370147 hasOpenAccess W2326370147 @default.
• W2326370147 hasPrimaryLocation W23263701471 @default.
• W2326370147 hasRelatedWork W1555465723 @default.

• next