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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,380 篇 会议
1,974 篇 期刊文献
16 册 图书

馆藏范围

4,370 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,868 篇 工学
- 1,961 篇 计算机科学与技术...
- 1,517 篇 软件工程
- 590 篇 信息与通信工程
- 372 篇 控制科学与工程
- 356 篇 电气工程
- 318 篇 电子科学与技术（可...
- 258 篇 生物工程
- 220 篇 机械工程
- 204 篇 光学工程
- 168 篇 生物医学工程（可授...
- 151 篇 仪器科学与技术
- 144 篇 动力工程及工程热...
- 141 篇 化学工程与技术
- 99 篇 交通运输工程
- 90 篇 材料科学与工程（可...
- 90 篇 网络空间安全
- 82 篇 安全科学与工程
- 81 篇 土木工程
- 77 篇 建筑学
1,444 篇 理学
- 711 篇 数学
- 382 篇 物理学
- 313 篇 生物学
- 214 篇 统计学（可授理学、...
- 153 篇 化学
- 148 篇 系统科学
760 篇 管理学
- 506 篇 管理科学与工程(可...
- 283 篇 图书情报与档案管...
- 198 篇 工商管理
184 篇 医学
- 150 篇 临床医学
- 119 篇 基础医学(可授医学...
116 篇 法学
72 篇 经济学
57 篇 农学
22 篇 教育学
20 篇 军事学
10 篇 艺术学
9 篇 文学

主题

100 篇 feature extracti...
90 篇 semantics
77 篇 computational mo...
72 篇 computer science
70 篇 deep learning
67 篇 training
62 篇 computer archite...
58 篇 cloud computing
56 篇 laboratories
55 篇 optimization
53 篇 servers
52 篇 grid computing
51 篇 scalability
50 篇 protocols
49 篇 accuracy
48 篇 bandwidth
48 篇 predictive model...
44 篇 data models
43 篇 analytical model...
43 篇 machine learning

机构

128 篇 school of comput...
102 篇 national enginee...
93 篇 hubei province k...
88 篇 school of comput...
75 篇 department of co...
54 篇 services computi...
49 篇 services computi...
48 篇 school of softwa...
45 篇 hubei province k...
45 篇 services computi...
44 篇 national enginee...
43 篇 state key labora...
43 篇 school of cyber ...
39 篇 huazhong univers...
38 篇 tsinghua nationa...
36 篇 school of inform...
35 篇 school of comput...
35 篇 national enginee...
34 篇 key laboratory o...
34 篇 university of ch...

作者

234 篇 hai jin
189 篇 jin hai
52 篇 xiaofei liao
36 篇 liao xiaofei
34 篇 niyato dusit
33 篇 deqing zou
31 篇 dan feng
30 篇 shi xuanhua
28 篇 zou deqing
27 篇 shen linlin
27 篇 song wu
25 篇 hu shengshan
25 篇 wang wei
22 篇 li peng
20 篇 liu yang
19 篇 liu jun
19 篇 jiang wenbin
18 篇 xiaolong zhang
18 篇 zhang xiaolong
17 篇 li bo

语言

3,938 篇 英文
299 篇 其他
140 篇 中文
1 篇 德文
1 篇 日文

检索条件"机构=Services Computing Technology and System Laboratory School of Computer Science & Technology"

共 4370 条记录，以下是3801-3810 订阅

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

详细简洁

排序：

VirtCFT: A transparent VM-level fault-tolerant system for virtual clusters

VirtCFT: A transparent VM-level fault-tolerant system for vi...

引用

16th IEEE International Conference on Parallel and Distributed systems, ICPADS 2010

作者： Zhang, Minjia Jin, Hai Shi, Xuanhua Wu, Song Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9780769543079

A virtual cluster consists of a multitude of virtual machines and software components that are doomed to fail eventually. In many environments, such failures can result in unanticipated, potentially devastating failure behavior and in service unavailability. The ability of failover is essential to the virtual cluster's availability, reliability, and manageability. Most of the existing methods have several common disadvantages: requiring modifications to the target processes or their OSes, which is usually error prone and sometimes impractical;only targeting at taking checkpoints of processes, not whole entire OS images, which limits the areas to be applied. In this paper we present VirtCFT, an innovative and practical system of fault tolerance for virtual cluster. VirtCFT is a system-level, coordinated distributed checkpointing fault tolerant system. It coordinates the distributed VMs to periodically reach the globally consistent state and take the checkpoint of the whole virtual cluster including states of CPU, memory, disk of each VM as well as the network communications. When faults occur, VirtCFT will automatically recover the entire virtual cluster to the correct state within a few seconds and keep it running. Superior to all the existing fault tolerance mechanisms, VirtCFT provides a simpler and totally transparent fault tolerant platform that allows existing, unmodified software and operating system (version unawareness) to be protected from the failure of the physical machine on which it runs. We have implemented this system based on the Xen virtualization platform. Our experiments with real-world benchmarks demonstrate the effectiveness and correctness of VirtCFT. © 2010 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Meld: A real-time message logic debugging system for distributed systems

Meld: A real-time message logic debugging system for distrib...

引用

2010 IEEE Asia-Pacific services computing Conference, APSCC 2010

作者： Tu, Xuping Jin, Hai Fan, Xuepeng Ye, Jiang Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9780769543055

The largest difference between a distributed and a non-distributed system is that the former introduces network messages to the system. Network messages bring the scalability to a distributed system as well as complexity to it. Testing large-scale distributed systems is a great challenge, because some errors happen after a distributed sequence of events that involves machine and network failures. Meld is a checker that allows developers to specify expected message logic on a deployed distributed system, and that verifies these logics while the system is running. When Meld finds a problem it starts collecting more information that led to the problem, allowing developers to quickly find the root cause. Developers write message logics on Meld and Meld verifies them through analyzing the collected abstract of messages. By using binary instrumentation, Meld works almost transparently with debugged systems and can change logics to be checked at runtime. An evaluation with a deployed system shows that Meld can detect non-trivial correctness at runtime. © 2010 IEEE.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

Benchmark object for virtual machines

Benchmark object for virtual machines

引用

2nd International Workshop on Education technology and computer science, ETCS 2010

作者： Xie, Xia Chen, Qingcha Cao, Wenzhi Yuan, Pingpeng Jin, Hai Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9780769539874

The most cost effective approach to study the performance of virtualization technology is to use the benchmark. In this paper, we present a new evaluation methodology to deploy a benchmark evaluation with a Benchmark Object. By encapsulating three steps of traditional benchmark processes and implementing an instance from a Benchmark Object, users need not evaluate manually. Furthermore, a Benchmark Object simplifies the use of benchmarks and saves a great deal of duplicate work to deploy, configure and execute benchmarks and analyze their results. We develop the virtualization system performance evaluation management facility to implement and manage the concept of a Benchmark Object. We discuss this performance evaluation tool in detail, test the performance of the tool, and draw some conclusions. © 2010 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

Adaptive audio-aware scheduling in Xen virtual environment

Adaptive audio-aware scheduling in Xen virtual environment

引用

2010 ACS/IEEE International Conference on computer systems and Applications, AICCSA 2010

作者： Chen, Huacai Jin, Hai Hu, Kan Yuan, Minhao Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9781424477159

With the development of client virtualization technology, it has become an important tendency to apply soft real-time applications in virtual environment. Currently, most schedulers in VMM (i.e., virtual machine monitor) take the fairly sharing of processor resources and load balancing as a main concern, while show less regard to application diversity and I/O responsiveness. This would be unable to meet the requirement for latency-sensitive tasks, such as audio application. Audio stream may suffer from severe input buffer overrun or output buffer underrun, especially in the case that there is no real-time guarantee on virtualized clients under heavy load. In this paper, we introduce experiments to illustrate that current scheduler in Xen does a poor job in guaranteeing fluent audio playing, and then formulate the fluent playing conditions a scheduler should satisfy. A scheduling strategy with soft real-time support is proposed to improve the responsiveness of latency-sensitive guests. To implement our proposition, we extend the Credit scheduler by using flexible time slice and real-time priority. Our solution is audio-aware and capable of adjusting the real-time priority of guest domains adaptively, achieving a better experience for end-users. The experimental results show that audio glitches can be completely eliminated via our extended scheduler even when the system load is very high.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

XenMVM: Exploring potential performance of multi-core system in virtual machine environment

XenMVM: Exploring potential performance of multi-core system...

引用

International Conference on Ubiquitous Information Technologies and Applications

作者： Shao, Zhiyuan Huang, Jian Jin, Hai Hu, Kan Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9781424488124

In this work, we propose computing resource management system based on Xen VMM and multi-core system, called XenMVM. It adjusts the computing resource dynamically according to the actual workload generated by the applications running in the virtual machine to improve the resource utilization of the computer system. According to the shared L2 cache architecture of multi-core system, we propose the Underlying Layout Aware Scheduling (ULAS) which can schedule the virtual CPUs of virtual machines to the appropriate physical CPUs. The test result shows that ULAS can improve the performance about 4.5%-32.52%. Furthermore, to improve the whole performance of multiple virtual machines and meet the needs of specific jobs (i.e., urgent and I/O intensive) deployed in the virtual machines, a simplified method called Domain-based static priority is adopted in XenMVM. Using case studies we show that our proposal reduces the turnover time of the whole system by 20.45% compared with FCFS scheduling scheme. ©2010 IEEE.

关键词： Virtual machine

来源：评论

学校读者我要写书评

暂无评论

MISM: Modelica-based interactive scheduling mechanism for virtual educational experiments

MISM: Modelica-based interactive scheduling mechanism for vi...

引用

5th Annual ChinaGrid Conference, ChinaGrid 2010

作者： Jiang, Wenbin Tang, Zhen Jin, Hai Liu, Chao Services Computing Technology and System Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9780769541068

Different virtual educational experiments (VEEs) have different frameworks and implementations in different disciplines. How to integrate different VEEs into one unified supporting platform is a challenging problem. The key problem of this integration is how to build a unified mathematical model for VEEs of diversified disciplines. However, most existing multi-domain uniform modeling (MDUM) approaches such as Modelica are research-oriented and lack of real time interaction, which does not meet the requirement of virtual experiments that are user-oriented and highly interactive. To tackle above problem, a Modelica-based interactive scheduling mechanism (MISM) for VEE is proposed. In MISM, user-oriented interaction is based on a best step length algorithm and an interactive event step algorithm. The throughput is considered in the former and the real time interaction is resolved by the latter. Experimental results shows that the approaches presented can meet the requirements of VEEs efficiently. © 2010 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Energy Optimal Selection of Access Points in Wireless Sensor Networks

Energy Optimal Selection of Access Points in Wireless Sensor...

引用

International Conference on Innovative Mobile and Internet services in Ubiquitous computing (IMIS)

作者： Qin Xin Xiaolan Yao Wei He State Key Laboratory of Power Transmission Equipment & System Security and New Technology College of Electrical Engineering Chongqing University China Department of Applied Mathematics Universite Catholique de Louvain Louvain-la-Neuve Belgium School of Computer Science National University of Defense Technology Changsha China

In a Wireless Sensor Networks (WSN), there are normally one or several sensor nodes working as Access Points (AP), which are able to provide a relay for other sensors to an external Internet connection. Since WSNs are resource constrained, the selection of APs is very crucial in economizing power usage. In this paper, we study the optimal selection of APs to maximize the WSN lifetime. This issue is closely related to routing protocols in WSN. We propose a new adaptive multi-path routing protocol to reduce the energy consumption and guarantee QoS requirements with respect to transmission delay. In this paper, we formulate the issues we mentioned above as a non-linear NP-hard optimization problem. Due to the high computation complexity of this problem, we proposed two polynomial-time approximation algorithms to optimally select APs in the WSN that based on the framework in. Combining with our new adaptive multi-path routing protocol, our preliminary simulation results show that our schemes can save more than 20% energy compared with the existing APs selection schemes with single path routing protocols.

关键词： Wireless sensor networks Routing protocols Wireless communication Equations Mobile communication Routing Internet

来源：评论

学校读者我要写书评

暂无评论

RESTful web service composition: Extracting a process model from Linear Logic theorem proving

RESTful web service composition: Extracting a process model ...

引用

International Conference on Next Generation Web services Practices (NWeSP)

作者： Xia Zhao Enjie Liu Gordon J. Clapworthy Na Ye Yueming Lu Department of Computer Science and Technology University of Bedfordshire Luton UK School of Electronic and Information Engineering Xi'an Jiaotong University Xian China School of Information and Control Engineering Xi'an University of architecture and technology Xian China Key Laboratory of Trustworthy Distributed Computing and Service Ministry of Education Beijing University of Posts and Telecommunications Beijing China

This paper introduces a two-stage Linear Logic based program synthesis approach to automatic RESTful web service composition. The Linear Logic theorem proof is applied at both resource and service invocation method levels, which greatly improves the searching efficiency and guarantees the correctness and completeness of the service composition. Furthermore, the process calculus is used as formalism for the composition process, which enables the approach to be executable at the business management level. The process calculus is attached to the Linear Logic inference rules in the style of type theory, so the process model is extracted directly from the complete proof. An example is given to show the extraction of a process model from a Linear Logic proof search.

关键词： Web services Business Calculus Educational institutions Next generation networking Marine vehicles Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Affinity-aware proportional share scheduling for virtual machine system

Affinity-aware proportional share scheduling for virtual mac...

引用

International Conference on Grid and Cloud computing

作者： Chen, Huacai Jin, Hai Hu, Kan Services Computing Technology and System Lab. Cluster and Grid Computing Lab. School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9780769543130

VM (virtual machine) scheduling is a fundamental topic of virtualization, and fairness is its important design goal. Most VMMs (virtual machine monitor) provide PS (proportional share) schedulers. A PS scheduler assign a weight to every VM to declare the computational resource requirement, and VM is allocated CPU cycles proportional to weight. CPU-affinity is a property of VCPU (virtual CPU) to describe which PCPUs (physical CPU) it can run on. However, current definition of weight does not collaborate well with CPU-affinity. It behaves as if all PCPUs are available to all VMs. We expose the issue by using Xen's Credit scheduler, and show that CPU cycles can be fairly allocated to VMs in the default free-mapping case (no affinity restriction), but not so in restricted-mapping cases (when affinities are configured). This fairness issue makes it necessary to extend the meaning of weight, so as to reflect the resource requirements in all cases. In this paper we reconcile the meaning of a domain's weight with CPU-affinity, and improve Credit scheduler as an affinity-aware one. Experimental results show that our affinity-aware proportional share scheduler (named Credit-APS scheduler) brings a good fairness both in free-mapping and restricted-mapping cases. © 2010 IEEE.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

A hierachical VoIP system based on peer-to-peer SIP: A manageable approach

A hierachical VoIP system based on peer-to-peer SIP: A manag...

引用

10th IEEE International Conference on computer and Information technology, CIT-2010, 7th IEEE International Conference on Embedded Software and systems, ICESS-2010, 10th IEEE Int. Conf. Scalable computing and Communications, ScalCom-2010

作者： Yu, Linchen Liao, Xiaofei Jin, Hai Qin, Pengcheng Services Computing Technology and System Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China School of Computer China University of Geosciences Wuhan 430074 China

ISBN: (纸本)9780769541082

Peer-to-Peer SIP is proposed to leverage Peer-to- Peer computing to control multimedia sessions in a decentralized manner. A lot of companies can be benefited if conventional SIP environment does not require the configuration and maintenance of central servers. However, existing P2PSIP systems put too much emphasis on the decentralization of SIP elements and the briefness of distribution. To some extent, P2PSIP system is manageable, but the control of the entire system is still relatively weak. In this paper, we propose a hierarchical P2PSIP system to address the manageable problems. Actual deployment and exhaustive simulations are performed to evaluate the performance of our P2PSIP schemes. Results indicate that the manageable approach not only solves the control liability problem, but also performs good reliability, scalability, and interoperability. © 2010 IEEE.

关键词： Voice/data communication systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共437页 << < 377 378 379 380 381 382 383 384 385 386 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：