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

36th International Conference on parallel Processing in Xi'an, ICPP

作者： Zhang, Yiming Li, Dongsheng Chen, Lei Lu, Xicheng National Laboratory for Parallel and Distributed Processing NUDT Department of Computer Science Hong Kong University of Science and Technology

ISBN: (纸本)076952933X

Searching in large-scale unstructured peer-to-peer networks is challenging due to the lack of effective hint information to guide queries. In this paper, we propose POP, a parallel, cOllaborative and Probabilistic search mechanism, in which query messages are viewed as search units to collaborate with each other and aggregate the distributed hints during the search process. A scheme called distributed Bloom Filter (DBF) is presented to propagate the hints with a bandwidth-aware manner, in which a node divides the received Bloom filter vector into subvectors and disseminates the fragments to its neighbors according to their bandwidth capacity. The effectiveness of POP is demonstrated through theoretical analysis and extensive simulations. © 2007 IEEE.

关键词： Bandwidth

来源：评论

学校读者我要写书评

暂无评论

Game-based axiomatization of μ-calculus

引用

Jisuanji Yanjiu yu Fazhan/computer Research and Development 2007年第11期44卷 1896-1902页

作者： Liu, Wanwei Wang, Ji Chen, Huowang National Laboratory of Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha 410073 China

With the never-ending growth of the complexity of modern hardware and software systems, more and more sophisticated methods of verification are required. Model checking has been proved to be an effective approach to guaranteeing the correctness of design and implementation of software and hardware system. Model and temporal logics are used as specification languages in software and hardware verification. Modal μ-calculus is an extremely popular and important one among these logics. It is succinct in syntax and powerful in expressiveness. Since Kozen's paper on modal μ-calculus, it has received ever growing interest in both theoretical and application aspects. Based on the focus game theory, Lange and Stirling proposed the axiom systems for LTL and CTL. This paper extends that idea to that for modal μ-calculus. A game-theoretic approach is presented to test the satisfiability of modal μ-calculus formulas. In addition, this approach converts the satisfiability problem for μ-calculus into a solving problem for focus games. Consequently, based on these game rules, an axiom system for μ-calculus is developed, and the completeness of this deductive system can be proved via the game based satisfiability testing procedure. By comparison, this axiom system is much more intuitive and succinct than the existing μ-calculus axiom systems.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Collaborative Search in Large-scale Unstructured Peer-to-Peer Networks

Collaborative Search in Large-scale Unstructured Peer-to-Pee...

引用

International Conference on parallel Processing (ICPP)

作者： Yiming Zhang Dongsheng Li Lei Chen Xicheng Lu National Laboratory for Parallel and Distributed Processing National University of Defense Technology China Department of Computer Science Hong Kong University of Science and Technology Hong Kong China

Searching in large-scale unstructured peer-to-peer networks is challenging due to the lack of effective hint information to guide queries. In this paper, we propose POP, a parallel, collaborative and Probabilistic search mechanism, in which query messages are viewed as search units to collaborate with each other and aggregate the distributed hints during the search process. A scheme called distributed Bloom filter (DBF) is presented to propagate the hints with a bandwidth-aware manner, in which a node divides the received Bloom filter vector into subvectors and disseminates the fragments to its neighbors according to their bandwidth capacity. The effectiveness of POP is demonstrated through theoretical analysis and extensive simulations.

关键词： Large-scale systems Peer to peer computing Bandwidth Information filtering Information filters Analytical models Aggregates Space technology International collaboration Laboratories

来源：评论

学校读者我要写书评

暂无评论

Internet-based virtual computing environment(iVCE):Concepts and architecture

引用

science in China(Series F) 2006年第6期49卷 681-701页

作者： LU Xicheng WANG Huaimin WANG Ji National Laboratory for Parallel and Distributed Processing Changsha 410073 China College of Computer National University of Defense Technology Changsha 410073 China

Resources over Internet have such intrinsic characteristics as growth, autonomy and diversity, which have brought many challenges to the efficient sharing and comprehensive utilization of these resources. This paper presents a novel approach for the construction of the Internet-based Virtual Computing Environment （iVCE）, whose sig- nificant mechanisms are on-demand aggregation and autonomic collaboration. The iVCE is built on the open infrastructure of the Internet and provides harmonious, transparent and integrated services for end-users and applications. The concept of iVCE is presented and its architectural framework is described by introducing three core concepts, i.e., autonomic element, virtual commonwealth and virtual executor. Then the connotations, functions and related key technologies of each components of the architecture are deeply analyzed with a case study, iVCE for Memory.

关键词： resource aggregation collaboration virtual computing environment Internet

来源：评论

学校读者我要写书评

暂无评论

Data dependence-based optimistic data consistency maintenance method

Data dependence-based optimistic data consistency maintenanc...

