保存此搜索
研究论文 2016年1月 缓存相关多核体系结构实时操作系统的设计与评估 实时任务在多核处理器中不受控制地使用缓存层次结构可能会影响其最坏情况下的执行时间。 最近提出了几种操作系统技术来处理多处理器中的缓存,以便。。。 研究论文 2012年2月 通过UML模型仿真支持嵌入式实时系统的早期验证 与仅在高级设计阶段发现此类问题的情况相比,在早期设计阶段识别错误可以降低修复成本。 这项工作是实现自动验证方法的第一步。。。 研究论文 2008年10月 EPOS系统中的电源管理 嵌入式系统的电源管理策略通常依赖于静态、应用程序驱动的组件停用(例如睡眠、暂停),或依赖于动态电压和频率缩放。 然而,这些策略的设计和实施在。。。 研究论文 2008年10月 基于I/O处理器的对象存储设备的设计 基于对象的存储设备(OSD)是基于对象存储系统(OBSS)的基础。 由于PB级OBS包含数千个OSD,因此必须综合考虑单个OSD的性能、成本和功耗,才能构建如此巨大的存储。。。 -
研究论文 2008年1月 整体聚合资源环境 在短短几年内,我们有望处理运行在百万核系统上的数百万线程程序[16]。 这无疑将强调当代HPC软件模型,该模型是在512核数量众多的时候开发的。。。 研究论文 2008年1月 Caernarvon安全嵌入式操作系统 开发Caernarvon操作系统是为了证明智能卡的高保证系统在技术上可行,在商业上可行。 整个系统设计为在EAL7的通用标准下进行评估。。。 文章 2006年7月 介绍 本期《操作系统评论》聚焦于自组织系统; 也就是说,其功能通过其组件的自主活动显现出来的系统。 自组织是一种强大的范式,用于构建范围广泛的系统。。。 文章 2005年10月 服务质量与实时 利用简单排队论证明了QoS和Realtime是互斥的。 QoS机制在实时系统使用的轻到中度(高达50%平均和80%峰值占用率)通信负载情况下将不起作用,如。。。 文章 2005年4月 对用户友好的智能卡远程身份验证方案的两次攻击 最近,Wu和Chieu提出了一种使用智能卡的用户友好的远程身份验证方案。 在他们的方案中,用户可以自由选择和更改密码。 然而,他们的方案是不安全的。 在本文中,我们提出了两种对其进行攻击的方法。。。 文章 2005年1月 一种使用智能卡的灵活远程用户认证方案的密码分析 2002年,Lee、Hwang和Yang提出了一种使用智能卡的无验证远程用户身份验证方案。 他们的方案是有效的,因为主要使用加密哈希函数。 然而,我们发现李洪阳的计划是不可修复的。。。 文章 2002年4月 交互点 :利用操作系统机制进行组件间通信 本文介绍了“交互点”的概念,它目前用于实验编程环境,即进程内模块化编程(IMP)平台。 IMP是一个Microsoft COM风格的平台,专门用于建筑。。。 文章 2001年7月 支持以太网实时流量的分布式退避算法 以太网因其易于管理而在局域网中非常流行。 随着分布式多媒体应用的发展趋势,底层系统必须提供资源保证。 传统上,以太网。。。 文章 2001年7月 文章 2001年1月 可证明是正确的操作系统 :δ-芯 与以往相比,嵌入式和实时应用程序的种类越来越广泛,应用程序的关键性也越来越高,它们从提供的服务中产生了更多的收入。 与此同时,这些应用程序正在变大,并且。。。 文章 1998年7月 文章 1997年10月 一种新的实时操作系统检查点机制 本文概述了在实时操作系统中提供应用程序透明容错服务的拟议协议。 容错是通过保存属于实时应用程序的进程的检查点来实现的。。。