保存此搜索
研究论文 2016年1月 
用面向方面编程和全程序分析增强L4微内核的软错误 随着结构的缩小和电源电压的降低，触发故障所需的能量减少，计算机系统中的瞬态硬件故障已变得普遍。 本文介绍了一种基于软件的容错系统的最新改进。。。 评论文章 2013年1月 第四次软件升级热点研讨会报告（HotSWUp 2012） 2012年6月3日，第四届软件升级热点研讨会（HotSWUp 2012）在瑞士苏黎世举行。 该研讨会与ICSE 2012合用一地。 HotSWUp的目标是通过跨学科合作，确定前沿。。。 评论文章 2012年2月 第三次软件升级热点研讨会报告（HotSWUp'11） 关于软件升级热点话题的第三次研讨会（HotSWUp'11）的报告。 研讨会结合了同行评审研究论文的介绍和关于大规模升级相关实际问题的主题演讲。 观众。。。 研究论文 2011年2月 为异构CPU加速器平台优化共享虚拟内存系统 客户端计算平台正在向异构体系结构发展，该体系结构结合了面向标量的CPU内核和面向吞吐量的加速器内核。 认识到这种异构平台的现有编程模型仍然是。。。 评论文章 2010年12月 第二届ACM软件升级热点研讨会报告（2009年HotSWUp） : http://www.hotswup.org/2009/ 第二届ACM SIGPLAN软件升级热点研讨会（2009年HotSWUp）于2009年10月25日在佛罗里达州奥兰多市举行。该研讨会与OOPSLA 2009合办，由ACM SIGPLAN赞助。 20名研究人员和从业者，来自。。。 -
文章 2007年7月 L4丙烷 ：用于L4微内核的基于性能监控单元的软件保护框架 最近，L4微内核正在向嵌入式系统扩展其领域，因为它的性能与传统的单片内核相当。 L4微内核显示了用户应用程序与。。。 文章 1995年7月 通过彩信重新访问信号 本文的目的是实现对MMS信号量的深入研究。 本文不是关于MMS信号量的教程，尽管它在一定程度上解释了MMS信号量的行为和可利用性。 我们正在努力实现的是。。。 文章 1993年4月 文章 1993年1月 结构化中断 在本文中，我提炼了 打断 定义一个具有简单语义的更结构化机制。 回顾了一些常用的中断机制； 对它们的语义进行了推导和分析。 我展示了不同的。。。 文章 1992年10月 文章 1990年9月 文章 1989年7月 MARUTI硬实时操作系统 MARUTI操作系统旨在支持各种硬件系统上的实时应用程序。 内核支持对象作为基本实体，并提供了一种通信机制，允许在网络中透明分发。。。 文章 1989年1月 文章 1987年4月 抽象数据类型的乐观并发控制 如果并发控制技术允许在没有同步的情况下执行事务，并且依赖于提交时间验证来确保可序列化性，那么它是乐观的。 本文描述了几种新的乐观并发控制技术。。。 文章 1986年1月 复制的过程调用 描述了一种用于构建高可用分布式程序的新机制。 它将远程过程调用与程序模块复制结合起来，以实现容错。 模块的副本集称为“剧团”。 在构建的程序中。。。
