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

21st Asia-Pacific Software Engineering Conference, APSEC 2014

作者： Fu, Xianjin Chen, Zhenbang Huang, Chun Dong, Wei Wang, Ji Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781479974252

Asynchrony based overlapping of computation and communication is commonly used in MPI applications. However, this overlapping introduces synchronization errors frequently in asynchronous MPI programming. In this paper, we propose a symbolic execution based method for detecting input-related synchronization errors. The path space of an MPI program is systematically explored, and the related operations of the synchronization errors in the program are checked specifically. In addition, two optimizations are proposed to improve the efficiency. We have implemented our method as a prototype tool based on the symbolic executor Cloud9. The results of the extensive experiments indicate the effectiveness of our method. © 2014 IEEE.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

A regularized magnetotelluric inversion with a minimum support gradient constraint

引用

Earthquake science 2020年第3期33卷 130-140页

作者： Junjun Zhou Xiangyun Hu Tiaojie Xiao Institute of Geophysics and Geomatics China University of GeosciencesWuhan 430000China Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense TechnologyChangsha 410073China

Magnetotelluric(MT)inversion is an illposed problem and the standard way to address it is through regularization,by adding a stabilizing functional to the data objective functional in order to obtain a stable *** traditional stabilizing functionals,in which a low-order differential operator is used,yield a smooth solution that may not be appropriate when anomalies occur in block *** some cases the focused imaging of a sharp electrical boundary is *** though various experiments have used stabilizing functionals that are suitable to obtain a clear and sharp boundary,such as the minimum support(MS)and the minimum gradient support(MGS)functionals,there are still some limitations in *** this paper,the minimum support gradient(MSG)is proposed as the stabilizing *** the uniform regularization framework,a regularized inversion with a variety of stabilizing functionals is performed and the inversion results are *** study shows that MSG inversion can not only obtain a clearly focused inversion but also a quite stable and robust one.

关键词： magnetotelluric focus inversion sharp boundary regulafization

来源：评论

学校读者我要写书评

暂无评论

A survey on concepts and the state of the art of functional programming languages

A survey on concepts and the state of the art of functional ...

引用

International Symposium on Systems and Computer technology, ISSCT 2014

作者： Jian, Song-lei Lu, Kai Wang, Xiao-ping Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781138028722

Functional programming languages have a long history and receive more and more attention today. The paper focuses on the development of functional languages and aims to introduce the concepts, such as higher-order functions, lazy evaluation, data type, and pattern matching. We also review the evolution of functional programming languages from lambda calculus, Lisp to Haskell. Based on the analysis of leading papers published on ACM conferences, we survey 5 active research areas: monads, verification, type system, data parallelism, and application of functional programming languages and discuss the limitation of functional programming languages. © 2015 Taylor & Francis Group, London.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Poster: Segmentation Based Online Performance Problem Diagnosis 37

Poster: Segmentation Based Online Performance Problem Diagno...

引用

37th IEEE/ACM International Conference on Software Engineering, ICSE 2015

作者： Zhou, Jingwen Chen, Zhenbang Wang, Ji Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha China College of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781479919345

Currently, the performance problems of software systems gets more and more attentions. Among various diagnosis methods based on system traces, principal component analysis (PCA) based methods are widely used due to the high accuracy of the diagnosis results and requiring no specific domain knowledge. However, according to our experiments, we have validated several shortcomings existed in PCA-based methods, including requiring traces with a same call sequence, inefficiency when the traces are long, and missing performance problems. To cope with these issues, we introduce a segmentation based online diagnosis method in this poster. © 2015 IEEE.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

MixedCache: Enabling Flow Directed Rule-Caching Scheme based on Heterogeneous Cache for OpenFlow 3

MixedCache: Enabling Flow Directed Rule-Caching Scheme based...

引用

2020 3rd International Conference on Computer Information science and Artificial Intelligence, CISAI 2020

作者： Yang, Jialun Yang, Yi Liu, Jiahao Liu, Rulin Qiao, Peng Wang, Baosheng College of Computer Science and Technology National University of Defense Technology Changsha410073 China Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha410073 China

OpenFlow switches in SDN use Multiple Flow Tables (MFTs) for fine-grained flow control. Commodity switches integrate hardware storage resources such as SRAM and TCAM to store flow tables to achieve high-speed lookups. Many increased flow tables are rapidly exhausting these hardware storage resources, which makes the switches have to balance high-speed search and massive storage. The rule-caching scheme is a popular method to solve this problem, which caches the most commonly used rules into hardware storage resources. The existing rule-caching schemes are based on single hardware storage resources, and they cannot flexibly adjust the caching strategy according to the traffic characteristics. Simultaneously, the deployed commodity switches face the problem of difficulty in changing the size of SRAM and TCAM. This paper innovatively proposes the MixedCache scheme, which makes full use of the hardware storage resources in the switch according to the skewed characteristics of network traffic. MixedCache stores the large flows in SRAM by exact match and stores the small flows in the TCAM by wildcard match. MixedCache does not need to change the size of the deployed switch hardware storage resources, but makes full use of existing resources. Compared with the rule-caching scheme based on the exact match, the cache hit rate can increase by up to 15.61%. Compared with the rule-caching scheme based on the wildcard match, the cache hit rate can increase by up to 29.69%. © Published under licence by IOP Publishing Ltd.

关键词： Static random access storage

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of end-to-end services in virtualized computing environments

Performance analysis of end-to-end services in virtualized c...

引用

11th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2014

