保存此搜索
研究论文 2016年1月 用人工事务验证无锁数据结构 在所有并行编程抽象类中,无锁数据结构由于其细粒度的同步风格而被认为是最具伸缩性和效率的数据结构之一。 然而,对于开发人员和工具来说,它们也很难。。。 研究论文 2013年7月 并行算法形式验证的多核系统建模 在体系结构级别对并行算法进行建模,可以探索现代处理器弱有序性的副作用。 通过模型检查对这些模型进行形式化验证,可以确保算法保证即使在。。。 研究论文 2012年2月 回旋符 :用于具有共享扫描的MapReduce工作负载的调度优化器 我们认为MapReduce集群设计用于支持多个并发作业,集中于不同数据集数量相对于作业数量适中的环境。 在这种情况下,许多数据集最终被扫描。。。 研究论文 2011年2月 英特尔单芯片云计算机处理器上的光通信 许多核心芯片正在改变高性能计算系统的构建和编程方式。 由于跨多个内核维护缓存一致性变得越来越困难,制造商正在探索不具有任何缓存功能的设计。。。 研究论文 2011年2月 博特纳 :Intel集成图形驱动程序的双重个性化扩展 本文介绍了Bothnia,它是Intel生产图形驱动程序的扩展,用于支持共享虚拟内存异构多线程编程模型。 使用Bothnia,Intel图形设备驱动程序可以支持传统的。。。 -
研究论文 2009年7月 垃圾收集器的无锁、并发和增量堆栈扫描机制 垃圾收集器的两个主要效率参数是吞吐量开销和它们引入的暂停时间。 高响应系统需要使用具有尽可能短的暂停时间的收集器。 暂停时间显著减少。。。 文章 2006年7月 VAMNET公司 :分布式编程的函数方法 本文概述了一种新的可靠分布式操作系统环境的设计,将功能编程和分布式编程的世界结合起来,使用虚拟机方法隐藏系统依赖关系,提供快速原型。。。 文章 2005年7月 LilyTask在共享内存中的设计与实现 构建高性能计算系统和为用户提供易于使用的编程模型是并行计算的两个主要部分,但后者长期以来一直处于令人遗憾的状态。 LilyTask编程模型基于以下任务。。。 文章 2003年10月 ULT公司 :用于平台无关执行的Java线程模型 众所周知,Java是一种构建平台无关应用程序的宝贵技术,它基于虚拟机(JVM、Java virtual machine)提供的独立执行环境和由一组类组成的API。 Java平台。。。 文章 2002年12月 卢娜 :灵活的Java保护系统 可扩展Java系统在共享和保护之间面临着艰难的权衡。 一方面,Java在单个虚拟机中运行不同保护域的能力使域能够轻松共享数据并在没有地址空间的情况下进行通信。。。 文章 2001年10月 使用可靠组播实现组通信的商业Java实现的经验 Tantus Reliable Multicast是一组组通信原语的实现,供特定局域网应用程序使用。 该系统对网络中的任何单点故障、……的总排序提供了恢复能力。。。 文章 2001年4月 第三存储子系统的多媒体数据存储和表示问题 :概述 多媒体数据的存储是整个系统性能和功能的关键问题。 多媒体应用程序必须能够支持定义为 多媒体对象。 多媒体数据由各种对象组成,例如。。。 文章 2001年1月 可分区分布式系统中可靠网络服务的中间件 我们描述了 J组: 一个中间件系统,它集成了组技术和分布式对象,并基于Java RMI。Jgroup支持一种称为 对象组 并促进……的发展。。。 文章 2000年10月 分布式对象环境中的偏序关系 我们描述了群协作应用中的几种序关系。 我们的目标是定义存在于具有组调用和变量共享的分布式对象环境中的主要交错语义 发生了-。。。 文章 2000年4月 NOW上的运行时增量集中调度(NRICS) NOW上的运行时增量集中调度(NRICS)是工作站网络(NOW)上一种重要的任务调度和负载平衡策略,它将整个NOW系统划分为两种可选的阶段:系统调度阶段和。。。