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

IEEE International Conference on cloud computing, cloud

作者： Mohsen Amini Salehi P. Radha Krishna Krishnamurty Sai Deepak Rajkumar Buyya Cloud Computing and Distributed Systems (CLOUDS) Laboratory Department of Computing and Information Systems The University of Melbourne Australia Infosys Research Laboratories India

ISBN: (纸本)9781467328920

Energy efficiency is one of the main challenge hat data centers are facing nowadays. A considerable portion of the consumed energy in these environments is wasted because of idling resources. To avoid wastage, offering services with variety of SLAs (with different prices and priorities) is a common practice. The question we investigate in this research is how the energy consumption of a data center that offers various SLAs can be reduced. To answer this question we propose an adaptive energy management policy that employs virtual machine(VM) preemption to adjust the energy consumption based on user performance requirements. We have implementedour proposed energy management policy in Haize a as a real scheduling platform for virtualized data centers. Experimental results reveal 18% energy conservation (up to 4000 kWh in 30 days) comparing with other baseline policies without any major increase in SLA violation.

关键词： Switches Energy management Energy consumption Engines Equations Mathematical model Virtual machining

来源：评论

学校读者我要写书评

暂无评论

Machine Learning in Energy and Thermal-aware Resource Management of cloud Data Centers: A Taxonomy and Future Directions

Machine Learning in Energy and Thermal-aware Resource Manage...

引用

Federated Conference on Computer Science and information systems (FedCSIS)

作者： Shashikant Ilager Rajkumar Buyya Cloud Computing and Distributed Systems (CLOUDS) Lab School of Computing and Information Systems University of Melbourne Australia Institute of Information Systems Engineering TU Wien Austria

ISBN: (数字)9788396960160

ISBN: (纸本)9798350359718

cloud data centres (CDCs) are the backbone infrastructures of modern digital society, but they also consume huge amounts of energy and generate heat. To manage CDC resources efficiently, we must consider the complex interactions between diverse workloads and data centre components. However, most existing resource management systems rely on simple and static rules that fail to capture these complex interactions. Therefore, we require new data-driven Machine learning-based resource management approaches that can efficiently capture the interdependencies between parameters and guide resource management systems. This review describes the in-depth analysis of the existing resource management approaches in CDCs for energy and thermal efficiency. It mainly focuses on learning-based resource management systems in data centres and also identifies the need for integrated computing and cooling systems management. A taxonomy on energy and thermal efficient resource management in data centres is proposed. Furthermore, based on this taxonomy, existing resource management approaches from server level, data centre level, and cooling system level are discussed. Finally, key future research directions for sustainable cloud computing services are proposed.

关键词： Data centers cloud computing Cooling Reviews Taxonomy Machine learning Thermal management Thermal analysis Resource management Servers

来源：评论

学校读者我要写书评

暂无评论

Computational Offloading or Data Binding? Bridging the cloud Infrastructure to the Proximity of the Mobile User

Computational Offloading or Data Binding? Bridging the Cloud...

引用

IEEE International Conference on Mobile cloud computing, Services, and Engineering

作者： Huber Flores Satish Narayana Srirama Rajkumar Buyya University of Tartu Institute of Computer Science Mobile Cloud Lab University of Melbourne Department of Computing and Information Systems Cloud Computing and Distributed Systems Laboratory (CLOUDS)

ISBN: (纸本)9781479944248

Mobile and cloud computing are converging as the prominent technologies that are leading the change to the post personal computing (PC) era. Computational offloading and data binding are the core techniques that foster to elastically augment the capabilities of low-power devices, such as smartphones. Mobile applications may be bonded to cloud resources by following a task delegation or code offloading criteria. In a delegation model, a handset can utilize the cloud in a service-oriented manner to delegate asynchronously a resource-intensive mobile task by direct invocation of the service. In contrast, in an offloading model, a mobile application is partitioned and analyzed so that the most computational expensive operations at code level can be identified and offloaded to a remote cloud-based surrogate. We compared in this paper, the mobile cloud computing models for offloading and delegation. We utilized our own frameworks for computational offloading and data binding in the analysis. While in principle, offloading and delegation are viable methods to augment the capabilities of the mobile devices with cloud power, they enrich the mobile applications from different perspectives at diverse computational scales.

