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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

379 篇 会议
127 篇 期刊文献
2 册 图书

馆藏范围

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

日期分布

学科分类号

321 篇 工学
- 245 篇 计算机科学与技术...
- 181 篇 软件工程
- 64 篇 信息与通信工程
- 36 篇 电子科学与技术（可...
- 34 篇 控制科学与工程
- 24 篇 电气工程
- 20 篇 机械工程
- 18 篇 生物工程
- 15 篇 仪器科学与技术
- 12 篇 动力工程及工程热...
- 8 篇 环境科学与工程（可...
- 7 篇 农业工程
- 6 篇 材料科学与工程（可...
- 6 篇 土木工程
- 6 篇 网络空间安全
- 5 篇 力学（可授工学、理...
- 5 篇 冶金工程
- 4 篇 建筑学
129 篇 理学
- 85 篇 数学
- 27 篇 系统科学
- 19 篇 物理学
- 19 篇 生物学
- 17 篇 统计学（可授理学、...
- 6 篇 化学
85 篇 管理学
- 52 篇 管理科学与工程(可...
- 36 篇 图书情报与档案管...
- 14 篇 工商管理
11 篇 经济学
- 11 篇 应用经济学
10 篇 法学
- 9 篇 社会学
8 篇 农学
- 7 篇 作物学
4 篇 文学
3 篇 军事学
2 篇 医学
1 篇 艺术学

主题

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

机构

79 篇 national laborat...
78 篇 science and tech...
52 篇 college of compu...
36 篇 school of comput...
28 篇 national laborat...
22 篇 science and tech...
22 篇 national key lab...
20 篇 national laborat...
16 篇 national laborat...
15 篇 school of comput...
14 篇 national laborat...
12 篇 national key lab...
8 篇 national key lab...
8 篇 national key lab...
7 篇 department of co...
7 篇 college of compu...
7 篇 science and tech...
6 篇 national laborat...
5 篇 school of advanc...
5 篇 xiangjiang lab

作者

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

语言

476 篇 英文
26 篇 中文
6 篇 其他

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

共 508 条记录，以下是481-490 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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 their capabilities, reputations, affiliations of administrative domains, and so on, which consequently makes it preferable to distinguish the heterogeneity of participant nodes. To achieve this, in this paper we present grouped tapestry (GTap), a novel tapestry-based DHT that supports organizing nodes into groups and allows flexible DHT routing. The effectiveness of our proposals is demonstrated through theoretical analysis and extensive simulations.

关键词： Routing Fingers Peer to peer computing Maintenance engineering Security Availability Data structures

来源：评论

学校读者我要写书评

暂无评论

Collaborative search in large-scale unstructured peer-to-peer networks

Collaborative search in large-scale unstructured peer-to-pee...

引用

36th International Conference on parallel processing in Xi'an, ICPP

作者： Zhang, Yiming Li, Dongsheng Chen, Lei Lu, Xicheng National Laboratory for Parallel and Distributed Processing NUDT Department of Computer Science Hong Kong University of Science and Technology

ISBN: (纸本)076952933X

Searching in large-scale unstructured peer-to-peer networks is challenging due to the lack of effective hint information to guide queries. In this paper, we propose POP, a parallel, cOllaborative and Probabilistic search mechanism, in which query messages are viewed as search units to collaborate with each other and aggregate the distributed hints during the search process. A scheme called distributed Bloom Filter (DBF) is presented to propagate the hints with a bandwidth-aware manner, in which a node divides the received Bloom filter vector into subvectors and disseminates the fragments to its neighbors according to their bandwidth capacity. The effectiveness of POP is demonstrated through theoretical analysis and extensive simulations. © 2007 IEEE.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Compositional Verification of UML Dynamic Models

Compositional Verification of UML Dynamic Models

引用

Asia-Pacific Conference on Software Engineering

作者： Wei Dong Ji Wang Zhichang Qi Ni Rong School of Computer National University of Defense Technology China National Laboratory for Parallel and Distributed Processing China

UML dynamic models are important for software analysis and design. Verifying UML dynamic models to find design errors earlier is a key issue for ensuring software quality. Because of the characteristics such as concurrency and hierarchy, model checking of UML Statecharts and collaboration diagrams faces the problem of state explosion. In this paper, UML Statecharts is firstly structurally expressed by hierarchical automata and its semantics for open systems is introduced. Then, the synchronization composition of objects in UML collaboration diagrams is expatiated, based on which the global system behaviors can be constructed. Based on hierarchical automata and simulation relation between semantics structures, the compositional rules for verifying concurrent object systems are proposed. It makes possible that the construction of global state space will be unnecessary in model checking of UML collaboration diagrams. The hierarchical structures of UML Statecharts are also brought into the compositional verification, which makes the model checking of implementation models can be carried out through replacing detailed components by abstract specifications.

关键词： Unified modeling language Concurrent computing Automata State-space methods Explosions International collaboration Software systems Software engineering distributed computing Laboratories

来源：评论

学校读者我要写书评

暂无评论

Are filter methods very effective in gene selection of microarray data?

Are filter methods very effective in gene selection of micro...

引用

IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)

