保存此搜索
研究论文 2016年1月 缓存相关多核体系结构实时操作系统的设计与评估 实时任务在多核处理器中不受控制地使用缓存层次结构可能会影响其最坏情况下的执行时间。 最近提出了几种操作系统技术来处理多处理器中的缓存,以便。。。 研究论文 2012年2月 通过UML模型仿真支持嵌入式实时系统的早期验证 与仅在高级设计阶段发现此类问题的情况相比,在早期设计阶段识别错误可以降低修复成本。 这项工作是实现自动验证方法的第一步。。。 研究论文 2008年10月 基于I/O处理器的对象存储设备的设计 基于对象的存储设备(OSD)是基于对象的存储系统(OBSS)的基础。 由于PB级OBS包含数千个OSD,因此必须综合考虑单个OSD的性能、成本和功耗,才能构建如此巨大的存储。。。 研究论文 2008年1月 Caernarvon安全嵌入式操作系统 开发Caernarvon操作系统是为了证明智能卡的高保证系统在技术上可行,在商业上可行。 整个系统设计为在EAL7的通用标准下进行评估。。。 文章 2006年10月 将esterel映射到多线程嵌入式处理器 同步语言Esterel非常适合在系统级对控制主导的反应系统进行编程。 它提供了非传统的控制结构,特别是并发性和各种形式的抢占,允许简洁地。。。 另发布于: ASPLOS XII:第十二届编程语言和操作系统体系结构支持国际会议论文集:ISBN 1595934510,2006年10月 -
文章 2006年10月 嵌入式处理器中基于软件的指令缓存 虽然目前几乎所有通用和高性能微处理器都有硬件指令缓存,但许多嵌入式处理器都使用SRAM或暂存存储器。 这些是直接。。。 另发布于: ASPLOS XII:第12届编程语言和操作系统体系结构支持国际会议论文集:ISBN 15959345102006年10月 文章 2006年7月 介绍 本期《操作系统评论》聚焦于自组织系统; 也就是说,其功能通过其组件的自主活动显现出来的系统。 自我组织是构建各种系统的强大范例。。。 文章 2004年10月 升起 :一个为嵌入式系统自动派生静态分析器的系统 嵌入式软件必须满足相互冲突的要求,例如高可靠性、在资源受限的平台上运行以及快速开发。 静态程序分析可以帮助实现所有这些目标。 为…开发分析仪的人。。。 另发布于: ASPLOS XI:第十一届编程语言和操作系统体系结构支持国际会议论文集:ISBN 1581138040,2004年10月 文章 2004年10月 用于传感器网络的超低功耗处理器 我们提出了一种专门为低功耗无线传感器网络节点设计的新型处理器体系结构。 我们的传感器网络异步处理器(SNAP/LE)基于异步数据驱动的16位RISC内核,具有极低功耗。。。 另发布于: ASPLOS XI:第十一届编程语言和操作系统体系结构支持国际会议论文集:ISBN 1581138040,2004年10月 文章 2001年7月 支持以太网实时流量的分布式退避算法 以太网因其易于管理而在局域网中非常流行。 随着分布式多媒体应用的发展趋势,底层系统必须提供资源保证。 传统上,以太网。。。 文章 2000年11月 备忘录S3 :用于多处理器服务器设计的可编程实时硬件仿真工具 现代系统设计通常需要多级仿真来进行设计验证和性能调试。 然而,尽管机器变得越来越快,模拟器也变得越来越详细,但模拟速度并没有跟踪机器速度。。。 另发布于: ASPLOS IX:第九届编程语言和操作系统体系结构支持国际会议论文集:ISBN 15811331702000年11月 文章 1998年7月 文章 1997年7月 基于面向对象技术的消息实时模型 本文介绍了使用面向对象技术为实时操作系统构建基于消息的模型的动机。 介绍了模型的组成及其运行机制。 该模型选择抢占调度策略。。。 文章 1995年7月 在MINIX中实现实时服务 在这项工作中,我们展示了一个项目的结果,该项目致力于为开发硬实时软件提供编程工具。 我们使用MINIX操作系统作为体验工具。 我们允许程序员为。。。 文章 1994年11月 硬件辅助的实时垃圾收集器的性能 硬件辅助的实时垃圾收集在分配动态对象和访问以前分配的对象中包含的内存所需的时间上提供了高吞吐量和较小的最坏情况边界。 提议的技术是否。。。 另发布于: ASPLOS VI:第六届编程语言和操作系统体系结构支持国际会议论文集:ISBN 0897916603,1994年11月 文章 1993年7月 现场总线网络的静态和动态轮询机制 像现场总线这样的实时局域网必须处理两种类型的数据传输,同步和异步。 同步数据是定期生成的,必须在固定的截止日期之前传输。 异步消息由…生成。。。 文章 1993年4月 实时系统中的高可用性 建筑面积 嵌入式实时系统 一个在 正在设计的应用程序比 可用的基础系统支持。 此类应用的示例 可以在多个领域找到,包括机器人控制、航空电子、, ... 文章 1990年9月 文章 1989年7月 设计师对Hawk多处理器操作系统内核的看法 Hawk操作系统内核是专门设计和实现的,用于支持SANDAC V嵌入式多处理器上的实时应用程序。 内核为程序分解提供了一个任务模型,并支持消息传递。。。