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

Topology awareness algorithm for virtual network mapping

Journal of Zhejiang University-Science C(computers and Electronics) 2012年第3期13卷 178-186页

作者： Xiao-ling LI Huai-min WANG Chang-guo GUO Bo DING Xiao-yong LI Wen-qi BI Shuang TAN National Key Laboratory of Parallel and Distributed Processing National University of Defense Technology.Changsha 410073China School of Computer National University of Defense TechnologyChangsha 410073China China Electronic Systems Engineering Corporation Beijing 100039China The Northern Institute of Electronic Equipment of China Beijing 100083China

Network virtualization is recognized as an effective way to overcome the ossification of the Internet. However, the virtual network mapping problem (VNMP) is a critical challenge, focusing on how to map the virtual networks to the substrate network with efficient utilization of infrastructure resources. The problem can be divided into two phases: node mapping phase and link mapping phase. In the node mapping phase, the existing algorithms usually map those virtual nodes with a complete greedy strategy, without considering the topology among these virtual nodes, resulting in too long substrate paths (with multiple hops). Addressing this problem, we propose a topology awareness mapping algorithm, which considers the topology among these virtual nodes. In the link mapping phase, the new algorithm adopts the k-shortest path algorithm. Simulation results show that the new algorithm greatly increases the long-term average revenue, the acceptance ratio, and the long-term revenue-to-cost ratio (R/C).

关键词： Network virtualization Ossification Virtual network （VN） mapping Substrate network （SN） Topology awareness Acceptance ratio

来源：评论

学校读者我要写书评

暂无评论

Inducing taxonomy from tags: An agglomerative hierarchical clustering framework

Inducing taxonomy from tags: An agglomerative hierarchical c...

引用

8th International Conference on Advanced Data Mining and Applications, ADMA 2012

作者： Li, Xiang Wang, Huaimin Yin, Gang Wang, Tao Yang, Cheng Yu, Yue Tang, Dengqing National Laboratory for Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha China College of Mechatronics Engineering and Automation National University of Defense Technology Changsha China

ISBN: (纸本)9783642355264

By amassing 'wisdom of the crowd', social tagging systems draw more and more academic attention in interpreting Internet folk knowledge. In order to uncover their hidden semantics, several researches have attempted to induce an ontology-like taxonomy from tags. As far as we know, these methods all need to compute an overall or relative generality for each tag, which is difficult and error-prone. In this paper, we propose an agglomerative hierarchical clustering framework which relies only on how similar every two tags are. We enhance our framework by integrating it with a topic model to capture thematic correlations among tags. By experimenting on a designated online tagging system, we show that our method can disclose new semantic structures that supplement the output of previous approaches. Finally, we demonstrate the effectiveness of our method with quantitative evaluations. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Taxonomies

来源：评论

学校读者我要写书评

暂无评论

Game-based software errors detection

引用

Advances in Information Sciences and Service Sciences 2012年第15期4卷 426-433页

作者： Chen, Jie National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha 410073 China

Software security is one of the most important aspects of software quality, but errors in programs are still inevitable. Despite the development of static and dynamic analysis, the useful but costly manual analysis is still heavily used. In this paper, we propose a human computation game based software error detection mechanism. The purpose of our mechanism is to improve the effectiveness and efficiency of manual error detection. The framework includes four main steps: 1) get all suspicious error locations by static tools according to different security properties;2) slice the programs from each error location;3) construct games for each slice and show them to players;4) collect game information and generate the final error report. We evaluate our approach by instantiating it for detecting errors of buffer overflow. The results show that our technique is successful in practice.

关键词： Error detection

来源：评论

学校读者我要写书评

暂无评论

Simulation-based evaluation of the Imagine stream processor with scientific programs

引用

International Journal of High Performance Computing and Networking 2012年第2期7卷 99-110页

作者： Che, Yonggang Xu, Chuanfu Lu, Pingjing Wang, Zhenghua National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha 410073 Hunan China

