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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

667 篇 期刊文献
619 篇 会议
23 册 图书

馆藏范围

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

日期分布

学科分类号

799 篇 工学
- 526 篇 计算机科学与技术...
- 437 篇 软件工程
- 153 篇 控制科学与工程
- 128 篇 信息与通信工程
- 85 篇 电气工程
- 68 篇 生物工程
- 56 篇 电子科学与技术（可...
- 55 篇 机械工程
- 55 篇 生物医学工程（可授...
- 48 篇 光学工程
- 37 篇 动力工程及工程热...
- 32 篇 化学工程与技术
- 29 篇 仪器科学与技术
- 28 篇 材料科学与工程（可...
- 25 篇 力学（可授工学、理...
- 25 篇 土木工程
- 24 篇 安全科学与工程
518 篇 理学
- 278 篇 数学
- 128 篇 物理学
- 115 篇 系统科学
- 88 篇 统计学（可授理学、...
- 87 篇 生物学
- 41 篇 化学
186 篇 管理学
- 132 篇 管理科学与工程(可...
- 67 篇 工商管理
- 57 篇 图书情报与档案管...
68 篇 医学
- 56 篇 临床医学
- 48 篇 基础医学(可授医学...
- 28 篇 公共卫生与预防医...
27 篇 经济学
- 27 篇 应用经济学
25 篇 法学
18 篇 教育学
15 篇 农学
3 篇 文学
2 篇 军事学
2 篇 艺术学

主题

69 篇 computer science
68 篇 laboratories
58 篇 software enginee...
36 篇 grid computing
35 篇 application soft...
32 篇 software systems
31 篇 cloud computing
27 篇 computational mo...
27 篇 machine learning
26 篇 quality of servi...
26 篇 mathematics
25 篇 resource managem...
23 篇 deep learning
22 篇 systems engineer...
21 篇 costs
20 篇 processor schedu...
19 篇 computer archite...
18 篇 artificial intel...
17 篇 distributed comp...
17 篇 testing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
17 篇 state key labora...
16 篇 school of mathem...
16 篇 key laboratory o...
15 篇 department of co...
14 篇 college of compu...
14 篇 software enginee...
12 篇 state key labora...
10 篇 university of ch...
9 篇 academy of mathe...
9 篇 cloud computing ...
8 篇 key laboratory o...
8 篇 school of electr...
7 篇 university colle...
7 篇 grid computing a...
7 篇 computing and so...

作者

48 篇 rajkumar buyya
33 篇 junping du
31 篇 yingmin jia
22 篇 fashan yu
20 篇 buyya rajkumar
18 篇 ismail leila
15 篇 veera boonjing
14 篇 liu ya-feng
12 篇 materwala huned
10 篇 sarun intakosum
10 篇 bei zeng
10 篇 cheng betty h. c...
10 篇 zhengfeng ji
10 篇 badri mourad
9 篇 p.k. mckinley
8 篇 badri linda
8 篇 bakas spyridon
8 篇 liu xin
8 篇 yu wei
8 篇 yiguang hong

语言

1,233 篇 英文
67 篇 其他
7 篇 中文
1 篇 德文
1 篇 法文
1 篇 日文

检索条件"机构=Software Systems Engineering Laboratory Department of Mathematics and Computer Science"

共 1309 条记录，以下是1011-1020 订阅

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

详细简洁

排序：

Using Quality Audits to Assess software Course Projects

Using Quality Audits to Assess Software Course Projects

引用

Conference on software engineering Education & Training (CSEE&T)

作者： Wilson Pádua Synergia Systems and Software Engineering Laboratory Computer Science Department Federal University of Minas Gerais Belo Horizonte Minas Gerais Brazil

Assessing software engineering course projects should evaluate the achievement of proposed goals, as well as the compliance with mandated standards and processes. This might require the examination of a significant volume of materials, following a consistent, repetitive and effective procedure, even for small projects. Quality assurance must be performed according to similar requirements. This paper discusses the use of quality audits, a comprehensive quality assurance procedure, as a tool for the assessment of course projects.

关键词： software quality Quality assurance Appraisal Automatic testing software engineering Feedback System testing software standards Inspection software testing

来源：评论

学校读者我要写书评

暂无评论

A Heuristic Approach for Capacity Control in Clouds

A Heuristic Approach for Capacity Control in Clouds

引用

IEEE International Conference on E-Commerce Technology Workshops

作者： Arun Anandasivam Stefan Buschek Rajkumar Buyya Institute for Information Systems and Management University of Karlsruhe Germany Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)9781424446469;9780769537559

Cloud resource providers in a market face dynamic and unpredictable consumer behavior. The way, how prices are set in a dynamic environment, can influence the demand behavior of price sensitive customers. A cloud resource provider has to decide on how to allocate his scarce resources in order to maximize his profit. The application of bid price control for evaluating incoming service requests is a common approach for capacity control in network revenue management. In this paper we introduce a customized version of the concept of self-adjusting bid prices and apply it to the area of cloud computing. Furthermore, we perform a simulation in order to test the efficiency of the proposed model.

关键词： Resource management Cloud computing Grid computing Consumer behavior Computational modeling Business Distributed computing Control systems Management information systems Conference management

来源：评论

学校读者我要写书评

暂无评论

Reports of the AAAI 2009 spring symposia

Reports of the AAAI 2009 spring symposia

引用

作者： Bao, Jie Bojars, Uldis Choudhury, Tanzeem Ding, Li Greaves, Mark Kapoor, Ashish Louchart, Sandy Mehta, Manish Nebel, Bernhard Nirenburg, Sergei Oates, Tim Roberts, David L. Sanfilippo, Antonio Stojanovic, Nenad Stubbs, Kristen Thomaz, Andrea L. Tsui, Katherine Woelfl, Stefan Tetherless World Constellation Rensselaer Polytechnic Institute United States Social Software Unit of DERI Galway Ireland Computer Science Department Dartmouth College United States Knowledge Systems at Vulcan Inc United States Adaptive Systems and Interaction Group Microsoft Research Redmond United States School for Mathematics and Computer Sciences Heriot-Watt University United Kingdom School ot Interactive Computing Georgia Institute of Technology United States Department of Computer Science University of Freiburg Germany Computer Science and Electrical Engineering Department University of Maryland Baltimore County United States Pacific Northwest National Laboratory Richland WA United States University of Karlsruhe Germany IRobot Corporation United States University of Massachusetts Lowell United States

The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's department of computer science, was pleased to present the 2009 Spring Symposium Series, held Monday through Wednesday, March 23-25, 2009, at Stanford University. The titles of the nine symposia were Agents That Learn from Human Teachers, Benchmarking of Qualitative Spatial and Temporal Reasoning systems, Experimental Design for Real- World systems, Human Behavior Modeling, Intelligent Event Processing, Intelligent Narrative Technologies II, Learning by Reading and Learning to Read, Social Semantic Web: Where Web 2.0 Meets Web 3.0, and Technosocial Predictive Analytics. The goal of the Agents That Learn from Human Teachers symposium was to investigate how we can enable software and robotics agents to leam from real-time interaction with an everyday human partner. The aim of the Benchmarking of Qualitative Spatial and Temporal Reasoning systems symposium was to initiate the development of a problem repository in the field of qualitative spatial and temporal reasoning and identify a graded set of challenges for future midterm and long-term research. The Experimental Design symposium discussed the challenges of evaluating AI systems. The Human Behavior Modeling symposium explored reasoning methods for understanding various aspects of human behavior, especially in the context of designing intelligent systems that interact with humans. The Intelligent Event Processing symposium discussed the need for more Al-based approaches in event pro-cessing and defined a kind of research agenda for the field, coined as intelligent complex event processing (iCEP). The Intelligent Narrative Technologies IIAAAI symposium discussed innovations, progress, and novel techniques in the research domain. The Learning by Reading and Learning to Read symposium explored two aspects of making natural language texts semantically accessible to, and processable by, machines. The Social Semantic

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

A distributed heuristic for decentralized workflow scheduling in global Grids

A distributed heuristic for decentralized workflow schedulin...

引用

International Workshop on Grid Computing

作者： Mustafizur Rahman Rajiv Ranjan Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Service Oriented Computing Research Group School of Computer Science and Engineering University of New South Wales Australia

Efficient scheduling is a key concern for the effectual execution of performance driven Grid applications, such as workflows. Many list heuristics have been developed for scheduling workflows in centralized Grid environment. However, in this paper, we present a distributed list heuristic for decentralized scheduling of workflow applications in global Grids. The simulation results show that the proposed scheduling approach is scalable with respect to increased workload on the system.

关键词： Processor scheduling Grid computing Resource management computer science Scheduling algorithm Laboratories software engineering Distributed computing Application software Peer to peer computing

来源：评论

学校读者我要写书评

暂无评论

Dependable workflow scheduling in global Grids

Dependable workflow scheduling in global Grids

引用

International Workshop on Grid Computing

In this paper, a reputation-based Grid workflow scheduling algorithm is proposed to counter the effect of inherent unreliability and temporal characteristics of computing resources in large scale, decentralized Grid overlays. The proposed approach builds upon structured peer-to-peer indexing and overlay networking techniques to create a scalable wide-area networking of Grid sites for supporting dependable scheduling of applications. The scheduling algorithm considers reliability of a Grid resource as a statistical property, which is globally computed in the decentralized Grid overlay based on dynamic feedbacks or reputation scores assigned by individual service consumers (Grid Resource Brokers). The proposed algorithm can dynamically adapt to changing resource conditions and offer significant performance gains as compared to traditional approaches in the event of unsuccessful job execution or resource failure. We evaluate and demonstrate the feasibility of our approach through an extensive trace driven simulation. The results show that our scheduling technique can reduce the makespan up to 50% and successfully isolate the failure-prone resources from the system.

关键词： Processor scheduling Scheduling algorithm Grid computing Counting circuits Large-scale systems Peer to peer computing Indexing Feedback Heuristic algorithms Performance gain

来源：评论

学校读者我要写书评

暂无评论

A Skipping SvS Intersection Algorithm

A Skipping SvS Intersection Algorithm

引用

International Conference on Computing, engineering and Information, ICC

作者： Jaratdech Chatchaval Veera Boonjing Pisit Chanvarasuth Software Systems Engineering Laboratory Mathematics and Computer Science Department Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Thailand School of Management Technology Sirindhorn International Institute of Technology Thammasat University Pathum Thani Thailand

In this paper, we propose to improve the SvS algorithm by skipping elements of the smaller set for reducing a search boundary. The boundary of skipped element is determined by boundaries of elements prior to and next to it. We perform experiments on uniformly distributed random datasets to compare our algorithm with the standard SvS. We use regression analysis to get an equation for determining an appropriate skipping number. Our results show that the skipping SvS algorithm using the equation obtained can reduce approximately 41% on the number of comparisons of the standard SvS algorithm.

关键词： Equations software algorithms software systems systems engineering and theory Laboratories mathematics computer science Conference management Technology management engineering management

来源：评论

学校读者我要写书评

暂无评论

Brain Image Registration Analysis Workflow for fMRI Studies on Global Grids

Brain Image Registration Analysis Workflow for fMRI Studies ...

引用

International Conference on Advanced Information Networking and Applications (AINA)

作者： Suraj Pandey William Voorsluys Musta?zur Rahman Rajkumar Buyya James Dobson Kenneth Chiu Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Department of Psychological & Brain Sciences Dartmouth College USA Grid Computing Research Laboratory Department of Computer Science State University of New York Binghamton NY USA

Scientific applications like neuroscience data analysis are usually compute and data-intensive. With the use of globally distributed resources and suitable middlewares, we can achieve much shorter execution time, distribute compute and storage load, and add greater flexibility to the execution of these scientific applications than we could ever achieve in a single compute *** this paper, we present the processing of image registration (IR) for functional magnetic resonance imaging(fMRI) studies on global grids. We characterize the application, list its requirements and transform it to a workflow. We then execute the application on Gridpsila5000 platform and present extensive performance results. We show that the IR application can have 1) significantly improved makespan, 2) distribution of compute and storage load among resources used, and 3) flexibility when executing multiple times on global Grids.

