检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

478 篇 会议
178 篇 期刊文献

馆藏范围

656 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

426 篇 工学
- 322 篇 计算机科学与技术...
- 233 篇 软件工程
- 78 篇 信息与通信工程
- 51 篇 电子科学与技术（可...
- 43 篇 控制科学与工程
- 32 篇 生物工程
- 29 篇 机械工程
- 27 篇 电气工程
- 20 篇 仪器科学与技术
- 15 篇 动力工程及工程热...
- 11 篇 材料科学与工程（可...
- 9 篇 环境科学与工程（可...
- 9 篇 网络空间安全
- 8 篇 土木工程
- 7 篇 农业工程
- 6 篇 力学（可授工学、理...
- 6 篇 建筑学
- 6 篇 化学工程与技术
165 篇 理学
- 103 篇 数学
- 33 篇 生物学
- 30 篇 系统科学
- 25 篇 物理学
- 24 篇 统计学（可授理学、...
- 10 篇 化学
113 篇 管理学
- 75 篇 管理科学与工程(可...
- 42 篇 图书情报与档案管...
- 21 篇 工商管理
14 篇 法学
- 12 篇 社会学
13 篇 经济学
- 13 篇 应用经济学
8 篇 农学
- 7 篇 作物学
4 篇 文学
3 篇 军事学
2 篇 教育学
2 篇 医学
1 篇 艺术学

主题

32 篇 computational mo...
24 篇 concurrent compu...
21 篇 distributed proc...
20 篇 fault tolerance
20 篇 benchmark testin...
18 篇 laboratories
16 篇 application soft...
15 篇 algorithm design...
15 篇 feature extracti...
15 篇 kernel
15 篇 distributed comp...
14 篇 computer archite...
14 篇 servers
14 篇 cloud computing
14 篇 training
13 篇 parallel process...
13 篇 deep learning
13 篇 protocols
13 篇 hardware
13 篇 delay

机构

94 篇 college of compu...
81 篇 national laborat...
78 篇 science and tech...
45 篇 national laborat...
39 篇 school of comput...
31 篇 national laborat...
22 篇 science and tech...
22 篇 national key lab...
19 篇 national key lab...
18 篇 national laborat...
16 篇 national laborat...
15 篇 school of comput...
14 篇 national laborat...
12 篇 national key lab...
11 篇 national laborat...
10 篇 national key lab...
9 篇 national laborat...
8 篇 national key lab...
7 篇 department of co...
7 篇 national laborat...

作者

26 篇 wang huaimin
24 篇 wang yijie
21 篇 dongsheng li
21 篇 yijie wang
20 篇 zhigang luo
20 篇 huaimin wang
18 篇 peng yuxing
17 篇 naiyang guan
17 篇 ji wang
15 篇 li dongsheng
14 篇 yuxing peng
14 篇 wang ji
14 篇 ding bo
14 篇 yin gang
12 篇 xiang zhang
12 篇 liu jie
12 篇 jie liu
11 篇 jia jia
11 篇 wang huai-min
10 篇 xuejun yang

语言

615 篇 英文
40 篇 中文
1 篇 其他

检索条件"机构=National Laboratory for Parallel and Distributed Processing School of Computer"

共 656 条记录，以下是601-610 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

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

ISBN: (纸本)9780769532622

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 and precision of both system level and detailed level FMEA. These dependence relations are depicted by the formal models abstracted from software design and implementation, and the FMEA processes for both structural and object-oriented software are proposed respectively. The initial result of case study shows the effectiveness of the approach. I 2008 IEEE.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781605580777

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 more emphasis on "high productivity" [1], rather than "high performance" as in the past. These new systems will not only meet the traditional requirements of computing performance, but also address the ongoing technical challenges in the current high-end computing domain regarding energy consumption, reliability, etc. For energy consumption, with the computer system scaling up, it increases dramatically [2]. High energy consumption means high maintenance cost and low system stability. For example, the peak energy consumption of the Earth Simulator and BlueGene/L is 18MW and 1.6MW respectively. For reliability, with the complexity of a computer system increasing, its meantimebetween-failure (MTBF) is becoming significantly shorter than what is required by many current high performance computing applications [3], such as BlueGene/L. Therefore, energy optimization techniques and fault tolerance techniques should be introduced to computer systems to achieve low energy consumption and high reliability. To improve the productivity of high performance computing systems, we need to find a proper way to measure it. Unfortunately, traditional measurement models can not evaluate the system productivity comprehensively and effectively [4]. To address this issue, this paper proposes an effective scalability metric for high performance computing systems based on Gustafson speedup law. The metric makes a good balance among runtime productivity factors including computing performance, energy consumption and reliability. The contribution of our work lies in the following three aspects. First, in order to measure the scalability of an energyconsumption optimized parallel program, we should consider not only whether the program computing performance is scalable, but also w

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

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 and other problems for spoken language MT, such as lots of omissions, idioms etc. Through experiments, we show that this approach obtains improvements over the baseline on a Chinese-English spoken language translation task. © IJCNLP 2008. All rights reserved.

关键词： Machine translation

来源：评论

学校读者我要写书评

暂无评论

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

ISBN: (纸本)9781595938350

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 underlying physical topology. This mechanism can cause a serious topology mismatch between the P2P overlay network and the underlying network. It greatly limits the performance gain from various search or routing techniques. In this paper, a distributed topology-aware overlays construction algorithm Taonet is proposed, in which the overlay network construction is based on the location information of underlying topology. The nodes that are close in the logical network are also close in terms of network latency. This leads to low latency stretch of the overlay network. This algorithm is scalable and distributed. Simulation results indicate that the latency of data location in these topology-aware P2P systems that are constructed with Taonet can be significantly decreased. Copyright © 2008 ACM.

关键词： Overlay networks

来源：评论

学校读者我要写书评

暂无评论

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 expressiveness. In this paper, we extend the LTL symbolic model checking algorithm to that of APSL, and present a tableau based APSL verification approach. Moreover, we show how to implement this algorithm via the BDD based symbolic approach.

关键词： Automata Logic Data structures Boolean functions Binary decision diagrams Software engineering Laboratories distributed processing Concurrent computing distributed computing

来源：评论

学校读者我要写书评

暂无评论

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 investigates this subject from a new angle. It roughly classifies the scientific programs into three classes based on their computation to memory access ratios. For each class, typical programs are programmed with StreamC/KernelC stream language and simulated based on the cycle-accurate simulator of Imagine. In-depth analysis is carried out for the performance data, with special attentions on the performance bottlenecks. The performance data obtained on Imagine are compared against data on two general-purpose x86 processors. The results show that programs with no DRAM accesses attain high floating point performance and efficiencies on Imagine. These programs' performance is only restricted by limited ILP (Instruction-Level parallelism) and load imbalance across ALUs. Programs with computation to memory operation ratios O(n) attain absolute floating point performance on Imagine comparable to that obtained on general-purpose processors, but their floating-point efficiencies are not satisfactory. It is essential to optimize these programs for high SRF (Stream Register File) and LRF (Local Register File) reuse and high ILP on Imagine. Programs with lower computation to memory operation ratios attain much lower floating-point performance and efficiencies on Imagine, compared to those obtained on x86 processors.

关键词： Image analysis Streaming media Analytical models computer architecture Computational modeling High performance computing Bandwidth Arithmetic Application software Scientific computing

来源：评论

学校读者我要写书评

暂无评论

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 and precision of both system level and detailed level FMEA. These dependence relations are depicted by the formal models abstracted from software design and implementation, and the FMEA processes for both structural and object-oriented software are proposed respectively. The initial result of case study shows the effectiveness of the approach.

关键词： Software Unified modeling language Safety Aircraft Object oriented modeling Atmospheric modeling Software reliability

来源：评论

学校读者我要写书评

暂无评论

Compiler-Assisted Application-Level Checkpointing for MPI Programs

Compiler-Assisted Application-Level Checkpointing for MPI Pr...

引用

IEEE International Conference on distributed Computing Systems

作者： Xuejun Yang Panfeng Wang Hongyi Fu Yunfei Du Zhiyuan Wang Jia Jia National Laboratory for Parallel & Distributed Processing College of Computer National University of Defense Technology Changsha Hunan China

ISBN: (纸本)9781424431748

Application-level checkpointing can decrease the overhead of fault tolerance by minimizing the amount of checkpoint data. However this technique requires the programmer to manually choose the critical data that should be saved. In this paper, we firstly propose a live-variable analysis method for MPI programs. Then, we provide an optimization method of data saving for application-level check-pointing based on the analysis method. Based on the theoretical foundation, we implement a source-to-source pre-compiler (ALEC) to automate application-level checkpointing. Finally, we evaluate the performance of five FOR-TRAN/MPI programs which are transformed and integrated checkpointing features by ALEC on a 512-CPU cluster system. The experimental results show that i)the application-level checkpointing based on live-variable analysis for MPI programs can efficiently reduce the amount of checkpoint data, thereby decrease the overhead of checkpoint and restart;ii)ALEC is capable of automating application-level checkpointing correctly and effectively.

