As the mean-time-between-failures(MTBF)continues to decline with the increasing number of components on large-scale high performance computing(HPC)systems,program failures might occur during the execution period with ...
详细信息
As the mean-time-between-failures(MTBF)continues to decline with the increasing number of components on large-scale high performance computing(HPC)systems,program failures might occur during the execution period with high *** successful execution of the HPC programs has become an issue that the unprivileged users should be *** the user perspective,if the program failure cannot be detected and handled in time,it would waste resources and delay the progress of program ***,the unprivileged users are unable to perform program state checking due to execution control by the job management system as well as the limited ***,automated tools for supporting user-level failure detection and autorecovery of parallel programs in HPC systems are *** paper proposes an innovative method for the unprivileged user to achieve failure detection of job execution and automatic resubmission of failed *** state checker in our method is encapsulated as an independent job to reduce interference with the user *** addition,we propose a dual-checker mechanism to improve the robustness of our *** implement the proposed method as a tool named automatic re-launcher(ARL)and evaluate it on the Tianhe-2 *** results show that ARL can detect the execution failures effectively on Tianhe-2 *** addition,the communication and performance overhead caused by ARL is *** good scalability of ARL makes it applicable for large-scale HPC systems.
This paper discusses the critical decision process of extracting or selecting the features in a supervised learning context. It is often confusing to find a suitable method to reduce dimensionality. There are pros and...
详细信息
The main objective of this work was to find the association rules between factors affecting user satisfaction in software project by using an association rule discovery technique. Data from 191 software projects were ...
详细信息
Text classification, a fundamental task in natural language processing (NLP), aims to categorize textual data into predefined labels. Traditional methods struggled with complex linguistic structures and semantic depen...
详细信息
High-resolution point clouds (HRPCD) anomaly detection (AD) plays a critical role in precision machining and high-end equipment manufacturing. Despite considerable 3D-AD methods that have been proposed recently, they ...
详细信息
The performance of a battery pack is greatly affected by an imbalance between the cells. Cell balancing is a very important criterion for Battery Management system (BMS) to operate properly. This paper presents the va...
详细信息
WebAssembly is a fast, safe, and portable low-level language suitable for diverse application scenarios. And The WebAssembly virtual machines are widely used by Web browsers or Blockchain platforms as execution engine...
详细信息
Machine learning has been a prominent research focus in recent years, and integrating machine learning methods into automated theorem provers has become a current trend in theorem proving research. Standard contradict...
Machine learning has been a prominent research focus in recent years, and integrating machine learning methods into automated theorem provers has become a current trend in theorem proving research. Standard contradiction separation rule is a newly proposed multi-clause, dynamic, and synergized deductive inference rule. The key aspect of standard contradiction separation rule is how to plan deduction paths. In order to better plan the deduction path, this paper explores the dynamic learning within the process of contradiction separation deduction and introduces a novel active deductive heuristic algorithm based on reinforcement learning. Experimental results demonstrate that this new algorithm enhances the reasoning capability of the theorem prover Prover9.
The saliency methods are widely used for generating heatmaps that emphasize the important portions of an input image for deep networks on a specific classification task. Interpretability is crucial for deploying deep ...
The saliency methods are widely used for generating heatmaps that emphasize the important portions of an input image for deep networks on a specific classification task. Interpretability is crucial for deploying deep neural networks in real-world applications. However, the heatmaps produced by current visual explainable methods may contain or visualize particulars differently. To analyze and compare the visualization of different methods, such as Gradient-based, Activation-based, Perturbation-based, and Region-based methods, we empirically evaluated them on the acute lymphoblastic leukemia (cancer cell) classification task using state-of-the-art convolutional neural networks. We also visualized the essential pathological features (salient parts) that are the reasons for the classification results on the classification of normal versus malignant cell (CNMC) dataset.
暂无评论