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

2018 8th International Workshop on Computer Science and Engineering, WCSE 2018

作者： Zhang, Zhixiong Yin, Gang Wang, Tao Wang, Wei National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha410073 China

ISBN: (纸本)9789811178610

With the popularity of programming learning, there are more and more online programming platforms and learners can learn programming skills online. That's good news for users who was bothered by configuring a development environment or some other annoying little things. We have built a multi-purpose code evaluation platform which provides many different kinds of coding training courses. This code evaluation platform is based on Kubernetes and provides unique containers for every submission of users' code so that it's not a problem that many different types of code are running at the same time. Furthermore, it allows experts share their programming skills or other computer technical abilities by creating training courses on the platform, and they can even customize the evaluation methods and the evaluation process of their own training courses by producing new evaluation script. To obtain better user experience for both learners and training contributors, some useful auxiliary systems, such as the evaluating queuing system and the script management system have been introduced. © Proceedings of 2018 the 8th International Workshop on Computer Science and Engineering, WCSE 2018. All rights reserved.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Runtime monitoring for cyber-physical systems: A case study of cooperative adaptive cruise control

Runtime monitoring for cyber-physical systems: A case study ...

引用

2nd International Conference on Intelligent Systems Design and Engineering Applications, ISDEA 2012

作者： Mao, Jianhui Chen, Liqian National Laboratory for Parallel and Distributed Processing National University of Defense Technology Changsha 410073 China

ISBN: (纸本)9780769546087

Cyber-Physical Systems (CPS) involve deep interactions between computation cores, communication networks, and physical environments. These systems are inherently complex and highly nondeterministic. This makes the traditional formal verification technology impractical to verify the complete system behavior, and testing alone is insufficient to guarantee correctness. Runtime monitoring, known as a lightweight verification technique, provides a practical way to monitor and verify such systems at runtime. In this paper, we present a case study for runtime monitoring of the Cooperative Adaptive Cruise Control systems (CACC) in automobile CPS systems. We build a hybrid automaton-based model for the CACC system using the CHARON modeling language and construct an event-based runtime monitoring framework. The synthesized monitor observes the running of CACC and checks whether it works correctly against the temporal logic safety specification. Experimental results obtained through this case study provide evidence for the efficacy of runtime monitoring of CPS systems. © 2012 IEEE.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Ladder: A Blockchain Model of Low-Overhead Storage 3rd

Ladder: A Blockchain Model of Low-Overhead Storage

引用

3rd International Conference on Blockchain and Trustworthy Systems, Blocksys 2021

作者： Chen, Peng Zhang, Xunhui Liu, Hui Xiang, Liangliang Shi, Peichang National Key Laboratory of Parallel and Distributed Processing College of Computer Science National University of Defense Technology Changsha410073 China

ISBN: (纸本)9789811679926

Emerging blockchain accounting mechanism allow mutually distributed parties to transport trusted information and ensure the correctness of data. Every blockchain node stores the complete block locally. Although this measure improves security, it causes huge storage overhead. We present Ladder, a multi-level low-overhead storage model for blockchain, which can greatly reduce the storage overhead of nodes while ensuring that the blockchain cannot be tampered easily and the block information is complete. Ladder distinguishes the retrieved frequency and importance of different blocks by value-density, dividing them into Hot-Blocks, Warm-Blocks and Cold-Blocks adopting different storage strategies respectively. Through experimental verification of time and space cost of different storage strategies, Ladder can greatly reduce the local storage overhead of nodes. © 2021, Springer Nature Singapore Pte Ltd.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Research of context situation awareness technology

Research of context situation awareness technology

引用

作者： Shi, Dianxi Wu, Zhendong Ding, Bo Yan, Huining National Key Laboratory for Parallel and Distributed Processing School of Computer Science National University of Defense Technology Changsha 410073 China

ISBN: (纸本)9780769546698

Context situation, which means a snapshot of the status of the real world, is formed by integrating a large amount of contexts collected from various resources. How to get the context situation and use the situation to provide better services is a challenging issue. In this paper, we focused on this challenge on the basis of the mobile cloud computing architecture. An abstract model is proposed in this paper to uniformly collect the context and send them to cloud. A rule-based large-scale context aggregation algorithm is also proposed which utilizes the MapReduce computing paradigm. Finally, a large-scale context management framework based on the abstract model and the context aggregation algorithm is proposed, and a real-time traffic demo is implemented to verify the validity of the framework. © 2012 IEEE.

关键词： MapReduce

来源：评论

学校读者我要写书评

暂无评论

Load scheduling: Reducing pressure on distributed register files for free

Load scheduling: Reducing pressure on distributed register f...

引用

2008 Asia and South Pacific Design Automation Conference, ASP-DAC

作者： Wen, Mei Wu, Nan Guan, Maolin Zhang, Chunyuan National Laboratory for Parallel and Distributed Processing Chang Sha Hu Nan 410073 China

ISBN: (纸本)9781424419227

In this paper we describe load scheduling, a novel method that balances load among register files by residual resources. Load scheduling can reduce register pressure for clustered VLIW processors with distributed register files while not increasing VLIW scheduling length. We have implemented load scheduling in compiler for Imagine and FT64 stream processors. The result shows that the proposed technique effectively reduces the number of variables spilled to memory, and can even eliminate it. The algorithm presented in this paper is extremely efficient in embedded processor with limited register resource because it can improve registers utilization instead of increasing the requirement for the number of registers. ©2008 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

A stream system-on-chip architecture for high speed target recognition based on biologic vision

A stream system-on-chip architecture for high speed target r...

引用

12th Asia-Pacific Computer Systems Architecture Conference, ACSAC 2007