关键词： checkpointing message passing mannose phosphate isomerase remote procedure calls artificial lung expanding compound optimization method Checkpoints computer personnel Fault tolerance application layer

来源：评论

学校读者我要写书评

暂无评论

Optimal Placement of Application-Level Checkpoints

Optimal Placement of Application-Level Checkpoints

引用

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Panfeng Wang Zhiyuan Wang Yunfei Du Xuejun Yang Haifang Zhou National Laboratory for Parallel and Distributed Processing College of Computer National University of Defense Technology Changsha Hunan China

One of the basic problems related to the efficient application-level checkpointing is the placement of checkpoints in the source codes. In this paper we discuss two common questions with a source-to-source precompiler ALEC: 1) if there are N checkpoints in the application's source code, how to pick M checkpoints out of them minimizing the total amount of checkpoint data? 2) if there are no checkpoint in the application's source code, how to insert a set of checkpoints minimizing the amount of checkpoint data? We reveal that these two questions can both be abstracted as a mathematic model which is similar to the 0-1 integer programming model, and the model can be solved using implicit enumeration method. The solving methods proposed in the paper have been implemented and integrated into ALEC. Experimental results show that the method is efficient.

关键词： Checkpointing Fault tolerance Fault tolerant systems Program processors computers Flow graphs Data structures