关键词： Brain Image registration Image analysis Distributed computing Grid computing Optical computing Image storage Neuroscience Data analysis Middleware

来源：评论

学校读者我要写书评

暂无评论

Quantized Feedback Stabilization of Hybrid Impulsive Control systems

Quantized Feedback Stabilization of Hybrid Impulsive Control...

引用

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Zhichun Yang Yiguang Hong Zhong-Ping Jiang Xiaoli Wang Chongqing Key Lab of Operations Research and System Engineering Department of Mathematics and Computer ScienceChongqing Normal University Institute of Systems Science Chinese Academy of Sciences Key Laboratory of Systems and Control Institute of Systems ScienceChinese Academy of Sciences Dept.of Electrical & Computer Engineering Polytechnic Institute of New York University

In this paper,we consider the feedback stabilization problem of impulsive linear control systems with quantized input signals and quantized output *** concepts including quasi-invariant sets and attracting sets for hybrid impulsive quantized systems are *** on these concepts and the analysis of related dynamic properties,we propose hybrid quantized control schemes to stabilize the considered impulsive systems via state and output feedback.

关键词： quantization impulsive systems hybrid control stabilization

来源：评论

学校读者我要写书评

暂无评论

Modeling and simulation of scalable Cloud computing environments and the CloudSim toolkit: Challenges and opportunities

