咨询与建议

限定检索结果

文献类型

  • 19 篇 期刊文献
  • 16 篇 会议

馆藏范围

  • 35 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 33 篇 工学
    • 29 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 3 篇 电子科学与技术(可...
    • 2 篇 网络空间安全
    • 1 篇 机械工程
    • 1 篇 仪器科学与技术
    • 1 篇 建筑学
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...
  • 2 篇 理学
    • 1 篇 数学
    • 1 篇 系统科学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 艺术学
    • 1 篇 设计学(可授艺术学...

主题

  • 3 篇 存储单元
  • 3 篇 龙芯异构多核
  • 3 篇 寄存器重命名
  • 3 篇 核间切换开销
  • 3 篇 处理器
  • 2 篇 地址转换
  • 2 篇 cache锁机制
  • 2 篇 性能优化
  • 2 篇 跨平台系统级虚拟...
  • 2 篇 功能验证
  • 2 篇 软硬件协同设计
  • 2 篇 网络服务器
  • 2 篇 java虚拟机
  • 2 篇 dsp
  • 2 篇 即时编译器
  • 2 篇 gpu
  • 1 篇 低功耗测试
  • 1 篇 路由算法
  • 1 篇 cpu
  • 1 篇 互连网络

机构

  • 17 篇 中国科学院研究生...
  • 17 篇 中国科学院计算机...
  • 14 篇 中国科学院计算技...
  • 10 篇 北京龙芯中科技术...
  • 5 篇 龙芯中科技术有限...
  • 3 篇 中科院计算所
  • 3 篇 中科院计算所系统...
  • 2 篇 中科院计算所系统...
  • 2 篇 中科院计算技术研...
  • 1 篇 中科院数学与系统...
  • 1 篇 竞技世界网络技术...
  • 1 篇 中科院计算技术研...
  • 1 篇 中科院计算所体系...
  • 1 篇 中国科学院研究生...
  • 1 篇 中国科学院大数据...
  • 1 篇 中国科学院重庆绿...
  • 1 篇 中国科学院计算技...
  • 1 篇 美国auspex
  • 1 篇 中国科学院计算机...
  • 1 篇 中科院计算所系统...

作者

  • 8 篇 刘奇
  • 8 篇 章隆兵
  • 7 篇 沈海华
  • 4 篇 蔡嵩松
  • 4 篇 郝守青
  • 3 篇 张兆庆
  • 3 篇 张戈
  • 3 篇 蒋毅飞
  • 3 篇 台运方
  • 2 篇 苏孟豪
  • 2 篇 蔡万伟
  • 2 篇 敖琪
  • 2 篇 王剑
  • 2 篇 李华伟
  • 2 篇 吕涛
  • 2 篇 冯子军
  • 2 篇 杨志
  • 2 篇 李晓维
  • 2 篇 谢应科
  • 2 篇 胡伟武

语言

  • 35 篇 中文
检索条件"机构=中科院计算所系统结构室"
35 条 记 录,以下是11-20 订阅
排序:
具有可变数据格式的透明度压缩
收藏 引用
计算机辅助设计与图形学学报 2011年 第2期23卷 247-255页
作者: 蒋毅飞 郇丹丹 解鑫 中国科学院计算机系统结构重点实验室 北京100190 中国科学院计算技术研究所 北京100190 中国科学院研究生院 北京100049 北京龙芯中科技术服务中心有限公司 北京100190
对纹理元素透明度alpha的压缩是纹理压缩的重要组成部分.通过分析透明度和颜色的本质差异,提出了具有可变数据格式的透明度压缩——龙芯透明度压缩(LAC)方法.该方法定义了3种alpha压缩数据格式,用聚类算法和线性插值方法将16个输入alph... 详细信息
来源: 评论
数字集成电路设计错误的静态检测系统
数字集成电路设计错误的静态检测系统
收藏 引用
第十四届全国容错计算学术会议(CFTC'2011)
作者: 杨志 吕涛 李华伟 李晓维 中国科学院计算机系统结构重点实验室 中科院计算所 中国科学院研究生院
随着芯片集成度的不断提高,功能验证己成为IC设计流程中时间耗费最大的环节,因此尽早且快速地发现集成电路设计中的错误,对于缩短验证周期具有重要意义。本文从模拟验证方法发现的功能错误中提取错误特征,引入软件测试领域中的静态检测... 详细信息
来源: 评论
一种基于RAM的降低异构多核切换开销的方法
收藏 引用
计算机研究与发展 2011年 第S1期48卷 266-272页
作者: 刘奇 郝守青 沈海华 章隆兵 中国科学院计算机系统结构重点实验室 北京100190 中国科学院计算技术研究所 北京100190 中国科学院研究生院 北京100049 北京龙芯中科技术服务中心有限公司 北京100190
同一程序的不同执行阶段或者不同程序运行时行为特征不同.异构多核处理器包含多种类型处理器核,可以根据程序运行时的行为特征切换到性能、功耗合适的核.异构多核相对于同构多核处理器能够更好地满足性能和功耗要求,但是不同核间切换时... 详细信息
来源: 评论
一种基于RAM的降低异构多核切换开销的方法
一种基于RAM的降低异构多核切换开销的方法
收藏 引用
2010年第16届全国信息存储技术大会(IST2010)
作者: 刘奇 郝守青 沈海华 章隆兵 中国科学院计算机系统结构重点实验室 中国科学院计算技术研究所 中国科学院研究生院 北京龙芯中科技术服务中心有限公司
同一程序的不同执行阶段或者不同程序运行时行为特征不同.异构多核处理器包含多种类型处理器核,可以根据程序运行时的行为特征切换到性能、功耗合适的核.异构多核相对于同构多核处理器能够更好地满足性能和功耗要求,但是不同核间切换时... 详细信息
来源: 评论
跨平台系统级虚拟机的访存优化
跨平台系统级虚拟机的访存优化
收藏 引用
2011年第17届全国信息存储技术大会(IST 2011)
作者: 蔡嵩松 刘奇 沈海华 章隆兵 中国科学院计算机系统结构重点实验室北京 100190 中国科学院计算技术研究所北京 100190 中国科学院研究生院北京 100049 龙芯中科技术有限公司 北京 100190
跨平台系统级虚拟机软件模拟访存操作效率低,严重影响了虚拟机的性能。为提高跨平台虚拟机访存效率,提出了一种使用宿主系统TLB硬件、加速跨平台系统级虚拟机访存地址转换的软硬件协同优化方法。该方法相对于软件访存模拟方法,有效... 详细信息
来源: 评论
基于硬件cache锁机制的Java虚拟机即时编译器优化
基于硬件cache锁机制的Java虚拟机即时编译器优化
收藏 引用
2011年第17届全国信息存储技术大会(IST 2011)
作者: 敖琪 蔡嵩松 王剑 中国科学院计算机系统结构重点实验室 北京 100190 中国科学院计算技术研究所 北京 100190 中国科学院研究生院北京 100049 龙芯中科技术有限公司 北京 100190
Java虚拟机即时编译器以方法为单位进行编译,编译器将字节码方法编译成可执行代码,并经过数据cache存入内存中,当再次执行到该代码段时,处理器需要从包含该代码段的内存区域取指令执行,如果该内存区域在数据cache中已经建立映射,... 详细信息
来源: 评论
龙芯3号多核处理器的低功耗测试技术
收藏 引用
计算机辅助设计与图形学学报 2010年 第11期22卷 2021-2028,2036页
作者: 齐子初 刘慧 石小兵 韩银和 中国科学院计算机系统结构重点实验室 北京100190 中国科学院计算技术研究所 北京100190 中国科学院研究生院 北京100049 北京龙芯中科技术服务中心有限公司 北京100190
龙芯3号是一款低功耗处理器芯片,要求测试时保持较低功耗.为了解决低功耗测试的问题,对龙芯3号测试功耗进行了细致分析,提出一套考虑测试时间和测试开销的低功耗测试方案,并对整套方案中的各种技术在功耗、面积、时延以及测试时间等方... 详细信息
来源: 评论
片上实时功耗监控与估测的分析设计
收藏 引用
计算机辅助设计与图形学学报 2010年 第11期22卷 2053-2060页
作者: 段玮 章隆兵 中国科学院计算机系统结构重点实验室 北京100190 中国科学院计算技术研究所 北京100190 中国科学院研究生院 北京100049 北京龙芯中科技术服务中心有限公司 北京100190
为了给操作系统提供实时的芯片热点和功耗统计信息,以便进行快速、准确的实时功耗管理,基于龙芯2号处理器核,提出一个基于门控时钟统计的实时功耗监控系统.通过记录处理器门控时钟的翻转信息来获得芯片热点分布状态,并使用在芯片设计流... 详细信息
来源: 评论
场景前颜色缓冲区压缩
收藏 引用
计算机辅助设计与图形学学报 2010年 第9期22卷 1502-1507页
作者: 蒋毅飞 张戈 中国科学院计算机系统结构重点实验室 北京100190 中国科学院计算技术研究所 北京100190 中国科学院研究生院 北京100049 北京龙芯中科技术服务中心有限公司 北京100190
内存带宽通常是计算机图形系统的瓶颈,文中总结了用于降低图形系统带宽开销的常见机制,在纹理压缩算法S3TC基础上,提出场景前颜色缓冲区压缩方法——YCoCg-R CBC.该方法定义了2种颜色缓冲区压缩数据格式,将像素转换到YCoCg-R颜色空间,... 详细信息
来源: 评论
一种复杂功能部件的形式化验证方法
一种复杂功能部件的形式化验证方法
收藏 引用
2010年中国计算机大会
作者: 陈博文 郭崎 沈海华 中国科学院计算机系统结构重点实验室 北京 100190 中国科学院计算技术研究所 北京 100190 中国科学院研究生院 北京 100049 北京龙芯中科技术服务中心有限公司 北京 100190 中国科学院计算机系统结构重点实验室 北京 100190 中国科学院计算机系统结构重点实验室 北京 100190 北京龙芯中科技术服务中心有限公司 北京 100190
文章给出一个通用的针对复杂功能部件的形式化验证方法.该方法基于寄存器传输级设计,利用设计中的结构信息将电路划分为控制部分和运算部分分别验证.文章给出了标识数据的时间标记法,针对控制部分中数据抽象的通用抽象规则,以及对运... 详细信息
来源: 评论