咨询与建议

限定检索结果

文献类型

  • 1,510 篇 会议
  • 1,294 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 2,806 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,862 篇 工学
    • 913 篇 计算机科学与技术...
    • 648 篇 软件工程
    • 357 篇 电子科学与技术(可...
    • 274 篇 电气工程
    • 268 篇 控制科学与工程
    • 248 篇 信息与通信工程
    • 178 篇 动力工程及工程热...
    • 176 篇 机械工程
    • 145 篇 光学工程
    • 138 篇 仪器科学与技术
    • 115 篇 生物工程
    • 108 篇 材料科学与工程(可...
    • 80 篇 化学工程与技术
    • 76 篇 核科学与技术
    • 64 篇 土木工程
    • 62 篇 交通运输工程
    • 54 篇 力学(可授工学、理...
    • 52 篇 生物医学工程(可授...
    • 50 篇 建筑学
    • 45 篇 环境科学与工程(可...
  • 946 篇 理学
    • 400 篇 物理学
    • 379 篇 数学
    • 129 篇 生物学
    • 129 篇 系统科学
    • 98 篇 统计学(可授理学、...
    • 86 篇 化学
  • 331 篇 管理学
    • 271 篇 管理科学与工程(可...
    • 89 篇 工商管理
    • 60 篇 图书情报与档案管...
  • 58 篇 医学
    • 50 篇 临床医学
  • 34 篇 经济学
  • 33 篇 农学
  • 26 篇 法学
  • 8 篇 军事学
  • 4 篇 教育学
  • 2 篇 艺术学
  • 1 篇 文学

主题

  • 107 篇 computer archite...
  • 106 篇 hadron colliders
  • 70 篇 laboratories
  • 63 篇 hardware
  • 50 篇 optimization
  • 47 篇 delay
  • 45 篇 computational mo...
  • 44 篇 bandwidth
  • 43 篇 computer science
  • 37 篇 circuit faults
  • 35 篇 deep learning
  • 33 篇 benchmark testin...
  • 32 篇 wireless sensor ...
  • 32 篇 clocks
  • 30 篇 routing
  • 29 篇 neural networks
  • 28 篇 w & z bosons
  • 28 篇 algorithm design...
  • 28 篇 protocols
  • 28 篇 energy efficienc...

机构

  • 221 篇 state key labora...
  • 214 篇 university of ch...
  • 152 篇 centro brasileir...
  • 151 篇 national and kap...
  • 151 篇 yerevan physics ...
  • 150 篇 istanbul technic...
  • 149 篇 universidad iber...
  • 149 篇 university of sp...
  • 148 篇 charles universi...
  • 147 篇 indian institute...
  • 146 篇 brunel universit...
  • 146 篇 academy of scien...
  • 146 篇 department of ph...
  • 145 篇 university of de...
  • 144 篇 imperial college...
  • 143 篇 rwth aachen univ...
  • 142 篇 indian institute...
  • 141 篇 institute for nu...
  • 139 篇 università di to...
  • 138 篇 zhejiang univers...

作者

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

语言

  • 2,606 篇 英文
  • 135 篇 中文
  • 62 篇 其他
检索条件"机构=State Key Laboratory of Computer System and Architecture"
2806 条 记 录,以下是401-410 订阅
排序:
Protein Structure Prediction Based on a Domain Clustering Database
Protein Structure Prediction Based on a Domain Clustering Da...
收藏 引用
The 1st International Conference on Bioinformatics and Biomedical Engineering(iCBBE 2007)(首届IEEE生物信息与生物医学工程国际会议)
作者: Zhaoyun Ma Lin Xu Zhiyong Liu Fa Zhang Shengzhong Feng Key Laboratory of Computer System and Architecture Chinese Academy of Sciences Institute of Comput Key Laboratory of Computer System and Architecture Chinese Academy of Sciences Institute of Comput
Homology modeling, as a successful protein structure prediction method, has two major deficiencies, I.e., the lack of the templates (known structures), and the accuracy of alignment between the query (unknown structur... 详细信息
来源: 评论
Fault Tolerance Mechanism in Chip Many-Core Processors
Fault Tolerance Mechanism in Chip Many-Core Processors
收藏 引用
第十二届全国容错计算学术会议
作者: ZHANG Lei HAN Yinhe LI Huawei LI Xiaowei Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy
As semiconductor technology advances, there will be billions of transistors on a single chip. Chip many-core processors are emerging to take advantage of these greater transistor densities to deliver greater performan... 详细信息
来源: 评论
Building Agile Workflow Microservice system for HPC Applications Based on Fast-start OSv  27
Building Agile Workflow Microservice System for HPC Applicat...
收藏 引用
27th IEEE International Conference on Parallel and Distributed systems, ICPADS 2021
作者: Hu, Qiang Ma, Lixian Shao, En Tan, Guangming Institute of Computing Technology CAS State Key Laboratory of Computer Architecture Beijing China University of Chinese Academy of Science Beijing China
The advances of containers have significantly promoted the development of microservice architecture. This architecture splits a monolithic application into multiple independent components and the container orchestrato... 详细信息
来源: 评论
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 ... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Online Distributed Fault Detection of Sensor Measurements
Online Distributed Fault Detection of Sensor Measurements
收藏 引用
第十二届全国容错计算学术会议
作者: GAO Jianliang XU Yongjun LI Xiaowei Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy
In wireless sensor networks (WSNs), a faulty sensor may produce incorrect data and transmit them to the other sensors. This would consume the limited energy and bandwidth of WSNs. Furthermore, the base station may mak... 详细信息
来源: 评论
Understanding the behavior of Spark workloads from Linux kernel parameters perspective
Understanding the behavior of Spark workloads from Linux ker...
收藏 引用
ACM/IFIP/USENIX International Middleware Conference, Middleware Posters and Demos 2016
作者: Wang, Li Xu, Tianni Wang, Jing Zhang, Weigong Sui, Xiufeng Bao, Yungang College of Information Engineering Capital Normal University Beijing China State Key Laboratory of Computer Architecture ICT CAS Beijing China
Despite a number of innovative computer systems with high capacity memory have been built, the design principles behind an operating system kernel have remained unchanged for decades. We argue that kernel parameters i... 详细信息
来源: 评论
HMTT: A hybrid hardware/software tracing system for bridging the DRAM access trace's semantic gap
HMTT: A hybrid hardware/software tracing system for bridging...
收藏 引用
作者: Huang, Yongbing Chen, Licheng Cui, Zehan Ruan, Yuan Bao, Yungang Chen, Mingyu Sun, Ninghui State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences China University of Chinese Academy of Sciences China
DRAM access traces (i.e., off-chip memory references) can be extremely valuable for the design of memory subsystems and performance tuning of software. Hardware snooping on the off-chip memory interface is an effectiv... 详细信息
来源: 评论
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-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... 详细信息
来源: 评论