咨询与建议

限定检索结果

文献类型

  • 375 篇 期刊文献
  • 60 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 418 篇 工学
    • 347 篇 计算机科学与技术...
    • 135 篇 软件工程
    • 57 篇 电子科学与技术(可...
    • 25 篇 控制科学与工程
    • 18 篇 机械工程
    • 13 篇 网络空间安全
    • 7 篇 仪器科学与技术
    • 5 篇 信息与通信工程
    • 2 篇 建筑学
    • 2 篇 化学工程与技术
    • 1 篇 光学工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 土木工程
    • 1 篇 水利工程
    • 1 篇 船舶与海洋工程
    • 1 篇 核科学与技术
    • 1 篇 公安技术
  • 58 篇 管理学
    • 56 篇 管理科学与工程(可...
    • 2 篇 公共管理
    • 1 篇 工商管理
  • 9 篇 理学
    • 4 篇 数学
    • 3 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 海洋科学
    • 1 篇 地质学
  • 4 篇 艺术学
    • 4 篇 设计学(可授艺术学...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 农学
    • 1 篇 植物保护
  • 1 篇 军事学
    • 1 篇 军队指挥学

主题

  • 21 篇 性能
  • 20 篇 排行榜
  • 20 篇 高性能计算机
  • 15 篇 分析
  • 15 篇 top100
  • 9 篇 片上网络
  • 9 篇 集成电路
  • 8 篇 负载均衡
  • 8 篇 多核处理器
  • 8 篇 云计算
  • 8 篇 性能优化
  • 8 篇 异构多核
  • 8 篇 功能验证
  • 8 篇 加速器
  • 8 篇 众核处理器
  • 7 篇 容错
  • 6 篇 能耗优化
  • 6 篇 并行计算
  • 6 篇 任务调度
  • 6 篇 深度学习

机构

  • 232 篇 中国科学院计算技...
  • 212 篇 中国科学院大学
  • 149 篇 计算机体系结构国...
  • 96 篇 中国科学院计算技...
  • 41 篇 龙芯中科技术有限...
  • 23 篇 中国科学院研究生...
  • 21 篇 首都师范大学
  • 15 篇 暨南大学
  • 12 篇 中国科学技术大学
  • 10 篇 北京应用物理与计...
  • 9 篇 上海理工大学
  • 9 篇 南开大学
  • 8 篇 中国科学院计算机...
  • 8 篇 state key labora...
  • 7 篇 华北电力大学
  • 7 篇 清华大学
  • 7 篇 计算机体系结构国...
  • 7 篇 湘潭大学
  • 7 篇 数学工程与先进计...
  • 6 篇 北京邮电大学

作者

  • 50 篇 张云泉
  • 43 篇 李晓维
  • 33 篇 李华伟
  • 33 篇 范东睿
  • 29 篇 叶笑春
  • 27 篇 章隆兵
  • 26 篇 冯晓兵
  • 25 篇 zhang longbing
  • 25 篇 li xiaowei
  • 22 篇 li huawei
  • 21 篇 wang jian
  • 20 篇 王剑
  • 20 篇 孙凝晖
  • 18 篇 贾海鹏
  • 18 篇 zhang yunquan
  • 18 篇 ye xiaochun
  • 17 篇 zhang yun-quan
  • 16 篇 袁良
  • 16 篇 胡瑜
  • 16 篇 韩银和

语言

  • 435 篇 中文
检索条件"机构=中国科学院计算技术研究所计算机体系结构重点实验室"
435 条 记 录,以下是371-380 订阅
排序:
基于硬件辅助的用户态并行程序记录方法
基于硬件辅助的用户态并行程序记录方法
收藏 引用
2012中国计算机大会
作者: 唐士斌 宋风龙 王达 李文明 刘志勇 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190 中国科学院研究生院北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190
程序调试工作的首要基础是错误可重现,然而并行程序执行过程存在天然的不确定性,尤其在多核必现并行程序的错误是一个巨大的挑战。现有的方法或记录整个系统的状态或需要细粒度插桩,存在可用性差与问题。本文首次提出一种基于硬件辅... 详细信息
来源: 评论
抗板级物理攻击的持久存储方法研究
收藏 引用
计算机工程 2022年 第2期48卷 132-139页
作者: 李闽 张倩颖 王国辉 施智平 关永 首都师范大学信息工程学院 北京100048 高可靠嵌入式系统北京市工程研究中心 北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190 电子系统可靠性技术北京市重点实验室 北京100048 北京成像理论与技术高精尖创新中心 北京100048
为保护文件系统的安全性,提出一种抗板级物理攻击的持久存储方法。利用ARM TrustZone技术构建持久存储架构,实现内存保护机制和持久存储保护服务,提高文件系统的物理安全性。基于片上内存(OCM)在可信执行环境(TEE)中的内核层建立内存保... 详细信息
来源: 评论
一种保护买家隐私的网上交易协议设计
收藏 引用
信息与电脑(理论版) 2014年 第11期 14-16页
作者: 吴林 蒋东辰 西北师范大学计算机科学与工程学院 中国科学院计算技术研究所计算机体系结构国家重点实验室
通过分析支付宝交易流程,发现基于该平台的交易方式无法有效保护买家购物的隐私信息。为此,本文提出了一种保护买家隐私的网上购物解决方案。该方案即能有效解决隐私泄露问题,又能解决电子商务中信息监管的问题。最后,还对新交易框架的... 详细信息
来源: 评论
面向FPGA的二值神经网络模型压缩方法研究
收藏 引用
小型微型计算机系统 2024年 第6期45卷 1356-1362页
作者: 陈胤杰 裴颂文 上海理工大学光电信息与计算机工程学院 上海200093 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190 华东师范大学软硬件协同设计技术与应用教育部工程研究中心 上海200062
针对卷积神经网络在正向推理时的高计算复杂度与空间复杂度问题,提出了一种基于二值神经网络(Binary Neural Network,BNN)的过滤器剪枝算法(Binary Filter Pruning:BFP). BFP算法通过剪除L2范数较小的过滤器,构建剪枝压缩后的二值神经... 详细信息
来源: 评论
Thread id Cache:一种多线程共享的低功耗高速缓存结构
Thread id Cache:一种多线程共享的低功耗高速缓存结构
收藏 引用
2013全国高性能计算学术年会
作者: 范灵俊 徐远超 唐士斌 郑亚松 范东睿 中国科学院计算技术研究所 计算机体系结构国家重点实验室 北京100190 中国科学院计算技术研究所 计算机体系结构国家重点实验室 北京100190 首都师范大学 信息工程学院北京100048
近年来,功耗是处理器设计领域的关键问题之一.本文提出了一种针对多线程共享缓存通过过滤不必要缓存路(Way)访问来降低CPU动态功耗的缓存结构,称为Thread id Cache.通过设置和预先访问Thread id过滤器来排除每次访问发生时不同线程对组... 详细信息
来源: 评论
一种带有无效缓存路访问过滤机制的低功耗高速缓存
一种带有无效缓存路访问过滤机制的低功耗高速缓存
收藏 引用
2012中国计算机大会
作者: 范灵俊 唐士斌 张轮凯 郑亚松 张浩 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190 中国科学院研究生院北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190
功耗是当今处理器设计领域的重要问题之一.随着多核处理器的普及,片上缓存占有了越来越多的芯片面积和功耗.提出一种带有无效缓存路访问过滤机制的低功耗高速缓存结构来降低CPU的动态功耗,具体为,通过无效缓存块的预先检查(Pre-Invalid ... 详细信息
来源: 评论
渗透缓存命中率诱导的缓存区域动态分配机制研究
收藏 引用
软件导刊 2020年 第4期19卷 1-8页
作者: 李灵枝 胡九川 叶笑春 范东睿 严龙 北京交通大学计算机与信息技术学院 北京100044 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190
为解决计算机体系结构性能瓶颈——存储墙问题,在依赖硬件技术体系结构创新的同时,还需优化程序算法。传统算法主要以时间和空间复杂度作为衡量指标,未考虑计算机存储结构设置。延迟避免和延迟容忍机制是解决"存储墙"问题... 详细信息
来源: 评论
性能不对称多核处理器负载均衡调度研究
性能不对称多核处理器负载均衡调度研究
收藏 引用
2013全国高性能计算学术年会
作者: 徐远超 谭旭 范灵俊 张志敏 首都师范大学信息工程学院 北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190
在同等面积条件下,性能不对称异构多核处理器比同构多核处理器能具有更好的性能功耗比,实现这一目标的前提是操作系统要能够进行合理的任务分配和负载均衡.针对已有负载均衡调度算法存在的不足,基于现有Linux调度框架提出了一种全面的... 详细信息
来源: 评论
多线程共享缓存中冗余路访问消除机制研究
收藏 引用
高性能计算技术 2014年 第1期 20-24页
作者: 范灵俊 徐远超 唐士斌 杜坤 王达 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京 100190 中国科学院大学 北京 100049 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京 100190 首都师范大学信息工程学院 北京 100048 南京邮电大学宽带无线通信技术教育部工程研究中心 南京210003 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京 100190
近年来,功耗是处理器设计领域的关键问题之一.由于片上缓存占用了越来越多的CPU芯片面积和功耗,本文提出了一种针对多线程共享缓存通过过滤不必要缓存路(Way)访问来降低CPU动态功耗的缓存结构,称为Thread id Cache.通过设置和预先访问Th... 详细信息
来源: 评论
函数矩阵理论在HOL4中的形式化
收藏 引用
小型微型计算机系统 2013年 第3期34卷 654-658页
作者: 刘振科 施智平 关永 金声震 张杰 叶世伟 李晓娟 电子系统可靠性技术北京市重点实验室首都师范大学信息工程学院 北京100048 计算机体系结构国家重点实验室中国科学院计算技术研究所 北京100190 北京化工大学信息科学与技术学院 北京100029 中国科学院研究生院信息科学与工程学院 北京100049
定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 详细信息
来源: 评论