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

Demand-Driven Memory Leak Detection Based on Flow-and Context-Sensitive Pointer Analysis

Journal of Computer Science & Technology 2009年第2期24卷 347-356页

作者：王戟马晓东董威徐厚峰刘万伟 National Laboratory for Parallel and Distributed Processing National University of Defense Technology

We present a demand-driven approach to memory leak detection algorithm based on flow- and context-sensitive pointer analysis. The detection algorithm firstly assumes the presence of a memory leak at some program point and then runs a backward analysis to see if this assumption can be disproved. Our algorithm computes the memory abstraction of programs based on points-to graph resulting from flow- and context-sensitive pointer analysis. We have implemented the algorithm in the SUIF2 compiler infrastructure and used the implementation to analyze a set of C benchmark programs. The experimental results show that the approach has better precision with satisfied scalability as expected.

关键词： flow-sensitive memory leak detection demand-driven static analysis

来源：评论

学校读者我要写书评

暂无评论

Large-scale Network Topology Generation for Emulation Environment

Large-scale Network Topology Generation for Emulation Enviro...

引用

The First International Conference on Networking and distributed Computing(第一届网络与分布式计算国际会议 ICNDC 2010)

作者： Xu Fei Li Jin Kuang Xiao-hui Huang Min-huan Che Yong-gang National Key Laboratory of Science and Technology on Information System Security Beijing Institute National Key Laboratory of Science and Technology on Information System Security Beijing Institute National Laboratory for Parallel and Distributed Process National University of Defense Technology

Network emulation environment is great importance to the research of network protocols, applications and security mechanism. Large-scale network topology generation b one of key technologies to construct network emulation environment. In this paper, a new large-scale network topology generation framework called LSNTGF is proposed, which divides the network topology into three hierarchies: AS, router and terminal node. It contains the assignment mechanism to bandwidth of each link and IP address of each node. The framework is evaluate by implementation, and the result illustrate it is efficient to network emulation environment for network protocols and security research.

关键词： Large-scale network topology generation bandwidth assignment IP address assignment

来源：评论

学校读者我要写书评

暂无评论

A consistency algorithm for causal and totally ordered event delivery in DVE

A consistency algorithm for causal and totally ordered event...

引用

International Conference on Computer Science and Information Technology (CSIT)

作者： Hangjun Zhou Wei Zhang Yuxing Peng Sikun Li Department of Information Management Hunan College of Finance and Economics Changsha Hunan China Key Laboratory of Science and Technology for National Defence of Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha Hunan China

How to preserve causal and totally ordered event delivery is an important issue in real-time serverless DVE(distributed Virtual Environment). However, most of the related works are designed to maintain causal order merely or time stamped order with intensive computation and bandwidth overhead. In this paper, we proposed a novel distributed algorithm to maintain the before-and-after relationship between events, both causal and concurrent, of DVE at each individual node. Several simulation experiments are carried out to evaluate the performance of our algorithm and the results demonstrate that the algorithm is effective in preserving causal and totally ordered event delivery and more efficient than the previous algorithms.

关键词： Artificial neural networks Silicon Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Personalized Reputation Model in Cooperative distributed Systems

Personalized Reputation Model in Cooperative Distributed Sys...

引用

International Conference on parallel and distributed Systems (ICPADS)

作者： Wei Liu Yang-Bin Tang Huai-Min Wang School of Computer National University of Defense Technology Changsha Hunan China National Laboratory for Parallel and Distributed Processing Changsha Hunan China Institute of Science National University of Defense Technology Changsha Hunan China

Reputation systems provide a promising way to build trust relationships between users in distributed cooperation systems, such as file sharing, streaming, distributed computing and social network, through which a user can distinguish good services or users from malicious ones and cooperate with them. However, most reputation models mainly focus on evaluating the qualities of different services in one dimension, but care less about the preferences of different users. This paper proposes a personalized reputation model which provides each user a personalized trust view on others according to his preference. In our approach, we aggregate the users' preferences with collaborative filtering method and qualify it with user similarity which is integrated into the computing of reputation values. The experimental results suggest that our model can resist possible kinds of malicious behaviors efficiently.

