咨询与建议

限定检索结果

文献类型

  • 988 篇 期刊文献
  • 794 篇 会议
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 1,148 篇 工学
    • 722 篇 计算机科学与技术...
    • 492 篇 软件工程
    • 193 篇 电子科学与技术(可...
    • 166 篇 信息与通信工程
    • 105 篇 控制科学与工程
    • 94 篇 电气工程
    • 89 篇 核科学与技术
    • 86 篇 光学工程
    • 83 篇 生物工程
    • 79 篇 机械工程
    • 71 篇 动力工程及工程热...
    • 50 篇 材料科学与工程(可...
    • 43 篇 化学工程与技术
    • 38 篇 生物医学工程(可授...
    • 37 篇 仪器科学与技术
    • 33 篇 建筑学
    • 30 篇 土木工程
    • 22 篇 力学(可授工学、理...
  • 744 篇 理学
    • 427 篇 物理学
    • 247 篇 数学
    • 96 篇 生物学
    • 59 篇 统计学(可授理学、...
    • 57 篇 系统科学
    • 52 篇 化学
  • 196 篇 管理学
    • 147 篇 管理科学与工程(可...
    • 59 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 41 篇 医学
    • 34 篇 临床医学
    • 30 篇 基础医学(可授医学...
  • 21 篇 法学
  • 18 篇 经济学
  • 10 篇 农学
  • 6 篇 军事学
  • 4 篇 教育学
  • 3 篇 文学
  • 2 篇 哲学
  • 2 篇 艺术学

主题

  • 111 篇 hadron colliders
  • 75 篇 computer archite...
  • 41 篇 laboratories
  • 39 篇 hardware
  • 33 篇 computational mo...
  • 33 篇 delay
  • 31 篇 higgs bosons
  • 31 篇 training
  • 29 篇 w & z bosons
  • 29 篇 deep learning
  • 29 篇 circuit faults
  • 25 篇 semantics
  • 24 篇 benchmarking
  • 23 篇 bandwidth
  • 23 篇 wireless sensor ...
  • 23 篇 costs
  • 21 篇 quantum cryptogr...
  • 21 篇 energy efficienc...
  • 20 篇 neural networks
  • 20 篇 top quark

机构

  • 208 篇 state key labora...
  • 191 篇 yerevan physics ...
  • 162 篇 university of ch...
  • 151 篇 centro brasileir...
  • 150 篇 national and kap...
  • 150 篇 istanbul technic...
  • 149 篇 university of sp...
  • 148 篇 universidad iber...
  • 148 篇 indian institute...
  • 146 篇 brunel universit...
  • 146 篇 academy of scien...
  • 143 篇 charles universi...
  • 139 篇 università di to...
  • 136 篇 infn sezione di ...
  • 135 篇 imperial college...
  • 135 篇 university of de...
  • 134 篇 rwth aachen univ...
  • 134 篇 department of ph...
  • 133 篇 infn sezione di ...
  • 132 篇 indian institute...

作者

  • 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
  • 108 篇 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

语言

  • 1,685 篇 英文
  • 74 篇 中文
  • 28 篇 其他
检索条件"机构=State Key Laboratory of Computer Architecture~ Institute of Computing Technology"
1783 条 记 录,以下是1651-1660 订阅
排序:
A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net
A Model Analyzing Method for OWL-S Services Composition Base...
收藏 引用
International Symposium on Knowledge Acquisition and Modeling, KAM
作者: Shaoran Dong Zengzhi Li State key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China Institute of Computer System Architecture and Network Xi''an Jiaotong University Xi'an China
To analyze model of Web services composition, firstly analyze and abstract dataflow and control construct in OWL-S process to build high level Petri net model, then describe Petri net in Poses++ language, at last simu... 详细信息
来源: 评论
Particle Swarm Algorithm for the Quality of Service-Oriented Web Services Selection
Particle Swarm Algorithm for the Quality of Service-Oriented...
收藏 引用
International Symposium on Knowledge Acquisition and Modeling, KAM
作者: Hong Xia Zengzhi Li State key Laboratory of Networking and Switch Technology Beijing University of Posts and Telecommunications Beijing China Institute of Computer System Architecture and Network Xi''an Jiaotong University Xi'an Shaanxi China
Existing Web services composition technology, lack of services selecting. A particle swarm optimization algorithm based on the multi-objective optimization strategies was provided to address quality of services to cho... 详细信息
来源: 评论
Verification Web Services Composition Based on OWL-S
Verification Web Services Composition Based on OWL-S
收藏 引用
International Symposium on Knowledge Acquisition and Modeling, KAM
作者: Hong Xia Zengzhi Li State key Laboratory of Networking and Switch Technology Beijing University of Posts and Telecommunications Beijing China Institute of Computer System Architecture and Network Xi''an Jiaotong University Xi'an Shaanxi China
In order to ensure the correctness and reliability of Web services composition based on OWL-S, verify the interaction protocol of Web services. It is provided that three lay architecture. Composition service based on ... 详细信息
来源: 评论
Automated Design of Logic Circuits with a Increasable Evolution Approach
Automated Design of Logic Circuits with a Increasable Evolut...
收藏 引用
IEEE International Conference on High Performance computing and Communications (HPCC)
作者: Guoliang He Naixue Xiong Athanasios V. Vasilakos Yuanxiang Li Zhongzhi Shi State Key Laboratory of Software Engineering Wuhan University of China Wuhan China Key Laboratory of Intelligent Information Process Institute of Computing Technology Chinese Academy and Sciences Beijing China Department of Computer Science Georgia State University USA Department of Computer Science Saint Francis Xavier University Canada
Since the scalability of logic circuits is becoming larger and more complex, the auto-design is becoming more and more difficult. In order to improve automatic design and performance evaluation of logic circuits in ef... 详细信息
来源: 评论
Energy Efficient TDMA Sleep Scheduling in Wireless Sensor Networks
Energy Efficient TDMA Sleep Scheduling in Wireless Sensor Ne...
收藏 引用
IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies
作者: J. Ma W. Lou Y. Wu X.-Y. Li G. Chen Department of Computing Hong Kong Polytechnic University Hong Kong China Department of Computer Science Illinois Institute of Technology IL USA State Key Laboratory of Novel Software Technology Nanjing University Nanjing China
Sleep scheduling is a widely used mechanism in wireless sensor networks (WSNs) to reduce the energy consumption since it can save the energy wastage caused by the idle listening state. In a traditional sleep schedulin... 详细信息
来源: 评论
Design of a flip-flop circuit within digital logic analyzer based on FPGA
收藏 引用
Harbin Gongye Daxue Xuebao/Journal of Harbin institute of technology 2009年 第SUPPL. 1期41卷 58-62页
作者: Xiao, Ling-Li Xu, Ning Han, Yin-He School of Computer Science and Technology Wuhan University Of Technology Wuhan 430070 China System Architecture Key Laboratory Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China
With the wide application of EDA technique, the period for the development of electronic products has been shortened. That implements the software of the hardware design and reduces the costs. Based on the analysis of... 详细信息
来源: 评论
A parallel optimization model for massive data stream application
收藏 引用
Ruan Jian Xue Bao/Journal of Software 2009年 第SUPPL. 1期20卷 23-33页
作者: Sun, Xiao-Juan Sun, Ning-Hui Lei, Bin Key Laboratory of Technology in Geo-Spatial Information Processing and Application System Institute of Electronics The Chinese Academy of Sciences Beijing 100190 China Key Laboratory of Computer System and Architecture Institute of Computing Technology The Chinese Academy of Sciences Beijing 100190 China
While computing is entering a new phase in which CPU improvements are driven by the addition of multiple cores on a single chip, rather than higher frequencies. Parallel processing on these systems is in a primitive s... 详细信息
来源: 评论
Design-for-Testability Features and Test Implementation of a Giga Hertz General Purpose Microprocessor
收藏 引用
Journal of computer Science & technology 2008年 第6期23卷 1037-1046页
作者: 王达 胡瑜 李华伟 李晓维 Key Laboratory of Computer System and Architecture Institute of Computing TechnologyChinese Academy of Sciences Graduate University of Chinese Academy of Sciences
This paper describes the design-for-testability (DFT) features and low-cost testing solutions of a general purpose microprocessor. The optimized DFT features are presented in detail. A hybrid scan compression struct... 详细信息
来源: 评论
Register pressure sensitive instruction speculative scheduling technology
收藏 引用
Jisuanji Yanjiu yu Fazhan/computer Research and Development 2009年 第3期46卷 485-491页
作者: Huang, Lei Feng, Xiaobing Lü, Fang Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate University Chinese Academy of Sciences Beijing 100049 China
Speculation is an important method to overcome control flow constraints during instruction scheduling. On the one hand, speculation can exploit more instruction-level parallelism and improve performance. However, on t... 详细信息
来源: 评论
Tradeoff cache between latency and capacity in chip multiprocessors
收藏 引用
Jisuanji Yanjiu yu Fazhan/computer Research and Development 2009年 第1期46卷 167-175页
作者: Xiao, Junhua Feng, Zijun Zhang, Longbing Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate School Chinese Academy of Sciences Beijing 100049 China
Chip multiprocessors (CMP) have become the main stream microprocessor architecture. In CMP, the cache, especially the last level cache, is the critical part of its performance and becomes a focus of current research a... 详细信息
来源: 评论