The proceedings contain 65 papers. The topics discussed include: a memory-efficient multi-pattern matching algorithm based on the bitmap;agent-based plant growth modeling;a formal method for verifying production knowl...
ISBN:
(纸本)9780769540276
The proceedings contain 65 papers. The topics discussed include: a memory-efficient multi-pattern matching algorithm based on the bitmap;agent-based plant growth modeling;a formal method for verifying production knowledge base;privacy preserving association rules mining based on data disturbance and inquiry limitation;domain knowledge-driven association pattern mining algorithm on medical images;software evolution method considering software historical behavior;approach of stitching VRML clips together;multi-clock domain SoC test scheduling based on ant colony optimization algorithm;evaluation model of software cost estimation methods based on fuzzy-grey theory;cross-media retrieval method based on temporal-spatial clustering and multimodal fusion;intelligent image identification to human cells;and speckle noise suppression techniques for ultrasound images.
The proceedings contain 22 papers. The special focus in this conference is on Dependable softwareengineering: Theories, Tools and Applications. The topics include: Extending Symbolic Heap to Support Shared Owner...
ISBN:
(纸本)9789819606016
The proceedings contain 22 papers. The special focus in this conference is on Dependable softwareengineering: Theories, Tools and Applications. The topics include: Extending Symbolic Heap to Support Shared Ownership;constraint Based Invariant Generation with Modular Operations;Data-Dependent WAR Analysis for Efficient Task-Based Intermittent computing;Can Language Models Pretend Solvers? Logic Code Simulation with LLMs;enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions;Formal Verification of RISC-V Processor Chisel Designs;the Principle of Staking: Formal Verification of Staking Smart Contract;a Contract-Based Framework for Formal Verification of Embedded software;Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness;The Design of Intelligent Temperature Control System of Smart House with MARS;universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects;Cache Behavior Analysis with SP-Relative Addressing for WCET Estimation;timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals;runtime Verification of Neural-Symbolic Systems;eidos: Efficient, Imperceptible Adversarial 3D Point Clouds;MILE: A Mutation Testing Framework of In-Context Learning Systems;a Derivative-Based Membership Algorithm for Enhanced Regular Expressions;nanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive;faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs;EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning.
Satellite edge computing (SatEC) is an emerging computing paradigm for remote and disaster-affected areas with scarce computing resources. It is crucial to make the appropriate offloading strategy to maximize quality ...
详细信息
This article expounds the basic principles of planar optical waveguides and the analysis ideas of waveguide end slot phased array antennas. Combining modern digital computing technology and HFSS software, a single pho...
详细信息
AI Tools such as ChatGPT, GPT-4 and GitHub Copilot change the very nature of how developers build software by greatly helping in the quick generation of code. While this proves to be efficient for professionals, it po...
详细信息
Enhancing interactions with natural and user-friendly computer interfaces (HCIs) requires the use of hand gestures. This article illustrates a particularly created brilliant neural network that can identify the flat-b...
详细信息
Many enterprise software systems provide complex Graphical User Interfaces (GUIs) that need robust architectural patterns for well-structured software design. However, popular GUI architectural patterns like Model-Vie...
详细信息
Heterogeneous Graph Neural Networks (HGNNs) are pivotal for extracting semantic and structural information from heterogeneous graphs. Traditional HGNN implementations often grapple with the challenges of excessive met...
详细信息
The Estimating Chlorophyll content material of vegetation in Hyper Spectral floor photos aims to create an automatic approach to accurately degree the concentration of chlorophyll in plant life using hyperspectral flo...
详细信息
In this work a numerical simulation model for computing mechanical responses of a pavement inserted with geogrid at positions- interface of bituminous layer and base course, middle of base course and interface between...
详细信息
暂无评论