咨询与建议

限定检索结果

文献类型

  • 633 篇 会议
  • 375 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 1,010 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 688 篇 工学
    • 506 篇 计算机科学与技术...
    • 306 篇 软件工程
    • 117 篇 电子科学与技术(可...
    • 101 篇 信息与通信工程
    • 78 篇 控制科学与工程
    • 56 篇 电气工程
    • 54 篇 机械工程
    • 48 篇 动力工程及工程热...
    • 46 篇 生物工程
    • 23 篇 光学工程
    • 23 篇 化学工程与技术
    • 23 篇 生物医学工程(可授...
    • 20 篇 材料科学与工程(可...
    • 18 篇 建筑学
    • 17 篇 网络空间安全
    • 16 篇 仪器科学与技术
    • 15 篇 交通运输工程
    • 15 篇 环境科学与工程(可...
    • 14 篇 土木工程
  • 253 篇 理学
    • 139 篇 数学
    • 52 篇 生物学
    • 45 篇 物理学
    • 41 篇 系统科学
    • 30 篇 统计学(可授理学、...
    • 27 篇 化学
  • 146 篇 管理学
    • 119 篇 管理科学与工程(可...
    • 38 篇 工商管理
    • 32 篇 图书情报与档案管...
  • 27 篇 医学
    • 24 篇 临床医学
    • 21 篇 基础医学(可授医学...
  • 11 篇 经济学
  • 7 篇 法学
  • 7 篇 农学
  • 2 篇 教育学
  • 2 篇 军事学
  • 1 篇 文学
  • 1 篇 艺术学

主题

  • 73 篇 computer archite...
  • 38 篇 laboratories
  • 35 篇 hardware
  • 33 篇 delay
  • 30 篇 circuit faults
  • 26 篇 computational mo...
  • 24 篇 bandwidth
  • 21 篇 costs
  • 20 篇 circuit testing
  • 20 篇 protocols
  • 20 篇 clocks
  • 19 篇 throughput
  • 19 篇 wireless sensor ...
  • 19 篇 training
  • 18 篇 optimization
  • 18 篇 microprocessors
  • 17 篇 benchmarking
  • 16 篇 routing
  • 16 篇 deep learning
  • 16 篇 fault tolerance

机构

  • 272 篇 state key labora...
  • 164 篇 university of ch...
  • 94 篇 key laboratory o...
  • 82 篇 key laboratory o...
  • 55 篇 institute of com...
  • 41 篇 graduate univers...
  • 33 篇 chinese academy ...
  • 31 篇 key laboratory o...
  • 27 篇 national enginee...
  • 26 篇 state key labora...
  • 24 篇 graduate univers...
  • 22 篇 key laboratory o...
  • 19 篇 school of comput...
  • 19 篇 loongson technol...
  • 19 篇 state key labora...
  • 17 篇 chinese academy ...
  • 17 篇 department of el...
  • 16 篇 key laboratory o...
  • 15 篇 school of comput...
  • 15 篇 graduate school ...

作者

  • 89 篇 xiaowei li
  • 48 篇 li xiaowei
  • 43 篇 huawei li
  • 33 篇 yu hu
  • 33 篇 yinhe han
  • 30 篇 zhou mengchu
  • 29 篇 wang lei
  • 29 篇 zhan jianfeng
  • 27 篇 fan dongrui
  • 25 篇 hu yu
  • 24 篇 dongrui fan
  • 24 篇 li huawei
  • 24 篇 sun ninghui
  • 22 篇 tan guangming
  • 22 篇 chen mingyu
  • 22 篇 ye xiaochun
  • 21 篇 gao wanling
  • 19 篇 shen linlin
  • 18 篇 han yinhe
  • 17 篇 zhang lei

语言

  • 929 篇 英文
  • 61 篇 中文
  • 22 篇 其他
检索条件"机构=Key Laboratory of Computer System and Architecture Institute of Computing Technology"
1010 条 记 录,以下是781-790 订阅
排序:
Fast path selection for testing of small delay defects considering path correlations
Fast path selection for testing of small delay defects consi...
收藏 引用
28th IEEE VLSI Test Symposium, VTS10
作者: He, Zijian Lv, Tao Li, Huawei Li, Xiaowei Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University of the Chinese Academy of Sciences Beijing China
Statistical timing models have been proposed to describe delay variations in very deep sub-micro process technologies, which have increasingly significant influence on circuit performance. Under a statistical timing m... 详细信息
来源: 评论
GVE: Godson-T verification engine for many-core architecture rapid prototyping and debugging
GVE: Godson-T verification engine for many-core architecture...
收藏 引用
2010 International Conference on Field-Programmable technology, FPT'10
作者: Lei, Zhengmeng Zhang, Lunkai Song, Fenglong Tang, Shibin Fan, Dongrui Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University Chinese Academy of Sciences Beijing China
In this paper, we present a Godson-T Verification Engine (GVE) to rapidly prototype and debug our Godson-T many-core processor design. GVE adopts the state-of-the-art hardware platform which contains 6 Xilinx Virtex-5... 详细信息
来源: 评论
On Selection of Testable Paths with Specified Lengths for Faster-Than-At-Speed Testing
On Selection of Testable Paths with Specified Lengths for Fa...
收藏 引用
2010 19th IEEE Asian Test Symposium(第19届IEEE亚洲测试技术学术会议 ATS 2010)
作者: Xiang Fu Xiaowei Li Huawei Li Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade
Faster than at-speed testing provides an effective way to detect small delay defects (SDDs). It requires test patterns to be delicately classified into groups according to the delay of sensitized paths. Each group of ... 详细信息
来源: 评论
An Efficient Algorithm for Finding a Universal Set of Testable Long Paths
An Efficient Algorithm for Finding a Universal Set of Testab...
收藏 引用
2010 19th IEEE Asian Test Symposium(第19届IEEE亚洲测试技术学术会议 ATS 2010)
作者: Zijian He Tao Lv Xiaowei Li Huawei Li Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academ Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academ
In this paper, we focus on generation of a universal path candidate set V that contains testable long paths for delay testing. Some strategies are presented to speed up the depth first search procedure of U generation... 详细信息
来源: 评论
Software-Based Self-Testing of Processors Using Expanded Instructions
Software-Based Self-Testing of Processors Using Expanded Ins...
收藏 引用
2010 19th IEEE Asian Test Symposium(第19届IEEE亚洲测试技术学术会议 ATS 2010)
作者: Ying Zhang Xiaowei Li Huawei Li Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade
In this paper, an automatic test instruction generation (ATIG) technique using expanded instructions is presented for software-based selftesting (SBST) of processors. First, mappings between expanded instructions and ... 详细信息
来源: 评论
On-the-fly Reduction of Stimuli for Functional Verification
On-the-fly Reduction of Stimuli for Functional Verification
收藏 引用
2010 19th IEEE Asian Test Symposium(第19届IEEE亚洲测试技术学术会议 ATS 2010)
作者: Qi Guo Weiwu Hu Tianshi Chen Haihua Shen Yunji Chen Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade
As a primary method for functional verification of microprocessors, simulation-based verification has received extensive studies over the last decade. Most investigations have been dedicated to the generation of stimu... 详细信息
来源: 评论
Testable critical path selection considering process variation
Testable critical path selection considering process variati...
收藏 引用
作者: Fu, Xiang Li, Huawei Li, Xiaowei Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academic of Science Beijing 100190 China Graduate University of Chinese Academic of Sciences Beijing 100039 China
Critical path selection is very important in delay testing. Critical paths found by conventional static timing analysis (STA) tools are inadequate to represent the real timing of the circuit, since neither the testabi... 详细信息
来源: 评论
Outlier detection for learning-based optimizing compiler
Outlier detection for learning-based optimizing compiler
收藏 引用
International Conference on Frontier of computer Science and technology
作者: Long, Shun Zhu, Weiheng Department Ofcomputer Science JiNan University Guangzhou China Key-Laboratory Ofcomputer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China
Modern compilers use machine learning to find from their prior experience useful heuristics for new programs encountered in order to accelerate the optimization process. However, prior experience might not be applicab... 详细信息
来源: 评论
VMGuard: An integrity monitoring system for management virtual machines
VMGuard: An integrity monitoring system for management virtu...
收藏 引用
16th IEEE International Conference on Parallel and Distributed systems, ICPADS 2010
作者: Fang, Haifeng Zhao, Yiqiang Zang, Hongyong Huang, H. Howie Song, Ying Sun, Yuzhong Liu, Zhiyong Graduate University of Chinese Academy of Sciences Beijing China Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences China George Washington University WA United States
A cloud computing provider can dynamically allocate virtual machines (VM) based on the needs of the customers, while maintaining the privileged access to the Management Virtual Machine that directly manages the hardwa... 详细信息
来源: 评论
Formula-Oriented Compositional Minimization in Model Checking
Formula-Oriented Compositional Minimization in Model Checkin...
收藏 引用
2010 19th IEEE Asian Test Symposium(第19届IEEE亚洲测试技术学术会议 ATS 2010)
作者: Bowen Chen Haihua Shen Wenhui Zhang Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Acade State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijin
This paper presents a new approach to reduce finite state machines with respect to a CTL formula to alleviate state explosion problem. Reduction is achieved by removing parts useless to the formula of original machine... 详细信息
来源: 评论