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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,066 篇 会议
889 篇 期刊文献
56 册 图书

馆藏范围

3,011 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,757 篇 工学
- 1,359 篇 计算机科学与技术...
- 1,122 篇 软件工程
- 346 篇 信息与通信工程
- 316 篇 控制科学与工程
- 165 篇 生物工程
- 153 篇 电气工程
- 122 篇 电子科学与技术（可...
- 119 篇 生物医学工程（可授...
- 117 篇 机械工程
- 91 篇 安全科学与工程
- 83 篇 光学工程
- 74 篇 动力工程及工程热...
- 68 篇 建筑学
- 68 篇 土木工程
- 67 篇 化学工程与技术
- 66 篇 仪器科学与技术
- 60 篇 网络空间安全
789 篇 理学
- 419 篇 数学
- 191 篇 生物学
- 149 篇 物理学
- 147 篇 系统科学
- 125 篇 统计学（可授理学、...
- 68 篇 化学
524 篇 管理学
- 373 篇 管理科学与工程(可...
- 204 篇 工商管理
- 201 篇 图书情报与档案管...
132 篇 医学
- 120 篇 临床医学
- 99 篇 基础医学(可授医学...
82 篇 法学
- 64 篇 社会学
61 篇 经济学
- 61 篇 应用经济学
54 篇 教育学
24 篇 农学
13 篇 文学
7 篇 军事学
3 篇 艺术学

主题

176 篇 software enginee...
134 篇 computer science
77 篇 computational mo...
75 篇 application soft...
73 篇 deep learning
72 篇 accuracy
70 篇 laboratories
70 篇 machine learning
68 篇 software systems
67 篇 software
62 篇 computer archite...
60 篇 artificial intel...
60 篇 training
52 篇 quality of servi...
52 篇 wireless sensor ...
49 篇 systems engineer...
49 篇 resource managem...
49 篇 security
47 篇 grid computing
47 篇 cloud computing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
24 篇 college of compu...
22 篇 department of co...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
18 篇 department of sy...
18 篇 state key labora...
17 篇 software enginee...
12 篇 department of el...
12 篇 department of so...
12 篇 max planck insti...
12 篇 school of inform...
11 篇 institute for so...
11 篇 school of softwa...
11 篇 department of so...
11 篇 sri lanka instit...
10 篇 computing and so...
10 篇 school of intell...

作者

49 篇 rajkumar buyya
35 篇 junping du
31 篇 yingmin jia
25 篇 buyya rajkumar
24 篇 ismail leila
22 篇 fashan yu
19 篇 xenofon koutsouk...
15 篇 song houbing
15 篇 zamli kamal z.
14 篇 m. parashar
14 篇 biswas gautam
14 篇 gautam biswas
13 篇 materwala huned
12 篇 jafer shafagh
12 篇 veera boonjing
12 篇 leung victor c.m...
11 篇 philippe charlan...
11 篇 ahmed bestoun s.
11 篇 zander carol
11 篇 p.k. mckinley

语言

2,632 篇 英文
362 篇 其他
16 篇 中文
3 篇 日文
2 篇 俄文
1 篇 斯洛文尼亚文
1 篇 土耳其文

检索条件"机构=Software Engineering and Computer Systems Department"

共 3011 条记录，以下是2161-2170 订阅

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

详细简洁

排序：

Testing as a service over cloud

Testing as a service over cloud

引用

5th IEEE International Symposium on Service-Oriented System engineering, SOSE 2010

作者： Yu, Lian Tsai, Wei-Tek Chen, Xiangji Liu, Linqing Zhao, Yan Tang, Liangjie Zhao, Wei School of Software and Microelectronics Peking University China School of Computing Informatics Decision Systems Engineering Department of Computer Science and Engineering Arizona State University United States Deparment of Computer Science and Technology Tsinghua University Beijing China China Research Center IBM Beijing 100094 China

ISBN: (纸本)9780769540818

Testing-as-a-service (TaaS) is a new model to provide testing capabilities to end users. Users save the cost of complicated maintenance and upgrade effort, and service providers can upgrade their services without impact on the end-users. Due to uneven volumes of concurrent requests, it is important to address the elasticity of TaaS platform in a cloud environment. Scheduling and dispatching algorithms are developed to improve the utilization of computing resources. We develop a prototype of TaaS over cloud, and evaluate the scalability of the platform by increasing the test task load;analyze the distribution of computing time on test task scheduling and test task processing over the cloud;and examine the performance of proposed algorithms by comparing others. © 2010 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

AIMO Translator: Bridging the Gap between Semantic Web Service Discovery and Composition

AIMO Translator: Bridging the Gap between Semantic Web Servi...

引用

International Conference on Internet and Web Applications and Services (ICIW)

作者： Sayed Gholam Hassan Tabatabaei Wan M. N. Wan Kadir Suhaimi Ibrahim Amir Vahid Dastjerdi Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia Skudai Johor Malaysia Department of Computer Science and Software Engineering University of Melbourne VIC Australia

ISBN: (纸本)9781424467280;9780769540221

Semantic Web service discovery and Semantic Web service composition can be considered as complementary techniques. Overcoming both those obstacles is the key to automatic generation of executable Semantic Web services process. In this paper, we propose a translator to realize the AIMO framework which is based on an AI-planning based approach called HTN-DL and Web Service Modeling Ontology (WSMO) that provides Semantic Web service discovery and composition. The AIMO Translator consists of four algorithms to translate each WSMO elements into corresponding elements of HTN-DL. Moreover, the proposed translator has been implemented and tested and the result shows that the AIMO Translator is performed and usable.

关键词： Semantic Web Web services Quality of service Service oriented architecture Integer linear programming Web and internet services Multimedia communication Business communication Cost function Application software

来源：评论

学校读者我要写书评

暂无评论

BiO4SeL: A Bio-Inspired routing algorithm for Sensor Network Lifetime Optimization

BiO4SeL: A Bio-Inspired routing algorithm for Sensor Network...

引用

International Conference on Telecommunications (ICT)

作者： Levi Bayde Ribeiro Miguel Franklin de Castro Group of Computer Networks Software Engineering and Systems (GREat) Computer Science Department Federal University of Ceara Brazil

Sensors are emerging devices on a world leading to ubiquity and pervasiveness. For the sake of users' convenience, the organization of these sensors in operational networks must be done in an autonomic and self-sustained way. This paper proposes BiO4SeL (Bio-Inspired Optimization for Sensor Network Lifetime), a biologically-inspired routing algorithm for sensor networks where the main goal is autonomy, while aiming to optimize the sensor networks' lifetime, i.e., the maximization of the full coverage duration. BiO4SeL is based on Swarm Intelligence, more specifically on Ant Colonies. Results show that BiO4SeL achieves its objectives when compared with similar approaches: ARAMA (Ant-based Routing Algorithm for Manets) and AODV (Ad-hoc On-demand Distance Vector).

关键词： Routing Biosensors Intelligent sensors Particle swarm optimization Batteries Ant colony optimization Pervasive computing Temperature sensors Monitoring software algorithms

来源：评论

学校读者我要写书评

暂无评论

Efficient online trace building using code replication

Efficient online trace building using code replication

引用

International Conference on Grid and Cloud Computing

作者： Deng, Haipeng Chen, Kai Liu, Bo He, Yunchao Zhou, Kan Yang, Yindong Liang, Alei Guan, Haibing School of Software Shanghai Jiao Tong University China Department of Computer Science and Engineering Shanghai Jiao Tong University China School of Information Security Engineering Shanghai Jiao Tong University China Shanghai Key Laboratory of Scalable Computing and Systems China

ISBN: (纸本)9780769543130

Hot trace building plays an important role in enhancing the performance of dynamic binary translators, since in most cases 10% of code takes 90% of execution time of the whole program. Hot traces can promote the code position to make better the locality of the code;therefore programs can achieve a better performance. Thus how to build qualified and long hot traces is the key point. Considering the situation when one single basic block is needed by more than two hot traces, code replication can help build hot traces with cost of expansion of code size. In this paper, a code replication method to help with building hot traces as well as code positioning is presented, and experiments have been done to evaluate the details of changes that code replication brings to the system, like trace fragment length, memory size expansion, etc. With this method, a performance promotion by 0.5%-3.5% against the original trace building method has been achieved. © 2010 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Efficient identification of synchronous machine parameters through the finite elements method

Efficient identification of synchronous machine parameters t...

引用

7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010

作者： Singh, Bharat Kyriakides, Elias Michaelides, Alex M. Department of Electrical and Computer Engineering KIOS Research Center for Intelligent Systems and Networks University of Cyprus Nicosia-1678 Cyprus ElectroMagnetic Valley Ltd. Cyprus and Cobham Technical Services/Vector Fields Software United Kingdom

ISBN: (纸本)9781849193191

This work proposes a methodology to identify the parameters of a synchronous machine based on the finite element method (FEM). Several offline real-time tests to identify SM parameters are reproduced on a digital platform of a FEM based solver. The proposed methodology is divided into three basic steps: creation of the basic physical geometry of the synchronous machine, development and execution of parameter estimation tests on the digital platform, and post-processing to calculate the parameters from the test results. Simulations are shown for a salient-pole synchronous machine. The proposed method is envisioned to replace the real-time offline tests.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Tool support for essential use cases to better capture software requirements

Tool support for essential use cases to better capture softw...

引用

25th IEEE/ACM International Conference on Automated software engineering, ASE'10

作者： Kamalrudin, Massila Grundy, John Hosking, John Department of Electrical and Computer Engineering University of Auckland Private Bag 92019 Auckland New Zealand Centre for Complex Software Systems and Services Swinburne University of Technology PO Box 218 Hawthorn VIC 3122 Australia Department of Computer Science University of Auckland Private Bag 92019 Auckland New Zealand

ISBN: (纸本)9781450301169

Capturing software requirements from clients often leads to error prone and vague requirements documents. To surmount this issue, requirements engineers often choose to use UML models to capture their requirements. In this paper we discuss the use of Essential Use Cases (EUCs) as an alternative, user-centric representation which was developed to ease the process of capturing and describing requirements. However, EUCs are not commonly used in practice because, to our knowledge, no suitable tool support has been developed. In addition, requirements engineers face difficulties in finding the correct "essential" requirements (abstract interactions) in a time efficient manner. In order to overcome these problems, we have developed a prototype tool for automated tracing of abstract interactions. We describe the tool and compare the performance and correctness of the results provided by it to that of manual essential use case extraction efforts by a group of requirements engineers. The results of an end user study of the tool's usefulness and ease of use are also discussed. © 2010 ACM.

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

Hardware/software co-design for high performance computing: Challenges and opportunities 10

Hardware/software co-design for high performance computing: ...

引用

Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

作者： Hu, X. Sharon Murphy, Richard C. Dosanjh, Sudip Olukotun, Kunle Poole, Stephen Department of Computer Science and Engineering University of Notre Dame Notre Dame IN United States Scalable Computer Architecture Department Sandia National Laboratories Albuquerque NM United States Computer and Software Systems Department Sandia National Laboratories Albuquerque NM United States Department of Electrical Engineering Stanford University Stanford CA United States Computational Sciences Division Oak Ridge National Lab Oak Ridge TN United States

ISBN: (纸本)9781605589053

This special session aims to introduce to the hardware/software codesign community challenges and opportunities in designing high performance computing (HPC) systems. Though embedded system design and HPC system design have traditionally been considered as two separate areas of research, they in fact share quite some common features, especially as CMOS devices continue along their scaling trends and the HPC community hits hard power and energy limits. Understanding the similarities and differences between the design practices adopted in the two areas will help bridge the two communities and lead to design tool developments benefiting both communities.

关键词： Hardware-software codesign

来源：评论

学校读者我要写书评

暂无评论

A systematic literature review to identify the issues in Bidirectional Model Transformation

A systematic literature review to identify the issues in Bid...

引用

World Congress on software engineering

作者： Efrizoni, Lusiana Wan-Kadir, Wan M.N Mohamad, Radziah AMIK Riau - Pekanbaru Jl. Purwodadi Indah Km.10 Panam-Riau Indonesia Software Engineering Department Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia UTM 81300 Skudai Johor Malaysia

ISBN: (纸本)9780769543031

The capability of Bidirectional Model Transformation (BMT) has been continuously investigated by the software engineering community. BMT approach is able to improve the productivity of software development and save the production cost through a precise transformation definition process. However, nowadays a systematic study that is related to the current issue and supporting approaches of BMT does not exist yet. Therefore, this paper aims to analyse and explore the current issues on BMT by using a systematic literature review (SLR). Based on the results of the SLR, seven issues related to BMT were identified and two prominent approaches in solving the inherent BMT problem were discovered and reviewed. These results will be useful as an input in designing a better framework of BMT in the future. © 2010 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

OCW consortium: Learning through the worldwide sharing and use of free, open, high-quality education materials organized as courses: Special session

OCW consortium: Learning through the worldwide sharing and u...

引用

IEEE Education engineering (EDUCON)

作者： Edmundo Tovar Department Computer Languages and Systems and Software Engineering Universidad Politécnica de Madrid Madrid Spain

A special session is proposed to present the current status of OpenCourseWare Consortium from different viewpoints: from the OCWC Board of Directors's view, UNIVERSIA as leader of a regional OCW consortium, and be... 详细信息

关键词： Board of Directors Best practices Educational institutions engineering education

来源：评论

学校读者我要写书评

暂无评论

A translation framework for virtual execution environment on CPU/GPU architecture

A translation framework for virtual execution environment on...

引用

International Symposium on Parallel Architectures, Algorithms, and Programming

作者： Dong, Guoxing Chen, Kai Zhu, Erzhou Zhang, Yichao Qi, Zhengwei Guan, Haibing School of Software Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai 200240 China School of Information Security Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai 200240 China Department of Computer Science and Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai 200240 China

ISBN: (纸本)9780769543123

GPUs are many-core processors with tremendous computational power. However, as automatic parallelization has not been realized yet, developing high-performance parallel code for GPUs is still very challenging. The paper presents a novel translation framework designed for virtual execution environment based on CPU/GPU architecture. It addresses two major challenges of taking advantage of general purpose computation on graphics processing units (GPGPU) to improve performance: no rewriting the existing source code and resolving binary compatibility issues between different GPUs. The translation framework uses semi-automatic parallelization technology to port existing code to explicitly parallel programming models. It not only offers a mapping strategy from X86 platform to CUDA programming model, but also synchronizes the execution between the CPU and the GPUs. The input to our translation framework is parallelizable part of the program within binary code. With an additional information related to the parallelizable part, the translation framework transforms the sequential code into PTX code and execute it on GPUs. Experimental results on several programs from CUDA SDK Code Samples and Parboil Benchmark Suite show that our translation framework could achieve very high performance, even up to several tens of times speedup over the X86 native version. © 2010 IEEE.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共302页 << < 213 214 215 216 217 218 219 220 221 222 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：