Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/L4_microkernel_family> }
Showing triples 1 to 94 of
94
with 100 triples per page.
- Jochen_Liedtke knownFor L4_microkernel_family.
- Fiasco_(L4_clone) wikiPageRedirects L4_microkernel_family.
- Fiasco wikiPageRedirects L4_microkernel_family.
- L4_(microkernel) wikiPageRedirects L4_microkernel_family.
- L4_kernel wikiPageRedirects L4_microkernel_family.
- L4_microkernel wikiPageRedirects L4_microkernel_family.
- L4sec wikiPageRedirects L4_microkernel_family.
- OKL4 wikiPageRedirects L4_microkernel_family.
- SeL4 wikiPageRedirects L4_microkernel_family.
- Capability-based_security wikiPageWikiLink L4_microkernel_family.
- Comparison_of_open-source_operating_systems wikiPageWikiLink L4_microkernel_family.
- Comparison_of_operating_system_kernels wikiPageWikiLink L4_microkernel_family.
- Comparison_of_single-board_computers wikiPageWikiLink L4_microkernel_family.
- Computer_security wikiPageWikiLink L4_microkernel_family.
- Coyotos wikiPageWikiLink L4_microkernel_family.
- DEC_Alpha wikiPageWikiLink L4_microkernel_family.
- Darwin_(operating_system) wikiPageWikiLink L4_microkernel_family.
- EROS_(microkernel) wikiPageWikiLink L4_microkernel_family.
- Eumel wikiPageWikiLink L4_microkernel_family.
- Fiasco wikiPageWikiLink L4_microkernel_family.
- Fiasco_(L4_clone) wikiPageWikiLink L4_microkernel_family.
- Formal_verification wikiPageWikiLink L4_microkernel_family.
- GNU_Hurd wikiPageWikiLink L4_microkernel_family.
- Gernot_Heiser wikiPageWikiLink L4_microkernel_family.
- Haskell_(programming_language) wikiPageWikiLink L4_microkernel_family.
- Hypervisor wikiPageWikiLink L4_microkernel_family.
- IGUANA_Computing wikiPageWikiLink L4_microkernel_family.
- Isabelle_(proof_assistant) wikiPageWikiLink L4_microkernel_family.
- Jochen_Liedtke wikiPageWikiLink L4_microkernel_family.
- Kernel_(operating_system) wikiPageWikiLink L4_microkernel_family.
- L3_microkernel wikiPageWikiLink L4_microkernel_family.
- L4 wikiPageWikiLink L4_microkernel_family.
- Fiasco wikiPageWikiLink L4_microkernel_family.
- L4Linux wikiPageWikiLink L4_microkernel_family.
- L4_(microkernel) wikiPageWikiLink L4_microkernel_family.
- L4_kernel wikiPageWikiLink L4_microkernel_family.
- L4_microkernel wikiPageWikiLink L4_microkernel_family.
- L4sec wikiPageWikiLink L4_microkernel_family.
- List_of_computer_scientists wikiPageWikiLink L4_microkernel_family.
- List_of_important_publications_in_computer_science wikiPageWikiLink L4_microkernel_family.
- List_of_operating_systems wikiPageWikiLink L4_microkernel_family.
- Mach_(kernel) wikiPageWikiLink L4_microkernel_family.
- Microkernel wikiPageWikiLink L4_microkernel_family.
- Multiboot_Specification wikiPageWikiLink L4_microkernel_family.
- OKL4 wikiPageWikiLink L4_microkernel_family.
- Object-capability_model wikiPageWikiLink L4_microkernel_family.
- OpenVMS wikiPageWikiLink L4_microkernel_family.
- Open_Kernel_Labs wikiPageWikiLink L4_microkernel_family.
- Openmoko wikiPageWikiLink L4_microkernel_family.
- Paravirtualization wikiPageWikiLink L4_microkernel_family.
- Pistachio_(disambiguation) wikiPageWikiLink L4_microkernel_family.
- Quark_(kernel) wikiPageWikiLink L4_microkernel_family.
- RC_4000_multiprogramming_system wikiPageWikiLink L4_microkernel_family.
- REX_OS wikiPageWikiLink L4_microkernel_family.
- Rump_kernel wikiPageWikiLink L4_microkernel_family.
- SeL4 wikiPageWikiLink L4_microkernel_family.
- Security-focused_operating_system wikiPageWikiLink L4_microkernel_family.
- Separation_kernel wikiPageWikiLink L4_microkernel_family.
- Spring_(operating_system) wikiPageWikiLink L4_microkernel_family.
- Timeline_of_Australian_inventions wikiPageWikiLink L4_microkernel_family.
- Trango_Virtual_Processors wikiPageWikiLink L4_microkernel_family.
- Trusted_computing_base wikiPageWikiLink L4_microkernel_family.
- UNSW_School_of_Computer_Science_and_Engineering wikiPageWikiLink L4_microkernel_family.
- VirtualLogix wikiPageWikiLink L4_microkernel_family.
- Wombat_OS wikiPageWikiLink L4_microkernel_family.
- X86_virtualization wikiPageWikiLink L4_microkernel_family.
- XtratuM wikiPageWikiLink L4_microkernel_family.
- citation.cfm?id=566726.566751 isCitedBy L4_microkernel_family.
- forecast-apple-will-ship-310-million-ios-devices-in-2015 isCitedBy L4_microkernel_family.
- publications isCitedBy L4_microkernel_family.
- 65_1029.php isCitedBy L4_microkernel_family.
- citation.cfm?id=1159842.1159850&coll=portal&dl=ACM&type=series&idx=1159842&part=Proceedings&WantType=Proceedings&title=Haskell&CFID=18785943&CFTOKEN=93152956 isCitedBy L4_microkernel_family.
- citation.cfm?id=1518688&dl=ACM isCitedBy L4_microkernel_family.
- citation.cfm?id=168619.168633&coll=portal&dl=ACM&type=series&idx=168619&part=Proceedings&WantType=Proceedings&title=ACM%20Symposium%20on%20Operating%20Systems%20Principles&CFID=18793560&CFTOKEN=54028606 isCitedBy L4_microkernel_family.
- Elphinstone_Heiser_13.abstract.pml isCitedBy L4_microkernel_family.
- vanSchaik_Heiser_07.abstract.pml isCitedBy L4_microkernel_family.
- media_releases_2005.cfm?viewArticle=true&item_id=2563&startrow=1 isCitedBy L4_microkernel_family.
- secure_operating_system_developed_by_nicta_goes_open_source isCitedBy L4_microkernel_family.
- ok-labs-automotive-virtualization-selected-by-bosch-forinfotainment-systems isCitedBy L4_microkernel_family.
- ok-labs-software-surpasses-milestone-of-1.5-billion-mobile-device-shipments isCitedBy L4_microkernel_family.
- klein-sosp09.pdf isCitedBy L4_microkernel_family.
- gray.html isCitedBy L4_microkernel_family.
- codezero isCitedBy L4_microkernel_family.
- 27d9381be57e0d94d8b8e581adaaac9d6ce602eaeca5144be8826aa2b4344a26 isCitedBy L4_microkernel_family.
- 354473574e2fe95ff4989cb2efc49d5b1a31c2a8fb43c493f985ba50005830a1 isCitedBy L4_microkernel_family.
- 873ec27279d4db8da64ed089ac4a0e7cfa90580384f4d3846e109f717bed9180 isCitedBy L4_microkernel_family.
- d7d682939963c6380155adbc429bdc4c195906e776397df4a0b134e48fb1c8b6 isCitedBy L4_microkernel_family.
- s11390-005-0654-4 isCitedBy L4_microkernel_family.
- 1090189.1086380 isCitedBy L4_microkernel_family.
- 1435458 isCitedBy L4_microkernel_family.
- 2560537 isCitedBy L4_microkernel_family.
- 234710 isCitedBy L4_microkernel_family.
- iOS_Security_Guide.pdf isCitedBy L4_microkernel_family.
- L4_microkernel_family primaryTopic L4_microkernel_family.