关键词： Computational modeling Measurement Indexes Aggregates Resists Peer to peer computing Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Reuse-aware modulo scheduling for stream processors 10

Reuse-aware modulo scheduling for stream processors

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Li Wang Jingling Xue Xuejun Yang National Laboratory of Parallel and Distributed Processing School of Computer National University of Defense Technology China Programing Languages & Compilers Group School of Computer Science and Engineering University of New South Wales Australia

ISBN: (纸本)9783981080162

This paper presents reuse-aware modulo scheduling to maximizing stream reuse and improving concurrency for stream-level loops running on stream processors. The novelty lies in the development of a new representation for an unrolled and software-pipelined stream-level loop using a set of reuse equations, resulting in simultaneous optimization of two performance objectives for the loop, reuse and concurrency, in a unified framework. We have implemented this work in the compiler developed for our 64-bit FT64 stream processor. Our experimental results obtained on FT64 and by simulation using nine representative stream applications demonstrate the effectiveness of the proposed approach.

关键词： Processor scheduling Concurrent computing Streaming media Kernel Delay Equations Pipeline processing Laboratories Program processors distributed processing

来源：评论

学校读者我要写书评

暂无评论

An Efficient Broadcast Authentication Protocol in Wireless Sensor Networks

引用

电子学报(英文版) 2009年第2期18卷 368-372页

作者： ZHAO Xin WANG Xiaodong YU Wanrong ZHOU Xingming National Key Laboratory of Parallel and Distributed Processing National University of Defense Technology Changsha 410073 China

Broadcast authentication is a critical security service in wireless sensor networks. A protocol named μTESLA[1] has been proposed to provide efficient authentication service for such networks. However, when applied t... 详细信息

Broadcast authentication is a critical security service in wireless sensor networks. A protocol named μTESLA^[1] has been proposed to provide efficient authentication service for such networks. However, when applied to applications such as time synchronization and fire alarm in which broadcast messages are sent infrequently, μTESLA encounters problems of wasted key resources and slow message verification. This paper presents a new protocol named GBA (Generalized broadcast authentication), for efficient broadcast authentication in these applications. GBA utilises the one-way key chain mechanism of μTESLA, but modifies the keys and time intervals association, and changes the key disclosure mechanism according to the message transmission model in these applications. The proposed technique can take full use of key resources, and shorten the message verification time to an acceptable level. The analysis and experiments show that GBA is more efficient and practical than μESLA in appli ations with various message transmission models.

关键词：无线传感器网络认证协议广播 applications practical 安全服务身份验证时间同步

来源：评论

学校读者我要写书评

暂无评论

Collimated electron and proton BEAM from ultraintense laser interaction with a rear hole target

Collimated electron and proton BEAM from ultraintense laser ...

引用

1st International Particle Accelerator Conference, IPAC 2010

作者： Yang, X.H. Ma, Y.Y. Shao, F.Q. Yu, T.P. Yin, Y. Tian, C.L. Kawata, S. Yu, M.Y. Gu, Y.Q. Xu, H. Department of Physics National University of Defense Technology Changsha 410073 China Center for Optical Research and Education Graduate School of Engineering Utsunomiya University 7-1-2 Yohtoh Utsunomiya 321-8585 Japan Department of Physics Institute for Fusion Theory and Simulation Zhejiang University Hangzhou 310027 China Laser Fusion Research Center China Academy of Engineering Physics Mianyang 621000 China National Laboratory Parallel and Distributed Processing National University of Defense Technology Changsha 410073 China

ISBN: (纸本)9789290833529

