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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

40 篇 会议
13 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

34 篇 工学
- 28 篇 计算机科学与技术...
- 23 篇 软件工程
- 8 篇 电气工程
- 8 篇 信息与通信工程
- 7 篇 控制科学与工程
- 4 篇 电子科学与技术（可...
- 3 篇 船舶与海洋工程
- 3 篇 生物工程
- 3 篇 网络空间安全
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 仪器科学与技术
- 1 篇 动力工程及工程热...
- 1 篇 土木工程
- 1 篇 化学工程与技术
- 1 篇 交通运输工程
- 1 篇 生物医学工程（可授...
- 1 篇 安全科学与工程
17 篇 理学
- 11 篇 数学
- 7 篇 物理学
- 3 篇 生物学
- 2 篇 化学
- 2 篇 统计学（可授理学、...
- 1 篇 系统科学
14 篇 管理学
- 10 篇 图书情报与档案管...
- 6 篇 管理科学与工程(可...
- 3 篇 工商管理
2 篇 经济学
- 2 篇 应用经济学
1 篇 法学
- 1 篇 法学
1 篇 文学
- 1 篇 新闻传播学

主题

3 篇 costs
2 篇 ultrasonic imagi...
2 篇 imaging
2 篇 task analysis
2 篇 automatic testin...
2 篇 image segmentati...
2 篇 software enginee...
2 篇 self-supervised ...
2 篇 ultrasonics
2 篇 computational mo...
2 篇 software testing
2 篇 decision making
2 篇 feature extracti...
2 篇 tongue
2 篇 adders
2 篇 scheduling algor...
2 篇 data models
2 篇 open source soft...
2 篇 training
1 篇 aerospace testin...

机构

7 篇 national key lab...
6 篇 national univers...
5 篇 xiangjiang lab
5 篇 tongji universit...
4 篇 school of advanc...
4 篇 school of comput...
4 篇 national laborat...
4 篇 national lab. of...
4 篇 national key lab...
3 篇 key lab. of para...
3 篇 national key lab...
3 篇 key lab. of para...
2 篇 national key lab...
2 篇 key lab. of para...
2 篇 budapest univers...
2 篇 lingcore lab. po...
2 篇 tongji univ.
2 篇 key lab. of para...
2 篇 school of comput...
2 篇 ece department p...

作者

9 篇 wang huaimin
7 篇 wang tao
6 篇 kele xu
6 篇 xu kele
5 篇 ming feng
5 篇 yin gang
4 篇 peichang shi
4 篇 tan qingping
3 篇 zhenghua wang
3 篇 boqing zhu
3 篇 guodong yi
3 篇 feng ming
3 篇 liu feng
3 篇 fei gao
3 篇 yang cheng
3 篇 kang you
3 篇 penghui ma
3 篇 shi peichang
3 篇 csapó tamás gábo...
3 篇 huaimin wang

语言

53 篇 英文

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

共 53 条记录，以下是11-20 订阅

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

详细简洁

排序：

Model transformation based verification of Web services composition

引用

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

作者： Yang, YanPing Tan, QingPing Xiao, Yong School of Computer Science National University of Defense Technology Changsha 410073 China National Lab. of Parallel Distributed Processing Changsha 410073 China

ISBN: (纸本)3540305106

Current Web services composition proposals, such as BPEL, BPSS, BPMN and WSCI, provide notations for describing the control and message flows in Web service collab.rations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to analyze and verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by model transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties by CP-nets specialized tools. © Springer-Verlag Berlin Heidelberg 2005.

关键词： World Wide Web

来源：评论

学校读者我要写书评

暂无评论

parallel transposing and communication strategies for FFT on cluster of SMP architectures with multicore processors

Parallel transposing and communication strategies for FFT on...

引用

Congress on Image and Signal processing, CISP

作者： Yuan, Jie Wu, Jian-Ping Wang, Zheng-Hua National Lab. of Parallel and Distributed Processing National University of Defense Technology Changsha China School of Computer Science National University of Defense Changsha China

ISBN: (纸本)9781424465149

This paper presents a high performance parallel formulation for 1-D FFT based on transpose algorithm. The parallel scheme of FFT trades off some efficiency for a more consistent level of parallel performance. It involves matrix transposition, and a new in-place transposing algorithm is introduced into the parallel matrix transposition to improve the efficiency. Depending on the size of the input n, the number of processes p, and the memory or network bandwidth, this method can achieve better parallel performance than the other on cluster of SMP architectures. Test shows us that our scheme can achieve a good speedup. ©2010 IEEE.

关键词： Fast Fourier transforms

来源：评论

学校读者我要写书评

暂无评论

A supervised approach for tag hierarchy construction in open source communities 15

A supervised approach for tag hierarchy construction in open...

引用

7th Asia-Pacific Symposium on Internetware, Internetware 2015

作者： Gu, Chongming Yin, Gang Wang, Tao Yang, Cheng Wang, Huaimin Key Lab. of Parallel and Distributed Computing Colledge of Computer National University of Defence Technology ChangSha Hunan China

ISBN: (纸本)9781450336413

The massive amounts of open source software provide sufficient reusable resources for software development. Most of the OSS communities adopt a kind of categorization or tagging mechanism to organize the software. However, the categorization often too coarse, while the tags are flat and fail to capture the inter-relation among them. In this paper, we propose a novel approach to reveal the latent relations between tags and build a tag hierarchy to help locate resources. We firstly build a co-occurrence network, based on which we compare the connotations of tags and construct a preliminary hierarchy. Then we leverage the domain knowledge of category in SourceForge to optimize and improve the relations between tags. At the end, we demonstrate the effectiveness of the constructed tag hierarchy with quantitative evaluation, which suggest the validation of our approach. © 2015 ACM.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Personalized mobile application discovery 1

Personalized mobile application discovery

引用

1st International Workshop on Crowd-Based Software Development Methods and Technologies, CrowdSoft 2014

作者： Yang, Cheng Wang, Tao Yin, Gang Wang, Huaimin Wu, Ming Xiao, Ming Key Lab. of Parallel and Distributed Computing Colledge of Computer National University of Defence Technology ChangSha Hunan China

ISBN: (纸本)9781450332248

With the dramatic growing of mobile application markets, users can find apps with any function they desire in these markets. However, the huge amounts of apps make it quite a challenge for users to discover good applications efficiently. Previous studies recommend applications based on the download history, user ratings or app usage records. Most of these studies fail to capture users' personal interests in mobile applications precisely. In this paper, we leverage apps as features for describing user's personal interests and propose a novel approach to do personalized recommendation. We introduce a Small-Crowd model to distinguish apps at reflecting users' personal interests, and design a weighting method to rank the installed apps for users by combining the global download information with fine-grained app usage records. The extensive experiments validate the effectiveness of our approach which outperforms state-of-the-art method. Copyright 2014 ACM.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Exploring the use of @-mention to assist software development in GitHub 15

Exploring the use of @-mention to assist software developmen...

引用

7th Asia-Pacific Symposium on Internetware, Internetware 2015

作者： Zhang, Yang Wang, Huaimin Yin, Gang Wang, Tao Yu, Yue Key Lab. of Parallel and Distributed Computing College of Computer National University of Defense Technology Changsha410073 China

ISBN: (纸本)9781450336413

Recently, many researches propose that social media tools can promote the collab.ration among developers, which are beneficial to the software development. Nevertheless, there is little empirical evidence to confirm that using @-mention has indeed a beneficial impact on the issues in GitHub. In this paper, we analyze the data from GitHub and give some insights on how @-mention is used in the issues (general- issues and pull-requests). Our statistical results indicate that, @-mention attracts more participants and tends to be used in the difficult issues. @-mention favors the solving process of issues by enlarging the visibility of issues and facilitating the developers' collab.ration. In addition to this global study, our study also build a @-network based on the @-mention database we extract. Through the @-network, we can mine the relationships and characteristics of developers in GitHub's issues. © 2015 ACM.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

Evaluating bug severity using crowd-based knowledge: An exploratory study 15

Evaluating bug severity using crowd-based knowledge: An expl...

引用

7th Asia-Pacific Symposium on Internetware, Internetware 2015

作者： Zhang, Yang Yin, Gang Wang, Tao Yu, Yue Wang, Huaimin Key Lab. of Parallel and Distributed Computing College of Computer National University of Defense Technology Changsha410073 China

ISBN: (纸本)9781450336413

In bug tracking system, the high volume of incoming bug reports poses a serious challenge to project managers. Triaging these bug reports manually consumes time and resources which leads to delaying the resolution of important bugs. StackOverow is the most popular crowdsourcing Q&A community with plenty of bug-related posts. In this paper, we explore the correlation between bug severity and the crowd attributes of linked posts. Two typical types of projects' bug repositories are studied here, e.g. Mozilla (user-centric project) and Eclipse (developer-centric project). Our results show that the bug severity is consistent with the crowd- based knowledge both in Mozilla and Eclipse, i.e. the linked posts of severe bugs have higher score etc. in StackOverow than non-severe bugs. This interesting phenomenon inspires us that we can optimize the existing evaluation methods of bug severity by incorporating the crowd-based knowledge from a third-party in future. © 2015 ACM.

关键词： StackOverflow crowd-based knowledge Bugzilla Bug severity

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of parallel Prefix Adders in FPGA Implementation of EAC

A Comparative Study of Parallel Prefix Adders in FPGA Implem...

引用

12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools

作者： Liu, Feng Fariborz, F. F. Mohamed, Otmane Ait Chen, Gang Song, Xiaoyu Tan, Qingping National Lab. of Parallel Distributed Processing Hunan China ECE Department Concordia University Montreal QC Canada Lingcore Lab. Portland OR United States ECE Department Portland State University Portland OR United States

ISBN: (纸本)9780769537825

Several regular parallel trees have been proposed over the years to optimize logic depth, area, fan-out and interconnect count for logic circuits. In this paper, we propose a comparative study of different parallel prefix trees used in the design of a new end-around carry (EAC) adder targeting FPGA technology. This new adder is based on the fast 128-bit binary floating-point EAC adder which has been implemented in the IBM POWER6 microprocessor's fused multiply-add unit. The parallel prefix tree implemented on the IBM's EAC adder is a Kogge-Stone tree which has been chosen for its high performance and its low power consumption. Our comparative study highlights the main performance differences among fourteen different architecture configurations when targeting an FPGA EAC adder design. We focus on the area requirements and the critical path delay of these designs. Our experimental results show that there is one architecture configuration with the lower area requirement and the higher performance.

关键词： Adders

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

IEEE International Conference on Engineering of Complex Computer Systems

作者： Xin Wang Zhi-Chang Qi Shuhao Li National Laboratory for Parallel and Distributed Processing Changsha China National Lab. for Parallel & Distributed Process. Changsha 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/sub [o,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.

关键词： Optimization methods Automatic testing Real time systems System testing Software testing lab.ratories Logic testing Automata Aerospace testing distributed processing

来源：评论

学校读者我要写书评

暂无评论

AOP-based high-level power estimation in SystemC 10

AOP-based high-level power estimation in SystemC

引用

20th Great Lakes Symposium on VLSI, GLSVLSI 2010

作者： Liu, Feng Tan, Qingping Song, Xiaoyu Abbasi, Naeem National Lab. of Parallel Distributed Processing China ECE Dept. Portland State University Portland OR United States ECE Dept. Concordia University Montreal QC Canada

The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Macro module modeling and power estimatio... 详细信息

ISBN: (纸本)9781450300124

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Raw Ultrasound-Based Phonetic Segments Classification Via Mask Modeling 48

Raw Ultrasound-Based Phonetic Segments Classification Via Ma...

引用

48th IEEE International Conference on Acoustics, Speech and Signal processing, ICASSP 2023

作者： You, Kang Liu, Bo Xu, Kele Xiong, Yunsheng Xu, Qisheng Feng, Ming Csapó, Tamás Gábor Zhu, Boqing Tongji University Shanghai China National University of Defense Technology Changsha China National Key Lab of Parallel and Distributed Processing Changsha China Budapest University of Technology and Economics Budapest Hungary

ISBN: (纸本)9781728163277

Ultrasound tongue imaging is widely used in clinical linguistics and phonetics. Recently, deep neural networks, especially convolutional neural networks, have been widely used in the interpretation and analysis of ultrasound tongue images (UTI). Despite achieving satisfactory performance, deep models rely on a large amount of manually lab.led data, which is often difficult to obtain in practical settings. To address this issue, this paper focuses on how to utilize a large amount of unlab.led UTI data to improve the performance of UTI classification task. Specifically, we explore self-supervised learning with masking modeling strategy. By predicting the masked part, our pre-trained model enables the neural network to infer contextual information. Then, we fine-tune the pre-trained model with a small amount of lab.led data. Compared with the previous competing algorithms, our method can improve the classification accuracy by an average of 13.33% in four different scenarios. © 2023 IEEE.

关键词： Mask modeling Masked auto-encoder Self-supervised learning Ultrasound tongue imaging.

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共6页 << < 1 2 3 4 5 6 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：