作者： Wu, Nan Yang, Qianming Wen, Mei He, Yi Xun, Changqing Zhang, Chunyuan National Laboratory for Parallel and Distributed Processing Chang Sha Hu Nan 410073 China

ISBN: (纸本)9783540743088

For target recognition based on biologic vision, an application-specific stream SOC: MASA-MI is described in this paper. MASA-MI consists of several heterogeneous cores, and a stream accelerator core is used to accelerate matching image which consumes the most time in target recognition. We implemented it on Altera EP2S60 FPGA. Result shows the 166MHz MASA-MI provides a peak performance of 585 fps. MASA-MI's performance is an order of magnitude higher than those of today's DSPs such as the Texas Instruments TMS320DM642 (600MHz). On the other hand, the cost is far less than special purpose processors. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Integrated circuit layout

来源：评论

学校读者我要写书评

暂无评论

An empirical study of reviewer recommendation in pull-based development model 17

An empirical study of reviewer recommendation in pull-based ...

引用

9th Asia-Pacific Symposium on Internetware, Internetware 2017

作者： Yang, Cheng Zhang, Xunhui Zeng, Lingbin Fan, Qiang Yin, Gang Wang, Huaimin National Laboratory for Parallel and Distributed Processing College of Computer Changsha Hunan410073 China

ISBN: (纸本)1595930361

Code review is an important process to reduce code defects and improve software quality. However, in social coding communities using the pull-based model, everyone can submit code changes, which increases the required code review efforts. Therefore, there is a great need of knowing the process of code review and analyzing the pre-existing reviewer recommendation algorithms. In this paper, we do an empirical study about the PRs and their reviewers in Rails project. Moreover, we reproduce a popular and effective IR-based code reviewer recommendation algorithm and validate it on our dataset which contains 16,049 *** find that the inactive reviewers are very important to code reviewing process, however, the pre-existing method's recommendation result strongly depends on the activeness of reviewers. © 2017 Association for Computing Machinery.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

Factorization Machine-based Unsupervised Model Selection Method

Factorization Machine-based Unsupervised Model Selection Met...

引用

2022 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2022

作者： Zhang, Ruyi Wang, Yijie Xu, Hongzuo Zhou, Haifang National University of Defense Technology Science and Technology on Parallel and Distributed Processing Laboratory China

ISBN: (数字)9781665452588

ISBN: (纸本)9781665452588

Machine learning is broadly used in many intelligent cybernetic systems. With the burgeoning of the communities of AI, the number of machine learning-based models is rapidly increasing, but picking a suitable and optimal (or relatively good) model from overwhelming options has become a conundrum when deploying a new system. Therefore, we are motivated by an intriguing question: Can we automatically select a proper model for new data? However, unsupervised model selection poses two main challenges: (i) Evaluation and comparison of candidate models on the new data are infeasible due to the lack of labels;and (ii) It is non-trivial to build relationships between model performance and data characteristics when the interaction between these characteristics should be considered. In light of these limitations, this paper proposes a factorization machine-based unsupervised model selection method. Following mainstream model selection protocols, we also leverage model performance on prior known datasets. Differently, we learn higher-order complex relationships between model performance and dataset characteristics. Specifically, our method transfers the historical performance into a second-order function of meta-features and embedding weights by harnessing the power of factorization machine. This function can be subsequently used to select a proper model when given a new dataset. Extensive experiments show that our method obtains more superior model selection performance than five state-of-the-art approaches, and our method executes faster than its competitors by approximate three magnitudes. © 2022 IEEE.

关键词： Factorization

来源：评论

学校读者我要写书评

暂无评论

Resource Allocation with Dynamic Substrate Network in Data Centre Networks

引用

China Communications 2013年第9期10卷 130-142页

作者：李小玲王怀民丁博李小勇刘惠 National Key Laboratory for Parallel and Distributed Processing School of Computer ScienceNational University of Defense Technology

The resource allocation problem in data centre networks refers to a map of the workloads provided by the cloud users/tenants to the Substrate Network(SN)which are provided by the cloud *** studies consider the dynamic arrival and departure of the workloads,while the dynamics of the substrate are *** this paper,we first propose the resource allocation with the dynamic SN,and denote it as ***,we propose an efficient mapping algorithm for *** performance of the proposed algorithm is evaluated by performing simulation *** results show that the proposed algorithm can effectively solve the GraphMap-DS.

关键词： resource allocation data centrenetwork workload substrate algorithm

来源：评论

学校读者我要写书评

暂无评论

Data storage optimization of application-level checkpointing on heterogeneous systems

Data storage optimization of application-level checkpointing...

引用

2013 IEEE Conference Anthology, ANTHOLOGY 2013

作者： Jia, Jia Song, Wei National Laboratory for Parallel and Distributed Processing School of Computer National University of Defense Technology Changsha China

ISBN: (纸本)9781479916603

General purpose GPU's (GPGPU) appearance made it possible that heterogeneous computing can be used by human beings. And it's also produce a reform for GPU's general purpose computing and parallel computing. Heterogeneous Systems has been adopted by large-scale of high-performance computers. Nowadays, fault tolerance technique is necessary among these large-scale kinds of scientific computing, but in a few years of GPGPU and heterogeneous system appearance, there is not an effective fault tolerance method come out, therefore, towards this situation, this paper will apply the traditional fault tolerance technique - application-level checkpointing to heterogeneous system. Cause the main solution of reducing overhead of the application-level checkpointing is reducing checkpoint data size, so after analyzing the heterogeneous system and GPGPU program, we propose a method to optimize the data storage of application-level checkpointing technique and validate its optimization by experiments. © 2013 IEEE.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：