咨询与建议

限定检索结果

文献类型

  • 1,848 篇 期刊文献
  • 1,672 篇 会议
  • 3 册 图书

馆藏范围

  • 3,523 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,331 篇 工学
    • 1,597 篇 计算机科学与技术...
    • 1,189 篇 软件工程
    • 436 篇 信息与通信工程
    • 273 篇 电子科学与技术(可...
    • 246 篇 控制科学与工程
    • 235 篇 电气工程
    • 230 篇 生物工程
    • 184 篇 光学工程
    • 154 篇 机械工程
    • 121 篇 生物医学工程(可授...
    • 98 篇 动力工程及工程热...
    • 92 篇 化学工程与技术
    • 88 篇 核科学与技术
    • 79 篇 仪器科学与技术
    • 78 篇 材料科学与工程(可...
    • 68 篇 建筑学
    • 67 篇 土木工程
    • 56 篇 交通运输工程
    • 52 篇 网络空间安全
  • 1,374 篇 理学
    • 585 篇 数学
    • 582 篇 物理学
    • 261 篇 生物学
    • 157 篇 统计学(可授理学、...
    • 105 篇 化学
    • 102 篇 系统科学
  • 527 篇 管理学
    • 324 篇 管理科学与工程(可...
    • 224 篇 图书情报与档案管...
    • 88 篇 工商管理
  • 112 篇 医学
    • 95 篇 临床医学
    • 84 篇 基础医学(可授医学...
  • 56 篇 法学
  • 30 篇 农学
  • 25 篇 经济学
  • 21 篇 教育学
  • 10 篇 军事学
  • 10 篇 艺术学
  • 6 篇 文学
  • 5 篇 哲学
  • 1 篇 历史学

主题

  • 111 篇 hadron colliders
  • 93 篇 computer archite...
  • 86 篇 training
  • 84 篇 feature extracti...
  • 82 篇 semantics
  • 80 篇 computational mo...
  • 64 篇 deep learning
  • 58 篇 laboratories
  • 48 篇 accuracy
  • 46 篇 hardware
  • 44 篇 data models
  • 41 篇 neural networks
  • 41 篇 machine learning
  • 36 篇 delay
  • 35 篇 convolution
  • 35 篇 optimization
  • 32 篇 predictive model...
  • 32 篇 costs
  • 31 篇 higgs bosons
  • 30 篇 circuit faults

机构

  • 244 篇 university of ch...
  • 207 篇 state key labora...
  • 189 篇 yerevan physics ...
  • 149 篇 centro brasileir...
  • 148 篇 national and kap...
  • 148 篇 istanbul technic...
  • 147 篇 university of sp...
  • 146 篇 universidad iber...
  • 145 篇 indian institute...
  • 144 篇 brunel universit...
  • 144 篇 academy of scien...
  • 140 篇 charles universi...
  • 139 篇 key laboratory o...
  • 137 篇 università di to...
  • 134 篇 infn sezione di ...
  • 130 篇 imperial college...
  • 130 篇 rwth aachen univ...
  • 130 篇 university of de...
  • 128 篇 infn sezione di ...
  • 128 篇 department of ph...

作者

  • 112 篇 g. tonelli
  • 112 篇 d. barney
  • 112 篇 l. valencia palo...
  • 112 篇 t. liu
  • 112 篇 c. hensel
  • 112 篇 a. garcia-bellid...
  • 111 篇 a. babaev
  • 111 篇 a. steen
  • 111 篇 n. cartiglia
  • 106 篇 v. karjavine
  • 105 篇 n. colino
  • 105 篇 f. moortgat
  • 104 篇 b. clerbaux
  • 104 篇 g. sultanov
  • 103 篇 m. a. ciocci
  • 103 篇 k. lamichhane
  • 103 篇 s. maselli
  • 102 篇 e. migliore
  • 102 篇 p. avery
  • 102 篇 l. silvestris

语言

  • 2,900 篇 英文
  • 532 篇 其他
  • 100 篇 中文
检索条件"机构=Key Laboratory of Computer Architecture Institute of Computing Technology"
3523 条 记 录,以下是3151-3160 订阅
排序:
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... 详细信息
来源: 评论
GenerOS: An asymmetric operating system kernel for multi-core systems
GenerOS: An asymmetric operating system kernel for multi-cor...
收藏 引用
24th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2010
作者: Yuan, Qingbo Zhao, Jianbo Chen, Mingyu Sun, Ninghui Key Laboratory of Computer System and Architecture Institute of Compute Technology Chinese Academy of Sciences Beijing China
Due to complex abstractions implemented over shared data structures protected by locks, conventional symmetric multithreaded operating system kernel such as Linux is hard to achieve high scalability on the emerging mu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Improving QoS of web service composition by dynamic configuration
收藏 引用
Information technology Journal 2010年 第3期9卷 422-429页
作者: Yang, Huaizhou Li, Zengzhi Institute of Computer Architecture and Networks Xi'an Jiaotong University Xi'an 710049 China State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 China
In order to achieve self-adaptation to run-time environment and self-management of Web service composition, an extended hierarchical Petri net is presented to reflect the feasible configuration scheme of composite ser... 详细信息
来源: 评论
Flexible, plug-and-play network middleware against network instability with R2-OSGi
Flexible, plug-and-play network middleware against network i...
收藏 引用
5th International Conference on Pervasive computing and Applications, ICPCA10
作者: Liu, Jinzhao Lv, Yongqiang Zhang, Lei Wang, Naizheng Fu, Qiang Wang, Dan Chen, Yu Department of Computing Beijing University of Technology China Research Institute of Information Technology Key Laboratory of Pervasive Computing Tsinghua University China Department of Computer Science and Technology Tsinghua University China
As an emerging portable service platform, OSGi (Open Service Gateway Initiative) is taking a more and more important role in modern Service Oriented architectures (SOA). In order to improve the capability of using dis... 详细信息
来源: 评论