In recent years, the emerging open source RISC-V architecture has gradually attracted wide attention. In order to support the compilation of multiple Linux operating system distribution images and packages, developers...
详细信息
ISBN:
(纸本)9783031664557;9783031664564
In recent years, the emerging open source RISC-V architecture has gradually attracted wide attention. In order to support the compilation of multiple Linux operating system distribution images and packages, developers need to build and adapt the packages. Due to the complexity of software packages and the diversity of developer experience levels, the success of software package construction is uncertain. Existing research lacks automatic classification methods for the reasons of RISC-V architecture software package construction failures. Therefore, an automatic classification model Word2Vec-BERT-bmu is proposed to effectively and automatically locate software package construction failures. Firstly, two popular Linux distribution building platforms, OpenSuse and OpenEuler, were selected as the sources of build failure log data, and 10 types of build failures were manually analyzed and summarized. Secondly, the Word2Vec-BERT-bmu model is proposed to construct the failure classification using an automated software package with multi-feature concatenation. Experimental results show that the Macro F1 value is improved by 2-4% compared with other models. In addition, for realworld software packages, the effectiveness and accuracy of our modelwe proposed are further verified by manual repair of software packages.
Point cloud completion is crucial in point cloud processing, as it can repair and refine incomplete 3D data, ensuring more accurate models. However, current point cloud completion methods commonly face a challenge: th...
详细信息
Aiming at the problem that the iForest algorithm is not sensitive enough to local anomalies and produces a large number of false alarms in the detection results on some low sea state datasets, this paper proposes the ...
详细信息
The Manual Library Management System used at present is quite complex process which might take lot of time as it includes maintaining the records of personal, membership and fine details where there can be chances of ...
详细信息
In recent years, the rapid development of deep neural networks and their application technologies has propelled autonomous driving systems (ADS) towards commercialisation. However, due to the high safety requirements ...
详细信息
ISBN:
(纸本)9783031808883;9783031808890
In recent years, the rapid development of deep neural networks and their application technologies has propelled autonomous driving systems (ADS) towards commercialisation. However, due to the high safety requirements of ADSs, ensuring their safety and reliability remains a critical challenge in softwareengineering. Existing testing methods focus on simple driving scenarios with few traffic participants, neglecting the impact of high traffic density on ADS driving performance. This paper presents an empirical study exploring how traffic density affects ADS behaviour. We developed a testing framework using two open-source ADSs to generate scenarios with varying traffic densities in a high-fidelity simulator. Our results indicate that changes in traffic density significantly affect ADS performance. Different traffic densities reveal various types of safety violations and help identify potential design flaws in ADSs. This study highlights the importance of considering traffic density in ADS testing and contributes to a better understanding of ADS performance under different traffic conditions.
With the emergence of GPT developed by the OPENAI team, artificial intelligence is in a thriving stage of development. This article aims to design and implement an intelligent data analysis platform based on artificia...
详细信息
Participatory citizen platforms are innovative solutions to digitally better engage citizens in policy-making and deliberative democracy in general. Although these platforms have been used also in an engineering conte...
详细信息
This research dives into the design of a solar energy system that can generate electricity and supply it for both household appliances and the power grid. To maximize the power output from the solar panels, the system...
详细信息
The proceedings contain 28 papers. The special focus in this conference is on Image Processing, computer Vision, and Pattern Recognition. The topics include: Image-Based Seal Recognition: Approaches and Challenge...
ISBN:
(纸本)9783031859328
The proceedings contain 28 papers. The special focus in this conference is on Image Processing, computer Vision, and Pattern Recognition. The topics include: Image-Based Seal Recognition: Approaches and Challenges in Current Automated Systems;Deep Learning Techniques for Lunar Impact Crater Identification Based on CCD and DEM Data;silicon Wafer Map Defect Classification Using Artificial Intelligence Models;low Light Image Enhancement Using Autoencoder-Based Deep Neural Networks;towards Elephants Intelligent Monitoring in Zakouma National Park, Chad;a Review of Multi-modal and Multi-view Applications in Hand-Drawn Sketch Images;residential Real Estate Image Classification for Property Valuation;Novel Method to Investigate Decay in Rotting Bananas Using RGB Color Images;lalitha: A Hand Gesture-Based computer Control System;dishari: A Novel Gesture-Based Educational Application for Specially Challenged People;mobility Anomaly Detection with Intelligent Video Surveillance;Weakly-Supervised Video Anomaly Detection Using Modified Anomaly Score Module and Modified BERT;Contour Detection of Seeds Based on Traditional and Convolutional Neural Network (CNN) Based Algorithms;Early Detection of Lameness in Dairy Cattle Using Activity Data, Image Analysis, AI and ML - An Approach for Improved Animal Welfare and Economic Impact;implications for Designing Hawks Detection with Data Augmentation and Network Optimizations;a Review of Detecting and Quantification of Cracks Using Convolutional Neural Networks and Image Processing Techniques;using Linkage Context for Automated Correction in Unsupervised Entity Resolution;the Rising Threat Against Modern Technology in Cybersecurity;an Online Bookstore Design and Implementation;cybersecurity: Sight and Foresight;the Application of Blockchain Technology in the Transmission of Semiconductor Process Recipes;the Use of Social Media and the Internet for the Facilitation of Human Trafficking.
The proceedings contain 15 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: Towards Large Language Model Guided Kernel Direct Fuzzing;DeepCRCEval: ...
ISBN:
(纸本)9783031908996
The proceedings contain 15 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: Towards Large Language Model Guided Kernel Direct Fuzzing;DeepCRCEval: Revisiting the Evaluation of Code Review Comment Generation;formal Architectural Patterns for Adaptive Robotic software;compositional Learning for Synchronous Parallel Automata;roboScene: Notation for Formal Verification of Human-Robot Interaction;hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution;VOCE: A Virtual On-Call Engineer for Automated Alert Incident Analysis Using a Large Language Model;symbolic State Partitioning for Reinforcement Learning;fizzer with Local Space Fuzzing: (Competition Contribution);Reasoning about Substitutability at the Level of JVM Bytecode;prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor;ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving: (Competition Contribution);preface;ETAPS Foreword.
暂无评论