会员服务
操作系统（Operating System，简称OS，港台译作「作业系统」）是管理计算机硬件与软件资源的程序，同时也是计算机系统的核心与基石。操作系统的型态非常多样，不同机器安装的操作系统可从简单到复杂，可从手机的嵌入式系统到超级计算机的大型操作系统。
Dynamic Optimization of Storage Systems Using Reinforcement Learning Techniques
Arxiv
0+阅读 · 2024年12月29日
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
Arxiv
0+阅读 · 1月8日
Host-guided data placement: whose job is it anyway?
Arxiv
0+阅读 · 1月1日
Analysis of Security in OS-Level Virtualization
Arxiv
0+阅读 · 1月2日
Revisiting Cache Freshness for Emerging Real-Time Applications
Arxiv
0+阅读 · 2024年12月28日
Shattering the Ephemeral Storage Cost Barrier for Data-Intensive Serverless Workflows
Arxiv
0+阅读 · 1月8日
Combining Type Checking and Formal Verification for Lightweight OS Correctness
Arxiv
0+阅读 · 2024年12月31日
Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
Arxiv
0+阅读 · 2024年12月24日
Timing Analysis and Priority-driven Enhancements of ROS 2 Multi-threaded Executors
Arxiv
0+阅读 · 2024年12月30日
CORD: Co-design of Resource Allocation and Deadline Decomposition with Generative Profiling
Arxiv
0+阅读 · 1月14日
ArkAnalyzer: The Static Analysis Framework for OpenHarmony
Arxiv
0+阅读 · 1月13日
ArkAnalyzer: The Static Analysis Framework for OpenHarmony
Arxiv
0+阅读 · 1月10日
ByteFS: System Support for (CXL-based) Memory-Semantic Solid-State Drives
Arxiv
0+阅读 · 1月9日
Verifying Device Drivers with Pancake
Arxiv
0+阅读 · 1月14日
RIOT-based smart metering system for privacy-preserving data aggregation using watermarking and encryption
Arxiv
0+阅读 · 1月10日
参考链接
父主题
计算机
子主题
DOS
Unix
GNU
Fuchsia
Linux
macOS
COS （操作系统）
移动操作系统
Microsoft Windows
Andromeda
32 位操作系统
微信扫码咨询专知VIP会员
Top