关键词： Mobile cloud computing Access Models Code Offloading Task Delegation Middleware Mobile Crowdsourcing

来源：评论

学校读者我要写书评

暂无评论

Towards automatic update of access control policy 24

Towards automatic update of access control policy

引用

24th Large Installation System Administration Conference, LISA 2010

作者： Hu, Jinwei Zhang, Yan Li, Ruixuan Intelligent Systems Laboratory School of Computing and Mathematics University of Western Sydney Sydney1797 Australia Intelligent and Distributed Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan430074 China

Role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are subject to changes, so that the associated configurations need to be updated accordingly in order to reflect the systems' evolution. Access control update is complex, especially for large-scale systems;because the updated system is expected to meet necessary constraints. This paper presents a tool, RoleUpdater, which answers administrators' high-level update request for role-based access control systems. RoleUpdater is able to automatically check whether a required update is achievable and, if so, to construct a reference model. In light of this model, administrators could fulfill the changes to RBAC systems. RoleUpdater is able to cope with practical update requests, e.g., that include role hierarchies and administrative rules in effect. Moreover, RoleUpdater can also provide minimal update in the sense that no redundant changes are implemented. © LISA 2010.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Progress in Advanced computing and Intelligent Engineering 1

引用

丛书名： Advances in Intelligent systems and computing

1000年

作者： Chhabi Rani Panigrahi Bibudhendu Pati Prasant Mohapatra Rajkumar Buyya Kuan-Ching Li

ISBN: (数字)9789811565847

ISBN: (纸本)9789811565830

This book features high-quality research papers presented at the 4th International Conference on Advanced computing and Intelligent Engineering (ICACIE 2019), Department of Computer Science, Rama Devi Women’s University, Bhubaneswar, Odisha, India. It includes sections describing technical advances and contemporary research in the fields of advanced computing and intelligent engineering, which are based on the presented articles. Intended for postgraduate students and researchers working in the discipline of computer science and engineering, the book also appeals to researchers in the domain of electronics as it covers hardware technologies and future communication technologies.

关键词： Signal, Image and Speech Processing Computational Intelligence Communications Engineering, Networks

来源：评论

学校读者我要写书评

暂无评论

Metamaterial absorbers realized in an X-band rectangular waveguide

引用

Chinese Physics B 2012年第11期21卷 474-478页

作者：黄勇军文光俊李建钟靖平王平孙元华 O.Gordon 朱卫仁 Key Laboratory of Broadband Optical Fiber Transmission&Communication Networks School of Communication and Information EngineeringUniversity of Electronic Science and Technology of China Advanced Computing and Simulation Laboratory(AχL) Department of Electrical and Computer Systems EngineeringMonash University

In this paper, we demonstrate six types of metamaterial absorbers （MMAs） by measuring their absorptivities in an X-band （8 12 GHz） rectangular waveguide. Some of the MMAs have been demonstrated previously by using the free space measurement method, and the others are proposed firstly in this paper. The measured results show that all of the six MMAs exhibit high absorptivities above 98%, which have similar absorbing characteristics to those measured in the free space. The numerically obtained surface current densities for each MMA show that the absorbing mechanism is the same as that under the free space conditions. Such a demonstration method is superior to the conventional free space measurement method due to the small-scale test samples required, the simple measure device, and its low cost. Most importantly, the proposed method opens a way to enable MMAs to be used in microwave applications such as matched terminations.

关键词： metamaterial absorber electric resonator rectangular waveguide

来源：评论

学校读者我要写书评

暂无评论

Real-time enhancement for Xen hypervisor

Real-time enhancement for Xen hypervisor

引用

International Workshop on Wireless Network Algorithm and Theory

作者： Yu, Peijie Xia, Mingyuan Lin, Qian Zhu, Min Gao, Shang Qi, Zhengwei Chen, Kai Guan, Haibing School of Software Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China School of Electronic Information and Electrical Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China

ISBN: (纸本)9780769543222

System virtualization, which provides good isolation, is now widely used in server consolidation. Meanwhile, one of the hot topics in this field is to extend virtualization for embedded systems. However, current popular virtualization platforms do not support real-time operating systems such as embedded Linux well because the platform is not real-time aware, which will bring low-performance I/O and high scheduling latency. The goal of this paper is to optimize the Xen virtualization platform to be real-time operating system friendly. We improve two aspects of the Xen virtualization platform. First, we improve the xen scheduler to manage the scheduling latency and response time of the real-time operating system. Second, we import multiple real-time operating systems balancing method. Our experiment demonstrates that our enhancement to the Xen virtualization platform support real-time operating system well and the improvement to the real-time performance is about 20%. © 2010 IEEE.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

