咨询与建议

限定检索结果

文献类型

  • 389 篇 会议
  • 137 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 328 篇 工学
    • 251 篇 计算机科学与技术...
    • 187 篇 软件工程
    • 65 篇 信息与通信工程
    • 35 篇 电子科学与技术(可...
    • 33 篇 控制科学与工程
    • 25 篇 电气工程
    • 21 篇 机械工程
    • 20 篇 生物工程
    • 15 篇 仪器科学与技术
    • 15 篇 动力工程及工程热...
    • 8 篇 环境科学与工程(可...
    • 7 篇 农业工程
    • 6 篇 土木工程
    • 6 篇 化学工程与技术
    • 6 篇 网络空间安全
    • 5 篇 力学(可授工学、理...
    • 5 篇 材料科学与工程(可...
    • 5 篇 冶金工程
  • 137 篇 理学
    • 91 篇 数学
    • 27 篇 系统科学
    • 21 篇 生物学
    • 18 篇 物理学
    • 18 篇 统计学(可授理学、...
    • 8 篇 化学
  • 85 篇 管理学
    • 52 篇 管理科学与工程(可...
    • 36 篇 图书情报与档案管...
    • 15 篇 工商管理
  • 11 篇 经济学
    • 11 篇 应用经济学
  • 10 篇 法学
    • 9 篇 社会学
  • 8 篇 农学
    • 7 篇 作物学
  • 3 篇 文学
  • 3 篇 医学
  • 3 篇 军事学
  • 1 篇 教育学
  • 1 篇 艺术学

主题

  • 29 篇 computational mo...
  • 18 篇 benchmark testin...
  • 18 篇 distributed proc...
  • 17 篇 concurrent compu...
  • 17 篇 laboratories
  • 15 篇 algorithm design...
  • 14 篇 fault tolerance
  • 14 篇 computer archite...
  • 13 篇 deep learning
  • 13 篇 feature extracti...
  • 13 篇 kernel
  • 13 篇 training
  • 12 篇 computer science
  • 12 篇 parallel process...
  • 12 篇 cloud computing
  • 11 篇 application soft...
  • 11 篇 graphics process...
  • 11 篇 servers
  • 11 篇 semantics
  • 11 篇 hardware

机构

  • 81 篇 national laborat...
  • 78 篇 science and tech...
  • 52 篇 college of compu...
  • 35 篇 school of comput...
  • 25 篇 national laborat...
  • 22 篇 science and tech...
  • 22 篇 national key lab...
  • 20 篇 national laborat...
  • 16 篇 national laborat...
  • 15 篇 school of comput...
  • 14 篇 science and tech...
  • 14 篇 national laborat...
  • 12 篇 national key lab...
  • 9 篇 national key lab...
  • 8 篇 national key lab...
  • 7 篇 department of co...
  • 7 篇 national laborat...
  • 7 篇 college of compu...
  • 6 篇 college of compu...
  • 6 篇 college of compu...

作者

  • 20 篇 yijie wang
  • 19 篇 wang yijie
  • 15 篇 zhigang luo
  • 15 篇 peng yuxing
  • 15 篇 wang huaimin
  • 14 篇 ji wang
  • 13 篇 naiyang guan
  • 12 篇 dongsheng li
  • 12 篇 liu jie
  • 12 篇 huaimin wang
  • 12 篇 jie liu
  • 11 篇 wang ji
  • 10 篇 wang huai-min
  • 10 篇 fu yongquan
  • 9 篇 yuxing peng
  • 9 篇 peichang shi
  • 9 篇 guibin wang
  • 9 篇 xuhui huang
  • 9 篇 xu xinhai
  • 9 篇 kai lu

语言

  • 495 篇 英文
  • 30 篇 中文
  • 1 篇 其他
检索条件"机构=Parallel and Distributed Processing Laboratory School of Computer Science and Technology"
526 条 记 录,以下是491-500 订阅
排序:
Automating software FMEA via formal analysis of dependence relations
Automating software FMEA via formal analysis of dependence r...
收藏 引用
32nd Annual IEEE International computer Software and Applications Conference, COMPSAC 2008
作者: Dong, Wei Wang, Ji Zhao, Changzhi Zhang, Xian Tian, Jie School of Computer National University of Defense Technology China National Laboratory for Parallel and Distributed Processing China
The paper presents the ongoing work of studying FMEA method for embedded safety critical software via formal analysis of various dependence relations among software elements, which can fairly improve the automation an... 详细信息
来源: 评论
An example-based decoder for spoken language machine translation  6
An example-based decoder for spoken language machine transla...
收藏 引用
6th SIGHAN Workshop on Chinese Language processing, SIGHAN 2008
作者: Li, Zhou-Jun Chao, Wen-Han Chen, Yue-Xin National Laboratory for Parallel and Distributed Processing Changsha China School of Computer Science and Engineering Beihang University China
In this paper, we propose an example-based decoder for a statistical machine translation (SMT) system, which is used for spoken language machine translation. In this way, it will help to solve the re-ordering problem ... 详细信息
来源: 评论
Effective runtime scalability metric to measure productivity in high performance computing systems  08
Effective runtime scalability metric to measure productivity...
收藏 引用
2008 Conference on Computing Frontiers, CF'08
作者: Du, Jing Yang, Xuejun Wang, Zhiyuan National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha Hunan 410073 China
Current high performance computing systems all rely on parallel processing techniques to achieve high performance. With the parallel computer systems scaling up, the new generation of high performance computers puts m... 详细信息
来源: 评论
A distributed topology-aware overlays construction algorithm  08
A distributed topology-aware overlays construction algorithm
收藏 引用
15th ACM Mardi Gras Conference, MG '08
作者: Zhang, Xiaoming Li, Zhoujun Wang, Yijie School of Computer Science and Engineering Beihang University Beijing 100083 China National Laboratory for Parallel and Distributed Processing NUDT Changsha 410073 China
Peer-to-Peer (P2P) computing systems are rapidly growing in importance as the medium of choice for the mass storage. Peers in the most P2P systems randomly choose logical neighbors without any knowledge about underlyi... 详细信息
来源: 评论
Modelling with relational calculus of object and component systems - RCOS
Modelling with relational calculus of object and component s...
收藏 引用
作者: Chen, Zhenbang Hannousse, Abdel Hakim Van Hung, Dang Knoll, Istvan Li, Xiaoshan Liu, Zhiming Liu, Yang Nan, Qu Okika, Joseph C. Ravn, Anders P. Stolz, Volker Yang, Lu Zhan, Naijun International Institute for Software Technology United Nations University China Faculty of Science and Technology University of Macau Department of Computer Science Aalborg University Denmark Lab. of Computer Science Institute of Software CAS China National Laboratory for Parallel and Distributed Processing China
This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus of Object and Component Systems (rCOS). We give a... 详细信息
来源: 评论
Symbolic Model Checking APSL
Symbolic Model Checking APSL
收藏 引用
第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)
作者: Wanwei Liu Ji Wang Huowang Chen Xiaodong Ma National Laboratory for Parallel and Distributed Processing School of computer National University of Defense Technology China
PSL is a kind of temporal logic which uses SEREs as additional formula constructs. We present a variant of PSL, namely APSL, which replaces SEREs with finite automata. APSL and PSL are of the exactly same expressivene... 详细信息
来源: 评论
Analyzing the Efficiency and Bottleneck of Scientific Programs on Imagine Stream Processor by Simulation
Analyzing the Efficiency and Bottleneck of Scientific Progra...
收藏 引用
International Symposium on parallel and distributed processing with Applications, ISPA
作者: Yonggang Che Chuanfu Xu Zhenghua Wang National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha China
Imagine stream processor has shown high performance and efficiency for media applications. Its potential for scientific applications is of great interest to the high performance computing community. This paper investi... 详细信息
来源: 评论
Automating Software FMEA via Formal Analysis of Dependence Relations
Automating Software FMEA via Formal Analysis of Dependence R...
收藏 引用
IEEE Annual International computer Software and Applications Conference (COMPSAC)
作者: Wei Dong Ji Wang Changzhi Zhao Xian Zhang Jie Tian School of Computer National University of Defense Technology China National Laboratory for Parallel and Distributed Processing China
The paper presents the ongoing work of studying FMEA method for embedded safely critical software via formal analysis of various dependence relations among software elements, which can fairly improve the automation an... 详细信息
来源: 评论
Flexible Routing in Grouped DHTs
Flexible Routing in Grouped DHTs
收藏 引用
International Conference on Peer-to-Peer Computing
作者: Yiming Zhang Dongsheng Li Lei Chen Xicheng Lu National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha China Department of Computer Science Hong Kong University of Science and Technology Hong Kong China
In most DHTs proposed so far, all nodes are assumed to be homogeneous, and all messages are routed using a common algorithm. In practice, however, nodes in large-scale systems might be heterogeneous with respect to th... 详细信息
来源: 评论
Optimistic data consistency maintenance method based on data dependence
收藏 引用
Jisuanji Xuebao/Chinese Journal of computers 2008年 第5期31卷 741-753页
作者: Zhou, Jing Wang, Yi-Jie Li, Si-Kun National Key Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha 410073 China
This paper proposes an optimistic data consistency method according to the question about data dependence in data consistency. In the method, data object is partitioned into data blocks by fixed size as the basic unit... 详细信息
来源: 评论