引文输出
出版物
保存此搜索
研究论文 a注释 : 从注释和代码中挖掘注释以检测与中断相关的并发错误 操作系统（OS）中的并发错误是有害的，因为它们可能导致OS失败并影响在OS上运行的所有应用程序。 由于操作系统同步的复杂性，检测操作系统并发错误具有挑战性。。。 第条 聆听程序员操作系统代码中注释的分类和特征 为了提高软件可靠性，已经提出了多个方向的创新。 不幸的是，许多创新并没有被程序员充分利用。 为了弥合这一差距，本文提出了一种“倾听”成千上万。。。 第条 在不进行预处理的情况下分析C/C++代码 CC’09：第18届编译器构造国际会议记录：作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2009 • 2009年3月，第109-125页 • https://doi.org/10.1007/978-3-642-00722-4_9 很难为C和C++开发样式保护的源到源转换引擎。 主要原因不是这些语言的复杂性，而是C预处理器（<Literal>cpp</Literal>）的使用，尤其是ifdefs和宏。 这个。。。 研究论文 记录和自动化linux设备驱动程序中的并行演进 Eurosys’08：第三届ACM SIGOPS/Eurosys欧洲计算机系统会议记录 • 2008年4月，第247-260页 • https://doi.org/10.1145/1352592.1352618 Linux的内部库正在迅速发展，以满足新的需求并提高性能。 然而，这些演变带来了Linux设备驱动程序中并行演变的巨大问题：对于影响API的每一个更改，都。。。 另发布于： ACM SIGOPS操作系统评论：第42卷第4期，2008年5月 研究论文 简化操作系统代码中的错误诊断 快速检测和处理操作系统代码中的错误对于维护计算系统的整体安全性和可靠性至关重要。 已经提出了许多用于检测错误的技术，但在帮助。。。 文章 SmPL公司 : 一种用于指定Linux设备驱动程序中并行进化的领域专用语言 并行进化是大规模软件开发中普遍存在的问题。 当影响通用库接口的进化需要在所有库客户端中进行修改，即并行进化时，就会发生这种进化。。。 第条 用于记录和自动化Linux设备驱动程序中的并行演进的语义补丁 众所周知，开发和维护驱动程序是创建通用、实用的操作系统的主要挑战之一[1，3]。 就Linux而言，设备驱动程序构成了内核源代码的最大部分。。。 文章 被认为有用的语义补丁 现代软件开发的特点是使用库和接口。 这种软件体系结构甚至可以扩展到操作系统级别。 例如，Linux是作为一个小内核组织的，并辅以提供以下功能的库。。。 第条 LISFS公司 : 作为文件系统的逻辑信息系统 我们介绍逻辑信息系统（LIS）。 LIS可以被视为无模式数据库，其对象由逻辑公式描述。 对象根据其逻辑描述自动组织，逻辑公式可用于。。。 第条 了解Linux设备驱动程序的附带发展 EuroSys’06：2006年第一届ACM SIGOPS/EuroSys欧洲计算机系统会议记录 • 2006年4月，第59-71页 • https://doi.org/10.1145/1217935.1217942 在现代操作系统（OS）中，设备驱动程序可以占源代码的70%以上。 对于内核和驱动程序支持库中定义的函数和数据结构，驱动程序代码也严重依赖于操作系统的其余部分。 这些。。。 另发布于： ACM SIGOPS操作系统评论：第40卷第4期，2006年10月