This paper evaluates the performance and efficiency of Imagine stream processor for scientific programs. It classifies scientific programs into three classes based on their computation to memory access ratios. Typical programs are selected and measured on a simulated Imagine and two general-purpose processors. Comparative analysis is made with special attentions on the computational efficiency, power efficiency and performance bottleneck. The results show that programs in Class 1 attain high performance and high computational efficiency on Imagine. Their performance is only restricted by limited ILP and load imbalance across ALUs. Programs in Class 2 attain moderate performance but non-satisfactory computational efficiency on Imagine due to limited LRF and SRF reuse. Programs in Class 3 attain extremely low performance on Imagine because most of the execution time is spent on DRAM accesses. The estimated power efficiency on Imagine is excellent except for programs in Class 3. Copyright © 2012 Inderscience Enterprises Ltd.

关键词： Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Prediction-based federated management of multi-scale resources in cloud

引用

Advances in Information Sciences and Service Sciences 2012年第6期4卷 324-334页

作者： Shi, Peichang Wang, Huaimin Yin, Gang Lu, Fengshun Wang, Tianzuo National Laboratory for Parallel and Distributed Processing College of Computer National University of Defense Technology Changsha China

The connotation of the cloud resources have been extended to be multi-scale resources, which includes central resources as presented by data center, edge resources as presented by Content Delivery Network (CDN) and end resources as presented by Peer-to-Peer (P2P). Under the development situation of the scale of the cloud services, it is difficult to provide services (e.g. streaming distribution) with guaranteed QoS only relying on single type of resource (e.g. central resources) to geo-distributed users. Therefore, making multi-resources cooperative to provide reliable services is necessary. However, it is a great challenge to realize Federated Management of Multi-scale Resources (FMMR). In this research, we propose the idea of prediction-based FMMR, and present the problem formulation introducing economic profit from the perspective of CDN operators. Then, we present the method of Time-series Prediction based on Wavelet Analysis (TPWA) to predict the resource requirements of streaming cloud services in CDN. Finally, the predictability of the resource requirement pattern of the streaming cloud service and the effectiveness of our proposed method have been verified, based on the traces collected from a real CDN entity.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Topology-aware deployment of scientific applications in cloud computing

Topology-aware deployment of scientific applications in clou...

引用

2012 IEEE 5th International Conference on Cloud Computing, CLOUD 2012

作者： Fan, Pei Chen, Zhenbang Wang, Ji Zheng, Zibin Lyu, Michael R. National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha 410073 China Dept. of Computer Science and Engineering Chinese University of Hong Kong Hong Kong Hong Kong

ISBN: (纸本)9780769547558

Nowadays, more and more scientific applications are moving to cloud computing. The optimal deployment of scientific applications is critical for providing good services to users. Scientific applications are usually topology-aware applications. Therefore, considering the topology of a scientific application during the development will benefit the performance of the application. However, it is challenging to automatically discover and make use of the communication pattern of a scientific application while deploying the application on cloud. To attack this challenge, in this paper, we propose a framework to discover the communication topology of a scientific application by pre-execution and multi-scale graph clustering, based on which the deployment can be optimized. Comprehensive experiments are conducted by employing a well-known MPI benchmark and comparing the performance of our method with those of other methods. The experimental results show the effectiveness of our topology-aware deployment method. © 2012 IEEE.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

Security issues and solutions in cloud computing

Security issues and solutions in cloud computing

引用

32nd IEEE International Conference on distributed Computing Systems Workshops, ICDCSW 2012

作者： You, Pengfei Peng, Yuxing Liu, Weidong Xue, Shoufu National Key Laboratory for Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha China Jiangsu Automation Research Institute Jiangsu China Air Defense Forces Academy CPLA Zhengzhou Henan China

ISBN: (纸本)9781467314237