Collimated electron and proton beams from the interaction of an ultra-intense laser pulse with a rear hole target are studied by particle-in-cell (PIC) simulation. When an ultra-intense laser pulse irradiates on such a target, the hot electrons from the inner surfaces of the hole expand fast into the hole. However, the electrons at the corners expand slower and are compressed strongly. Then two intense electron jets as well as proton jets are sprayed out from the corners. The jets extend into the hole and focus along the laser propagation axis. The effects of the corner angle on the collimated proton beam are also investigated.

关键词： Hot electrons

来源：评论

学校读者我要写书评

暂无评论

A coarse-grained reconfigurable computing architecture with loop self-pipelining

引用

Science in China(Series F) 2009年第4期52卷 575-587页

作者： DOU Yong WU GuiMing XU dinHui ZHOU XingMing National Laboratory for Parallel & Distributed Processing National University of Defense Technology Changsha 410073 China

Reconfigurable computing tries to achieve the balance between high efficiency of custom computing and flexibility of general-purpose computing. This paper presents the implementation techniques in LEAP, a coarse-grained reconfigurable array, and proposes a speculative execution mechanism for dynamic loop scheduling with the goal of one iteration per cycle and implementation techniques to support decoupling synchronization between the token generator and the collector. This paper also in- troduces the techniques of exploiting both data dependences of intra- and inter-iteration, with the help of two instructions for special data reuses in the loop-carried dependences. The experimental results show that the number of memory accesses reaches on average 3% of an RISC processor simulator with no memory optimization. In a practical image matching application, LEAP architecture achieves about 34 times of speedup in execution cycles, compared with general-purpose processors.

关键词： reconfigurable computing loop pipelining data driven register promotion

来源：评论

学校读者我要写书评

暂无评论

SKY:Efficient peer-to-peer networks based on distributed Kautz graphs

引用

Science in China(Series F) 2009年第4期52卷 588-601页

作者： ZHANG YiMing LU XiCheng LI DongSheng National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha 410073 China

Many proposed P2P networks are based on traditional interconnection topologies. Given a static topology, the maintenance mechanism for node join/departure is critical to designing an efficient P2P network. Kautz graphs have many good properties such as constant degree, low congestion and optimal diameter. Due to the complexity in topology maintenance, however, to date there have been no effective P2P networks that are proposed based on Kautz graphs with base ~ 2. To address this problem, this paper presents the ＂distributed Kautz （D-Kautz） graphs＂, which adapt Kautz graphs to the characteristics of P2P networks. Using the D-Kautz graphs we further propose SKY, the first effective P2P network based on Kautz graphs with arbitrary base. The effectiveness of SKY is demonstrated through analysis and simulations.

关键词： peer-to-peer network Kautz graph constant degree topology maintenance D-Kautz graph

来源：评论

学校读者我要写书评

暂无评论

Mobility of internet-based virtual computing environment

Mobility of internet-based virtual computing environment

引用

15th International Conference on parallel and distributed Systems, ICPADS '09

作者： Shen, Siqi Wang, Ji Shen, Rui Zhang, Shengdong Fan, Pei National Laboratory for Parallel and Distributed Processing Changsha 410073 China

ISBN: (纸本)9780769539003

The Internet-based Virtual Computing Environment (iVCE) provides on-demand aggregation and autonomic collaboration mechanisms to facilitate the utilization of autonomous and dynamic Internet resources. Load balancing and fault tolerance are important issues when scheduling those transient resources. In this paper, we propose a mobility mechanism for the migration of various roles of agents in the iVCE platform. The mobility mechanism involves two parts of the iVCE platform: role container layer and event service layer. At the role container layer, a novel approach is proposed to handle the code and data mobility issue. At the event service layer, an efficient routing reconfiguration protocol is proposed based on a publish/subscribe system over DHTs to facilitate task migrations. Certain conditions must be satisfied before the migration of an agent to ensure the correctness of the whole process. Experiments are conducted to evaluate the performance of the mobility mechanism, and the experimental results show that it is suitable for implementing load balancing and fault tolerance in the iVCE. © 2009 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：