Qué es la arquitectura microkernel
Qué es la arquitectura microkernel
3 个月之前
platzi.com
- YouTube
- YouTube
2013年12月24日
spiceworks.com
Qué es un microkernel y por qué Huawei lo usa en HarmonyOS (y Google en Fuchsia)
Qué es un microkernel y por qué Huawei lo usa en HarmonyOS (y Google en Fuchsia)
2019年8月9日
xataka.com
Types and Structures of Operating Systems
3:55
Types and Structures of Operating Systems
已浏览 9100 次2025年1月24日
Study.com
[COMP9242] 20T2 Advanced OS- w05b
1:27:32
[COMP9242] 20T2 Advanced OS- w05b
已浏览 101 次2020年12月24日
bilibili酸素氧氣
【SOSP'23】【闪电演讲】TreeSLS : A Whole-system Persistent Microkernel with Tree-stru
1:59
【SOSP'23】【闪电演讲】TreeSLS : A Whole-system Persistent Microkernel with Tree-stru
已浏览 2648 次2023年10月21日
bilibili上海交通大学IPADS
Your Next Desktop… QNX?
Your Next Desktop… QNX?
2009年1月1日
hackaday.com
47:27
【嵌入式系统放牛班】RTOS-01
已浏览 6991 次2022年4月20日
bilibili科技下午茶啃泥
4:55
RTThread-微内核（MicroKernel）DEMO
已浏览 6514 次2019年12月24日
bilibiliRT-Thread官方账号
15:45
鸿蒙内核OSDI 2024 Talk
已浏览 2007 次2024年9月13日
bilibiliHe11o_Liu
18:23
【RTOS】宏内核 vs 微内核 (Monolithic-kernel vs Micro-kernel)
已浏览 1414 次2020年9月22日
bilibili计算机与移动通信
HarmonyOS: Here are the four technical features that defines this Operating System
2019年8月9日
huaweicentral.com
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security | ACM SIGARCH Computer Architecture News
2011年6月4日
acm.org
From L3 to seL4 what have we learnt in 20 years of L4 microkernels? | Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
2019年12月29日
acm.org
ZeroFrame
5 个月之前
devpost.com
Comprehensive formal verification of an OS microkernel | ACM Transactions on Computer Systems
2019年12月29日
acm.org
16:13
Software Architectural Patterns | MicroKernel
已浏览 38 次2020年8月10日
bilibiliboxanywhere
L4 Microkernels: The Lessons from 20 Years of Research and Deployment: ACM Transactions on Computer Systems: Vol 34, No 1
2020年1月12日
acm.org
14:33
【USENIX ATC '25】μEFI: A Microkernel-Style UEFI with Isolation and Transparency
已浏览 1238 次5 个月之前
bilibili上海交通大学IPADS
17:23
25 RVSE Day 1 | Accelerating GenAI Workloads by Enabling RV Microkernel Support
已浏览 77 次10 个月之前
bilibili北京开源芯片研究院
List the differences between a kernel employing dynamically loa... | Filo
11 个月之前
askfilo.com
Experience report: seL4: formally verifying a high-performance microkernel: ACM SIGPLAN Notices: Vol 44, No 9
2009年8月31日
acm.org
Scale and Performance in a Filesystem Semi-Microkernel | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
1 个月前
acm.org
17:51
Snap_ a Microkernel Approach to Host Networking
已浏览 85 次2021年7月4日
bilibilileonexu1
4:36
读鸿蒙论文，看性能优化
已浏览 2511 次2024年11月1日
bilibili抽象狗哥
3:22
دوره میکروسرویس | Observabilty
已浏览 60 次2023年3月5日
aparat.comآموزشگاه تحلیل داده
展开