Recently, Cloud computing, as one of the hottest words in IT world, has drawn great attention. Many IT companies such as IBM, Google, Amazon, Microsoft, Yahoo and others vigorously develop cloud computing systems and related products to customers. However, there are still some difficulties for customers to adopt cloud computing, in which many security issues exist, because data for a customer is stored and processed in cloud, not in a local machine. This paper briefly introduces cloud computing and its key concepts. In particularly, we intend to discuss security requirements and security issues involving data, application and virtualization in cloud computing, as well as current solutions to these issues. © 2012 IEEE.

关键词： Virtualization

来源：评论

学校读者我要写书评

暂无评论

UCBench: A user-centric benchmark suite for C code static analyzers

UCBench: A user-centric benchmark suite for C code static an...

引用

International Conference on Information Science and Technology (ICIST)

作者： Jiangchao Liu Liqian Chen Longming Dong Ji Wang National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha China

In recent years, many C code static analyzers, with different abilities of bug detection, have appeared and been applied in various domains. There are so many choices that it becomes hard for programmers to know in detail the strengths as well as limitations of all these analyzers and to find the most suitable ones for their code. In this paper, we propose a benchmark for C code static analyzers, named UCBench, to provide quantitative and qualitative measurements for evaluating analyzers. Being different from other benchmarks, UCBench concentrates more on users' requirements rather than the improvements of bug detecting technique itself. The major components of UCBench include test case database, evaluation metrics and harness. We classify test cases into several groups according to their attributes and design various user-centric evaluation metrics. Besides, we develop some harness to automate the evaluation process. Finally, we demonstrate our benchmark suite over four C code static analyzers: Flawfinder, Cppcheck, Uno and Splint.

关键词： Benchmark testing Libraries Measurement computer bugs Databases Standards Monitoring

来源：评论

学校读者我要写书评

暂无评论

Precise pointer analysis for list-manipulating programs based on quantitative separation logic

Precise pointer analysis for list-manipulating programs base...

引用

International Conference on Information Science and Technology (ICIST)

作者： Longming Dong Liqian Chen Jiangchao Liu Renjian Li National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha China

Full precise pointer analysis has been a challenging problem, especially when dealing with dynamically-allocated memory. Separation logic can describe pointer alias formally, but cannot describe the quantitative reachability between pointers. In this paper, we present a symbolic framework for analyzing the reachability between pointers in list-manipulating programs. The precise points-to relations of pointers in lists are described by formulae of quantitative separation logic (QSL), and the analysis framework is based on the operational and rearrangement rules about the assignments of pointers. The fixpoint calculus and the counter symbolic abstraction are used to find loop invariants. We can get precise relations between pointers at each point of list-manipulating programs. In the end, several initial examples about list-manipulating programs are given to show that the approach can get precise pointer analysis for list-manipulating programs.

关键词： Radiation detectors Shape Instruments Calculus Semantics Data structures Argon

来源：评论

学校读者我要写书评

暂无评论

Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures

Invalid Pointer Dereferences Detection for CPS Software Base...

引用

International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C)

作者： Longming Dong Wei Dong Liqian Chen National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha China

Invalid pointer dereferences, such as null pointer dereferences, dangling pointer dereferences and double frees, are a prevalent source of software bugs in CPS software, due to flexible dereferencing pointers along various pointer fields. Existing tools have high overhead or are incomplete, thereby limiting their efficiency in checking the kind of CPS software with shared and mutable memory. In this paper, we present a novel extended pointer structure for detecting all invalid pointer dereferences in this kind of CPS software. We propose an invalid pointer dereferences detection algorithm based on the uniform transformation of abstract heap states. Experimental evaluation about a set of large C benchmark programs shows that the proposed approach is sufficiently efficient in detecting invalid pointer dereferences of CPS software with shared and mutable memory.

关键词： Abstracts Software Frequency modulation Semantics Switches Detection algorithms Runtime

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：