作者： Yan, Guofeng Peng, Yuxing School of Computer and Communication Hunan Institute of Engineering China Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Science and Technology Changsha 410073 China

ISBN: (纸本)9783662449165

In this paper, we present a novel stochastic analyzing model for e2e virtualized cloud services using hierarchical Quasi-Birth Death structures (QBDs). We divide the overall virtualized cloud services into three sub-hierarchies, and then, analyze each individual sub-hierarchy using QBDs. Our approach reduces the complexity of performance analysis. Our results are useful to prevent the cloud center from entering unsafe operation, and also reveal practical insights into load balancing and capacity planning for virtualized computing environments. © 2014 IFIP International Federation for Information processing.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

AUModel: A conceptual model for adaptive software 5

AUModel: A conceptual model for adaptive software

引用

2014 5th IEEE International Conference on Software Engineering and Service science, ICSESS 2014

作者： Liu, Hui Ding, Bo Shi, Dianxi Wang, Huaimin National Key Laboratory for Parallel and Distributed Processing College of Computer Science National University of Defense Technology Changsha Hunan410073 China

ISBN: (纸本)9781479932788

Pervasive software should be able to adapt itself to the changing environments and user requirements. Obviously, it will bring great challenges to the software engineering practice. This paper proposes AUModel, a conceptual model for adaptive software, which takes adaptability as an inherent feature and can act as the foundation of the engineering process. By introducing AUModel, the reuse of software adaptation infrastructure as well as the separation of adaptation concerns are enabled, which can facilitate both the development and maintenance of adaptive software. This paper also presents our initial attempts to realize this model, including a middleware prototype to support this model and an application to validate its effectiveness. © 2014 IEEE.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

On the feasibility of common-friend measurements for the distributed online social networks

On the feasibility of common-friend measurements for the dis...

引用

2012 7th International ICST Conference on Communications and Networking in China, CHINACOM 2012

作者： Fu, Yongquan Wang, Yijie National Key Laboratory for Parallel and Distributed Processing College of Computer Science National University of Defense Technology Hunan province 410073 China

ISBN: (纸本)9781467326995

distributed social networks have emerged recently. Nevertheless, recommending friends in the distributed social networks has not been exploited fully. We propose FDist, a distributed common-friend estimation scheme that estimates the number of common-friends between any pair of users without disclosing the friends' information. FDist uses privacy-preserving common-friend measurements to collect a small number of common-friend samples, and uses low-dimensional coordinates to estimate the number of common friends to other users. Simulation results on real-world social networks confirm that FDist is both scalable and accurate. © 2012 IEEE.

关键词： Social networking (online)

来源：评论

学校读者我要写书评

暂无评论

Optimizing Yinyang K-Means Algorithm on ARMv8 Many-Core CPUs 22nd

Optimizing Yinyang K-Means Algorithm on ARMv8 Many-Core CPU...

引用

22nd International Conference on Algorithms and Architectures for Parallel processing, ICA3PP 2022

作者： Zhou, Tianyang Wang, Qinglin Yin, Shangfei Hao, Ruochen Liu, Jie Science and Technology on Parallel and Distributed Processing Laboratory National University of Defense Technology Changsha410073 China School of Computer Science National University of Defense Technology Changsha410073 China

ISBN: (纸本)9783031226762

K-Means algorithm is one of the most common clustering algorithms widely applied in various data analysis applications. Yinyang K-Means algorithm is a popular enhanced K-Means algorithm that avoids most unnecessary calculations using triangle inequality. However, Yinyang K-Means algorithm is time-consuming when the problem size is large. Due to the influence of performance and energy-efficiency, ARM CPUs have appeared in high performance computing. Therefore, it is very interesting to accelerate Yinyang K-Means algorithm on ARM CPUs. In this paper, we propose an efficient parallel implementation of Yinyang K-Means algorithm on ARMv8 many-core CPUs by means of vectorization, NUMA affinity memory optimization and data layout optimization. The experiment on two ARMv8 many-core CPUs has shown that our implementation can achieve up to 5.6 times faster than the open-source multi-threaded one of Yinyang K-Means algorithm. To the best of our knowledge, this is the first work that studies the optimization of Yinyang K-Means algorithms on ARMv8 CPUs. © 2023, Springer Nature Switzerland AG.

关键词： K-means clustering

来源：评论

学校读者我要写书评

暂无评论

Effective top-down active learning for hierarchical text classification

引用

17th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2013

作者： Li, Xiao Ling, Charles X. Wang, Huaimin Department of Computer Science University of Western Ontario Canada National Laboratory for Parallel and Distributed Processing National University of Defense Technology China

ISBN: (纸本)9783642374555

Hierarchical text classification is an important task in many real-world applications. To build an accurate hierarchical classification system with many categories, usually a very large number of documents must be labeled and provided. This can be very costly. Active learning has been shown to effectively reduce the labeling effort in traditional (flat) text classification, but few works have been done in hierarchical text classification due to several challenges. A major challenge is to reduce the so-called out-of-domain queries. Previous state-of-the-art approaches tackle this challenge by simultaneously forming the unlabeled pools on all the categories regardless of the inherited hierarchical dependence of classifiers. In this paper, we propose a novel top-down hierarchical active learning framework, and effective strategies to tackle this and other challenges. With extensive experiments on eight real-world hierarchical text datasets, we demonstrate that our strategies are highly effective, and they outperform the state-of-the-art hierarchical active learning methods by reducing 20% to 40% queries. © Springer-Verlag 2013.

关键词： Text processing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：