引用

6th IEEE International Conference on computer and Information technology, CIT 2006

作者： Zhou, Jing Wang, Yijie Li, Sikun National Key Laboratory for Parallel and Distributed Processing School of Computer Science National University of Defense Technology China

ISBN: (纸本)076952687X

Data replication introduces well-known consistency issues. This paper puts forward the question about data dependence in data consistency, which embodies pseudo-conflict updates and update dependency. According to that, an optimistic data consistency method is proposed. In our method, data object is partitioned into data blocks by fixed size, as the basic unit of data management. Updates are compressed by Bloom filter technique and propagated in double-path. Negotiation algorithms detect and reconcile update conflicts, and dynamic data management algorithms accommodate dynamic data processing. The results of the performance evaluation show that our method is an efficient method to achieve consistency, good dynamic property, and strong robustness. © 2006 IEEE.

关键词： Information technology

来源：评论

学校读者我要写书评

暂无评论

A semantic-based meteorology grid service registry, discovery and composition framework

A semantic-based meteorology grid service registry, discover...

引用

2006 2nd International Conference on Semantics Knowledge and Grid, SKG

作者： Kaijun, Ren Nong, Xiao Junqiang, Song Weimin, Zhang Tao, Chen National Laboratory for Parallel and Distributed Processing NUDT Changsha Hunan 410073 China College of Science National University of Defense Technology Changsha Hunan 410073 China

ISBN: (纸本)0769532055

Meteorology Grid Computing aims to provide scientist with seamless, reliable, secure and inexpensive access to meteorological resources. In this paper, we presented a semantic-based meteorology grid service registry, discovery and composition framework by combining grid technologies and the advantages of semantic web techniques. The main objective of the framework is to support automating the discovery, selection, and workflow composition of semantically described heterogeneous meteorological grid services, which offers the possibility of facilitating geographically distributed meteorological scientists to resolve complex scientific problems cooperately. With this framework, the key technologies such as semantic registry, semantic matchmaking, QoS ranking and composition model, will be discussed. © 2006 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

A semantic-based meteorology grid service registry, discovery and composition framework

A semantic-based meteorology grid service registry, discover...

引用

2nd International Conference on Semantics, Knowledge, and Grid, SKG 2006

作者： Ren, Kaijun Xiao, Nong Song, Junqiang Zhang, Weimin Chen, Tao National Laboratory for Parallel and Distributed Processing NUDT Changsha Hunan 410073 China College of Science National University of Defense Technology Changsha Hunan 410073 China

ISBN: (纸本)076952673X

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Data Dependence-based Optimistic Data Consistency Maintenance Method

Data Dependence-based Optimistic Data Consistency Maintenanc...

引用

International Conference on computer and Information technology (CIT)

作者： Jing Zhou Yijie Wang Sikun Li National Key Laboratory for Parallel and Distributed School of Computer Science National University of Defense Technology China

关键词： Optimization methods Filters Partitioning algorithms Laboratories distributed processing computer science Object detection Data analysis Heuristic algorithms Data processing

来源：评论

学校读者我要写书评

暂无评论

A Semantic-based Meteorology Grid Service Registry, Discovery and Composition Framework

A Semantic-based Meteorology Grid Service Registry, Discover...

引用

International Conference on Semantics, Knowledge and Grid (SKG)

作者： Kaijun Ren Kaijun Ren Nong Xiao Nong Xiao Junqiang Song Junqiang Song Weimin Zhang Weimin Zhang Tao Chen Tao Chen National Laboratory for Parallel and Distributed Processingm College of Science National University of Defense Technology Changsha Hunan China National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha Hunan China

关键词：

来源：评论

学校读者我要写书评

暂无评论

The research of a semantic architecture in meteorology grid computing

引用

APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE

作者： Kaijun, Ren Nong, Xiao Junqiang, Song Weimin, Zhang Peng, Wang National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha Hunan 410073 China Science College National University of Defense Technology Changsha Hunan 410073 China Southwest Inst.of Electron. and Telecom.Tech. Shanghai 200434 China

ISBN: (纸本)3540311580

Meteorology is a complex, interdisciplinary area. Meteorology Grid Computing tries to offer a flexible, secure, coordinated resource sharing and problem-resolving environment by making good use of semantic grid ideas. In this paper, a semantic architecture in Meteorology Grid Computing is presented. With the architecture, we firstly discussed the Semantic Computing Service according to the semantic descriptions of grid computing resource. Then Semantic Data Access Service is illuminated by constructing automatic metadata mapping, which provides users with the convenience to quickly access data storage facilities in on-demand manner. Finally, Meteorology Grid Expert System is presented, and it will offer meteorology knowledge environments to facilitate the forecasters and scientists with analyzing the future weather situation. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：