Modeling and simulation of scalable Cloud computing environm...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Rajkumar Buyya Rajiv Ranjan Rodrigo N. Calheiros Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Department of Computer Science and Engineering University of New South Wales Sydney Australia Pontifical Catholic University of Rio Grande do Sul Porto Alegre Brazil

Cloud computing aims to power the next generation data centers and enables application service providers to lease data center capabilities for deploying applications depending on user QoS (Quality of Service) requirements. Cloud applications have different composition, configuration, and deployment requirements. Quantifying the performance of resource allocation policies and application scheduling algorithms at finer details in Cloud computing environments for different application and service models under varying load, energy performance (power consumption, heat dissipation), and system size is a challenging problem to tackle. To simplify this process, in this paper we propose CloudSim: an extensible simulation toolkit that enables modelling and simulation of Cloud computing environments. The CloudSim toolkit supports modelling and creation of one or more virtual machines (VMs) on a simulated node of a Data Center, jobs, and their mapping to suitable VMs. It also allows simulation of multiple Data Centers to enable a study on federation and associated policies for migration of VMs for reliability and automatic scaling of applications.

关键词： Computational modeling Cloud computing Power system modeling Voice mail Quality of service Resource management Scheduling algorithm Load modeling Energy consumption Virtual machining

来源：评论

学校读者我要写书评

暂无评论

A Heuristic for Mapping Virtual Machines and Links in Emulation Testbeds

A Heuristic for Mapping Virtual Machines and Links in Emulat...

引用

International Conference on Parallel Processing (ICPP)

作者： Rodrigo N. Calheiros Rajkumar Buyya César A.F. De Rose Pontifical Catholic University of Rio Grande do Sul Porto Alegre Brazil Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

Distributed system emulators provide a paramount platform for testing of network protocols and distributed applications in clusters and networks of workstations. However, to allow testers to benefit from these systems, it is necessary an efficient and automatic mapping of hundreds, or even thousands, of virtual nodes to physical hosts-and the mapping of the virtual links between guests to physical paths in the physical environment. In this paper we present a heuristic to map both virtual machines to hosts and virtual links between virtual machines to paths in the real system. We define the problem we are addressing, present the solution for it and evaluate it in different usage scenarios.

关键词： Virtual machining System testing Switches Grid computing Network topology Cloud computing software testing LAN emulation Wide area networks Parallel processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共131页 << < 98 99 100 101 102 103 104 105 106 107 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：