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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

846 篇 会议
294 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

728 篇 工学
- 573 篇 计算机科学与技术...
- 419 篇 软件工程
- 130 篇 信息与通信工程
- 81 篇 电子科学与技术（可...
- 76 篇 控制科学与工程
- 55 篇 生物工程
- 54 篇 机械工程
- 41 篇 电气工程
- 25 篇 动力工程及工程热...
- 24 篇 仪器科学与技术
- 21 篇 化学工程与技术
- 18 篇 材料科学与工程（可...
- 15 篇 网络空间安全
- 14 篇 土木工程
- 12 篇 力学（可授工学、理...
- 12 篇 建筑学
- 12 篇 农业工程
- 11 篇 交通运输工程
- 11 篇 环境科学与工程（可...
279 篇 理学
- 176 篇 数学
- 58 篇 生物学
- 47 篇 物理学
- 39 篇 统计学（可授理学、...
- 38 篇 系统科学
- 22 篇 化学
185 篇 管理学
- 124 篇 管理科学与工程(可...
- 64 篇 图书情报与档案管...
- 37 篇 工商管理
18 篇 法学
- 15 篇 社会学
17 篇 经济学
- 17 篇 应用经济学
13 篇 农学
9 篇 教育学
7 篇 医学
3 篇 文学
3 篇 军事学
2 篇 艺术学

主题

46 篇 distributed proc...
44 篇 laboratories
42 篇 computational mo...
31 篇 kernel
29 篇 algorithm design...
28 篇 concurrent compu...
28 篇 computer archite...
27 篇 graphics process...
27 篇 benchmark testin...
25 篇 fault tolerance
25 篇 hardware
24 篇 feature extracti...
23 篇 throughput
23 篇 semantics
22 篇 servers
22 篇 cloud computing
21 篇 parallel process...
21 篇 protocols
21 篇 training
20 篇 deep learning

机构

169 篇 national laborat...
134 篇 science and tech...
103 篇 college of compu...
88 篇 national laborat...
81 篇 national laborat...
38 篇 school of comput...
38 篇 national laborat...
29 篇 national key lab...
22 篇 science and tech...
22 篇 national key lab...
21 篇 national key lab...
18 篇 national laborat...
16 篇 national laborat...
16 篇 laboratory of di...
15 篇 national univers...
14 篇 national laborat...
13 篇 national key lab...
13 篇 school of comput...
12 篇 national laborat...
12 篇 national key lab...

作者

44 篇 yong dou
42 篇 wang huaimin
39 篇 li dongsheng
38 篇 dou yong
37 篇 liu jie
37 篇 wang ji
36 篇 dongsheng li
36 篇 huaimin wang
35 篇 ji wang
31 篇 jie liu
30 篇 yijie wang
29 篇 xiaodong wang
29 篇 wang yijie
26 篇 peng yuxing
26 篇 yin gang
25 篇 yuxing peng
25 篇 gang yin
22 篇 tao wang
21 篇 zhigang luo
21 篇 xicheng lu

语言

1,070 篇 英文
63 篇 中文
10 篇 其他

检索条件"机构=National Key Laboratory for Parallel and Distributed Processing"

共 1143 条记录，以下是1091-1100 订阅

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

详细简洁

排序：

An optimized method for automatic test oracle generation from real-time specification

An optimized method for automatic test oracle generation fro...

引用

10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005

作者： Wang, Xin Qi, Zhi-Chang Li, Shuhao National Laboratory for Parallel and Distributed Processing Changsha 410073 China

Test oracles are widely used to verify whether a system under test is running as desired. Since the correctness of real-time systems depends on the logical results of the computation and the time when results are produced at the same time, an optimized model checking-based method for test oracles generation is proposed to check if the system traces satisfy their real-time specifications at run time. Inspired by the idea of real-time model checking, the test oracles can be automatically generated from their specifications in the real-time logic MITL[0,d] in a simpler way and modelled by a variant of the Timed Automata. Assertions are chosen to acquire the traces of real-time systems. A case study is presented to demonstrate the usefulness of the method proposed in this paper. © 2005 IEEE.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Uml based statistical testing acceleration of distributed safety-critical software

引用

2nd International Symposium on parallel and distributed processing and Applications, ISPA 2004

作者： Yan, Jiong Wang, Ji Chen, Huo-Wang National Laboratory for Parallel and Distributed Processing Changsha China

ISBN: (纸本)9783540241287

It is necessary to assess the reliability of distributed safety-critical systems to a high degree of confidence before they are deployed in the field. However, distributed safety-critical software systems often include some rarely executed critical functions that are often inadequately tested in statistical testing based reliability estimation. This paper presents a method that can accelerate statistical testing of distributed safety-critical software. The method starts with the derivation of scenario usage diagram model (SUD) from UML diagrams annotated with usage related attributes and reliability attributes. Then the statistical testing accelerating method based on importance sampling is presented. When both the critical scenarios and the entire software are adequately tested, the method can still compute the unbiased software reliability from the test results with much less test cases. Thus, the statistical testing cost of distributed safety-critical software can be reduced effectively. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Software reliability

来源：评论

学校读者我要写书评

暂无评论

Chinese named rntity recognition with a hybrid-statistical model

Chinese named rntity recognition with a hybrid-statistical m...

引用

7th Asia-Pacific Web Conference on Web Technologies Research and Development - APWeb 2005

作者： Zhang, Xiaoyan Wang, Ting Tang, Jintao Zhou, Huiping Chen, Huowang National Laboratory for Parallel and Distributed Processing Changsha Hunan 410073 China

With the rapid growth of the available information on the Internet, it is more difficult for us to find the relevant information quickly on the Web. Named Entity Recognition (NER), one of the key techniques in some web information processing tools such as information retrieval and information extraction, has been paid more and more attention. In this paper we address the problem of Chinese NER using a hybrid-statistical model. This study is concentrated on entity names (personal names, location names and organization names), temporal expressions (dates and times) and number expressions. The method is characterized as follows: firstly, NER and Part-of-Speech tagging have been integrated into a unified framework;secondly, it combines Hidden Markov Model (HMM) with Maximum Entropy Model (MEM) by taking MEM as a sub-model invoked in Viterbi algorithm;thirdly, the Part-of-Speech information of the context has been used in MEM. The experiment shows that the hybrid-statistical model could achieve preferable results of Chinese NER, in which the F1 value ranges from 74% to 92% for all kinds of named entities on an open-test data. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

A prediction-based parallel replication algorithm in distributed storage system

引用

4th International Conference on Grid and Cooperative Computing - GCC 2005

作者： Wang, Yijie Zhang, Xiaoming National Laboratory for Parallel and Distributed Processing Institute of Computer National University of Defense Technology Changsha 410073 China

ISBN: (纸本)3540305106

Data replication can be used to reduce bandwidth consumption and access latency in the distributed system where users require remote access to large data objects. In this paper, according to the intrinsic characteristic of distributed storage system, the prediction-based parallel replication algorithm PPR is proposed. In the PPR, according to the characteristic of spatial data, the data that will be accessed is predicted, then the data is prefetched;during replication, according to the network state, several replicas of a data object are selected, which are of the least access cost;the different parts of the data object are transferred from these replicas, and they are used to make a new replica. The results of performance evaluation show that the PPR can utilize the network bandwidth efficiently, provide high data replication efficiency and substantially better access efficiency, and can avoid the interference between different replications efficiently. © Springer-Verlag Berlin Heidelberg 2005.

关键词： distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Modeling organization structure of multi-agent system

Modeling organization structure of multi-agent system

引用

2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology

作者： Xinjun, Mao Ji, Wang Jiajia, Chen National Laboratory for Parallel and Distributed Processing 300 Lichen Road Changsha Hunan Province 410073 China

ISBN: (纸本)0769524168

Organization concepts can act as abstractions to analyze and design multi-agent system (MAS). Organizational structure is such an abstraction used to describe the overall architecture of MAS and therefore to design AOSE methodology. The paper investigates how to model and analyze the organization structure in different development phases and abstract levels when developing MAS. A visual modeling language and a development process are presented. Various structural relationships are identified and defined. An information system example is also illustrated. © 2005 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of data value prediction schemes

Performance evaluation of data value prediction schemes

引用

作者： Xiao, Yong Zhou, Xing-Ming National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha 410073 China Chinese Academy of Science

Data value prediction has been widely accepted as an effective mechanism to break data hazards for high performance processor design. Several works have reported promising performance potential. However, there is hardly enough information that is presented in a clear way about performance comparison of these prediction mechanisms. This paper investigates the performance impact of four previously proposed value predictors, namely last value predictor, stride value predictor, two-level value predictor and hybrid (stride+two-level) predictor. The impact of misprediction penalty, which has been frequently ignored, is discussed in detail. Several other implementation issues, including instruction window size, issue width and branch predictor are also addressed and simulated. Simulation results indicate that data value predictors act differently under different configurations. In some cases, simpler schemes may be more beneficial than complicated ones. In some particular cases, value prediction may have negative impact on performance. © 2005 Springer Science + Business Media, Inc.

关键词： Data processing

来源：评论

学校读者我要写书评

暂无评论

ARV-based Array Grouping and Data Distribution in OpenMP/JIAJIA

ARV-based Array Grouping and Data Distribution in OpenMP/JIA...

引用

IEEE International Conference on parallel and distributed Computing, Applications and Technologies (PDCAT)

作者： Zeng Lifang Yang Xuejun H. Huangchun National Laboratory for Parallel and Distributed Processing China

In order to improve the performance of applications on OpenMP/JIAJIA, we present a new abstraction, Array Relation Vector (ARV), to describe the relation between the data elements of two consistent shared arrays accessed in one computation phase. Based on ARV, we use array grouping to eliminate the pseudo data distributing of small shared data and improve the page locality. Experimental results show that ARV-based array grouping can greatly improve the performance of applications with non-continuous data access and strict access affinity on OpenMP/JIAJIA cluster. For applications with small shared arrays, array grouping can improve the performance obviously when the processor number is small.

关键词： Phased arrays Concurrent computing distributed computing Application software Laboratories distributed processing parallel programming parallel architectures Programming profession Emulation

来源：评论

学校读者我要写书评

暂无评论

An efficient distributed algorithm for constructing delay- and degree-bounded application-level multicast tree

An efficient distributed algorithm for constructing delay- a...

引用

8th International Symposium on parallel Architectures, Algorithms and Networks, I-SPAN 2005

作者： Feng, Liu Jingshu, Huang Xicheng, Lu Yuxing, Peng National Laboratory for Parallel and Distributed Processing Changsha 410073 China School of Electrical and Computer Engineering Purdue University West Lafayette IN 47907-2035 United States

ISBN: (纸本)0769525091

In this paper we investigate the problem of finding a delay- and degree-bounded maximum sum of nodes application level multicast tree. We then proved the problem is NP-hard, and its relationship with the well-studied degree-bounded minimum maximum-delay multicast tree problem. We propose a distributed algorithm - OverStream, which adopts PPAF heuristic for father node to choose optimal child nodes based on multiple network parameters. Simulation results show that our algorithm is better than OMNI, SpreadIt, HMTP, and Zigzag in general. © 2005 IEEE.

关键词： Algorithms

来源：评论

学校读者我要写书评

暂无评论

Reduction transformations for optimization parameter selection

Reduction transformations for optimization parameter selecti...

引用

International Conference on High Performance Computing in the Asia-Pacific Region

作者： Yonggang Che Zhenghua Wang Xiaomei Li National Laboratory for Parallel and Distributed Processing Changsha China

Program performance optimization often involves choosing right parameters to minimize the program's runtime. Selecting optimization parameters by means of execution-driven search is guaranteed to find excellent results, for it accurately accounts for all performance components of the target platform. But the major drawback of execution-driven approach is the excessive compilation time due to thousands of runs of the original program. In this article, we propose a novel technique called program reduction transformations to reduce the cost of execution-driven optimization parameter selection. It is based on our observation to the characteristics of the scientific applications and the optimization parameter selection task. The ideal is to transform the program before it is used in execution-driven parameter selection procedure. The transformed program runs in much shorter time but preserves the parameter selection quality. This technique greatly reduces the time spent on evaluating each candidate parameter and makes execution-driven optimization parameter selection affordable. We formulate the theoretic foundation of program reduction transformation. And we find several situations where reduction transformations can be legally applied. These situations are common in scientific applications. Experiments done for two math kernels and three SPEC benchmarks show that our approach is both feasible and effective

关键词： Tiles Runtime Cost function Predictive models Hardware distributed processing Kernel Optimization methods parallel processing Data analysis

来源：评论

学校读者我要写书评

暂无评论

Verification of C programs using slicing execution

Verification of C programs using slicing execution

引用

International Conference on Quality Software

作者： Xiaodong Yi Ji Wang Xuejun Yang National Laboratory for Parallel and Distributed Processing Changsha China

The paper presents a novel method, namely slicing execution, to verify C programs with respect to temporal safety properties. The distinguished feature is that it only simulates the execution of the relevant statements under abstraction criteria and checks the properties on the fly. The abstraction criterion begins with a proper initial set of program variables and may be iteratively refined according to spurious counter-examples. Provided that the properties to be verified usually involve only a few variables in practical programs, slicing execution may have the same precision as path-sensitive simulation with the cost close to standard flow-sensitive dataflow analysis. The presented method has been used to verify the initial handshake process of SSL protocol based on the C source code of openssl-0.9.6c. The experiment results confirm our claim and show that slicing execution is not only practical but also effective.

关键词： Safety Scalability Costs Data analysis Analytical models Protocols Laboratories distributed processing Guidelines Performance analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共115页 << < 106 107 108 109 110 111 112 113 114 115 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：