来源：评论

学校读者我要写书评

暂无评论

Static Analysis for Application-Level Checkpointing of MPI Programs

Static Analysis for Application-Level Checkpointing of MPI P...

引用

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Panfeng Wang Yunfei Du Hongyi Fu Xuejun Yang Haifang Zhou National Laboratory for Parallel and Distributed Processing College of Computer National University of Defense Technology Changsha Hunan China

Application-level checkpointing is a promising technology in the domain of large-scale scientific computing. The consistency of global checkpoint must be carefully guaranteed in order to correctly restore the computation. Usually, some complex coordinated protocols are employed to ensure the consistency of global checkpoint, which require logging orphan or in-transit messages during checkpointing. These protocols complicate the recovery of the computation and increase the checkpoint overhead due to logging message. In this paper, a new method which ensures the consistency of global checkpoint by static analysis is proposed. The method identifies the safe checkpointing regions in MPI programs, where the global checkpoint is always strongly consistent. All checkpoints are located in those safe checkpoint regions. During checkpointing, the method will not log any messages and introduce no extra overhead. The method was implemented and integrated into ALEC, which is a source-to-source precompiler for automating application-level checkpointing. The experimental results show that our method is effective.

关键词： Checkpointing Algorithms Flow graphs Protocols Fault tolerance Fault tolerant systems parallel machines

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共66页 << < 57 58 59 60 61 62 63 64 65 66 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：