可证明安全操作系统(PSOS)的基础（1979）[pdf]
摘要
这篇1979年的学术论文介绍了可证明安全操作系统(PSOS)的基础。
暂无内容
查看缓存全文
缓存时间: 2026/05/18 12:55
无法翻译：提供的输入为PDF二进制数据，不包含可翻译的英文文章内容。请提供纯文本格式的源文章。
相似文章
纯函数式操作系统
本文提供了Peter Henderson 1982年关于纯函数式操作系统的论文扫描版，该论文此前在网上难以获取。
Position: It is Time to Virtualize Foundation Models with a Self-evolving Operating System Layer
This position paper proposes a Foundation Model Operating System (FMOS) to virtualize foundation model interactions, providing applications with dedicated, trustworthy instances and enabling self-evolving capabilities through orchestration and policy enforcement.
智能体操作系统（AOS）：分布式智能体系统的参考操作架构
本文提出了智能体操作系统（AOS），这是一个面向分布式智能体系统的厂商中立的参考操作架构，涵盖治理、运行时协调和可靠性。其目标是提供一个稳定的框架，将异构组件组合成可治理、可观测的智能体系统。
软件在没有形式化证明的情况下如何变得如此可靠？（1996年）
这篇1996年的论文探讨了尽管缺乏形式化证明，软件可靠性却日益提高的原因，讨论了非正式方法和工程实践。
系统编程入门，第一部分：程序员编写程序（2025）
一篇系统编程入门文章，涵盖诸如位操作、解析、文件系统、系统调用和内存管理等基础知识，面向程序员。