作者： Zhou-Jun Li Li-Juan Zhang Huo-Wang Chen School of Computer Science & Engineering Beihang University Beijing China National Laboratory for Parallel and Distributed Processing Changsha China

Feature (gene) selection is a frequently used preprocessing technology for successful cancer classification task in microarray gene expression data analysis. Widely used gene selection approaches are mainly focused on the filter methods. Filter methods are usually considered to be very effective and efficient for high-dimensional data. This paper reviews the existing filter methods, and shows the performance of the representative algorithms on microarray data by extensive experimental study. Surprisingly, the experimental results show that filter methods are not very effective on microarray data. We analyze the cause of the result and provide the basic ideas for potential solutions.

关键词： Filters Data analysis Classification algorithms Cancer Algorithm design and analysis computer science Data engineering Laboratories distributed processing Gene expression

来源：评论

学校读者我要写书评

暂无评论

Collaborative Search in Large-scale Unstructured Peer-to-Peer Networks

Collaborative Search in Large-scale Unstructured Peer-to-Pee...

引用

International Conference on parallel processing (ICPP)

作者： Yiming Zhang Dongsheng Li Lei Chen Xicheng Lu National Laboratory for Parallel and Distributed Processing National University of Defense Technology China Department of Computer Science Hong Kong University of Science and Technology Hong Kong China

Searching in large-scale unstructured peer-to-peer networks is challenging due to the lack of effective hint information to guide queries. In this paper, we propose POP, a parallel, collaborative and Probabilistic search mechanism, in which query messages are viewed as search units to collaborate with each other and aggregate the distributed hints during the search process. A scheme called distributed Bloom filter (DBF) is presented to propagate the hints with a bandwidth-aware manner, in which a node divides the received Bloom filter vector into subvectors and disseminates the fragments to its neighbors according to their bandwidth capacity. The effectiveness of POP is demonstrated through theoretical analysis and extensive simulations.

关键词： Large-scale systems Peer to peer computing Bandwidth Information filtering Information filters Analytical models Aggregates Space technology International collaboration Laboratories

来源：评论

学校读者我要写书评

暂无评论

Data dependence-based optimistic data consistency maintenance method

Data dependence-based optimistic data consistency maintenanc...

引用

6th IEEE International Conference on computer and Information Technology, CIT 2006

作者： Zhou, Jing Wang, Yijie Li, Sikun National Key Laboratory for Parallel and Distributed Processing School of Computer Science National University of Defense Technology China

ISBN: (纸本)076952687X

Data replication introduces well-known consistency issues. This paper puts forward the question about data dependence in data consistency, which embodies pseudo-conflict updates and update dependency. According to that, an optimistic data consistency method is proposed. In our method, data object is partitioned into data blocks by fixed size, as the basic unit of data management. Updates are compressed by Bloom filter technique and propagated in double-path. Negotiation algorithms detect and reconcile update conflicts, and dynamic data management algorithms accommodate dynamic data processing. The results of the performance evaluation show that our method is an efficient method to achieve consistency, good dynamic property, and strong robustness. © 2006 IEEE.

关键词： Information technology

来源：评论

学校读者我要写书评

暂无评论

Automated WCET analysis based on program modes

Automated WCET analysis based on program modes

引用

1st International Workshop on Automation of Software Test, AST'06, Co-located with the 28th International Conference on Software Engineering, ICSE 2009

作者： Ji, Meng-Luo Wang, Ji Li, Shuhao Qi, Zhi-Chang School of Computer National University of Defense Technology China National Laboratory for Parallel and Distributed Processing China

ISBN: (纸本)1595934081

Program mode is a regular trajectory of the execution of a program that is determined by the values of its input variables. By exploiting program modes we may make Worst Case Execution Time (WCET) analysis more precise. This paper presents a novel method to automatically find program modes and calculate the WCET of programs. It consists of two phases. In phase one, we firstly automatically find the modes of a program by mode-relevant program slicing;then we compute the precondition for each mode using a path-wise test data generation method;after that, we can either conclude that it is an infeasible path, or get its precondition. In phase two, we calculate the WCET estimate of each given mode for modern RISC processors with caches and pipelines. The experiments are demonstrated to show the effectiveness of the method. Copyright 2006 ACM.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

A novel rough set approach for classification

A novel rough set approach for classification

引用

2006 IEEE International Conference on Granular Computing

作者： Zhang, Li-Juan Li, Zhou-Jun National Laboratory for Parallel and Distributed Processing Changsha 410073 China School of Computer Science and Engineering Beihang University Beijing 100083 China

ISBN: (纸本)1424401348

Rough set theory has been widely and successfully used in data mining, especially in classification field. But most existing rough set based classification approaches require computing optimal attribute reduction, which is usually intractable and many problems related to it have been shown to be NT-hard. Although approximate algorithms exist, they also tend to be computationally expensive. This paper presents a novel rough set method for classification, which does not require computing attribute reduction. It stepwise investigates condition attributes and outputs the classification rules induced by them, which is just like the strategy of "on the fly". The theoretical analysis and the empirical study show that the proposed method is effective and efficient. © 2006 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共51页 << < 42 43 44 45 46 47 48 49 50 51 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：