Combining static and dynamic analysis to discover software vulnerabilities

Combining static and dynamic analysis to discover software v...

引用

2011 5th International Conference on Innovative Mobile and Internet Services in Ubiquitous computing, IMIS 2011

作者： Zhang, Ruoyu Huang, Shiqiu Qi, Zhengwei Guan, Haibin School of Software Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China School of Electronic Information and Electrical Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China

ISBN: (纸本)9780769543727

Dynamic taint analysis has been proved to be very effective in solving security problems recently, especially in software vulnerability detection and malicious behavior prevention. Unfortunately, most of current researches in this field focus on the runtime protection, and are incapable to discover the potential threat in the software. This paper describes a novel approach to overcome the limitation of traditional dynamic taint analysis by integrating static analysis into the system and presents framework SDCF. The framework translates the binary into assembly code and tracks the data flow. Then with static method, the system can get the important information which can't be gained at runtime, such as unexecuted part of the code. When this information is acquired, they will be provided to the client tools. The practicability of the framework is validated by implementing and evaluating a tool built on SDCF. The result of the experiments shows that our system is able to detect latent software vulnerabilities efficiently. © 2011 IEEE.

关键词： Static analysis

来源：评论

学校读者我要写书评

暂无评论

Static program analysis assisted dynamic taint tracking for software vulnerability discovery

Static program analysis assisted dynamic taint tracking for ...

引用

作者： Zhang, Ruoyu Huang, Shiqiu Qi, Zhengwei Guan, Haibing School of Software Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China School of Electronic Information and Electrical Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiao Tong University China

The evolution of computer science has exposed us to the growing gravity of security problems and threats. Dynamic taint analysis is a prevalent approach to protect a program from malicious behaviors, but fails to provide any information about the code which is not executed. This paper describes a novel approach to overcome the limitation of traditional dynamic taint analysis by integrating static analysis into the system and presents framework SDCF to detect software vulnerabilities with high code coverage. Our experiments show that SDCF is not only able to provide efficient runtime protection by introducing an overhead of 4.16× based on the taint tracing technique, but is also capable of discovering latent software vulnerabilities which have not been exploited, and achieve code coverage of more than 90%. © 2011 Elsevier Ltd. All rights reserved.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL

引用

Science China(information Sciences) 2015年第11期58卷 125-144页

作者： AHMAD Ehsan DONG YunWei LARSON Brian Lü JiDong TANG Tao ZHAN NaiJun School of Computer Science Northwestern Polytechnical University State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Computing and Information Systems Kansas State University State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University

Train control systems like most digital controllers are, by definition, hybrid systems as they interact with or try to control some aspects of the physical world. Detailed behavior modeling with constraints specification and formal verification, required for reliability prediction, is a great challenge for hybrid system *** control systems further intensify this challenge with extensive interaction between computing units and their physical environment and their mutual dependence on each other. In this paper, we investigate behavior modeling and formal verification of Chinese Train Control System Level 3(CTCS-3) using Architectural Analysis & Design Language(AADL) to cope with this challenge. AADL is an architecture description language for embedded systems and is based on model-based engineering paradigm. Along with structural modeling of embedded systems using the core language constructs, AADL also provides support for language extension through annex sublanguages. In system requirements specification document, the behavior of the CTCS-3 is specified as a set of basic operation scenarios that cooperate with each other to achieve safe and secure functionality of *** Authority(MA) scenario, explored in this paper, is considered as a basic and most crucial scenario to prevent trains from colliding with each other. The detailed discrete behavior of control system is modeled and verified using the Behavior Language for Embedded systems with Software(BLESS) annex sublanguage of AADL, and the continuous behavior of train with the cyber–physical interaction(communication between train and control system) is modeled using the Hybrid annex sublanguage. The behavior of the MA scenario at system level is verified using the Hybrid Hoare Logic theorem prover. Behavior constraints are specified as assertions using first-order logic formulas augmented with a simple temporal operator.

关键词： AADL behavior modeling BLESS annex CTCS hybrid annex train control system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：