中文
相关论文

相关论文: Testing with Fewer Resources: An Adaptive Approach…

200 篇论文

We formulate and study a fundamental search and detection problem, Schedule Optimization, motivated by a variety of real-world applications, ranging from monitoring content changes on the web, social networks, and user activities to…

数据结构与算法 · 计算机科学 2015-09-11 Ahmad Mahmoody , Evgenios M. Kornaropoulos , Eli Upfal

Unit testing verifies the presence of faults in individual software components. Previous research has been targeting the automatic generation of unit tests through the adoption of random or search-based algorithms. Despite their…

软件工程 · 计算机科学 2022-04-13 Fabiano Pecorelli , Giovanni Grano , Fabio Palomba , Harald C. Gall , Andrea De Lucia

Task-based programming models are emerging as a promising alternative to make the most of multi-/many-core systems. These programming models rely on runtime systems, and their goal is to improve application performance by properly…

分布式、并行与集群计算 · 计算机科学 2020-09-24 Antoni Navarro , Arthur F. Lorenzon , Eduard Ayguadé , Vicenç Beltran

Automatic sleep staging plays a vital role in assessing sleep quality and diagnosing sleep disorders. Most existing methods rely heavily on long and continuous EEG recordings, which poses significant challenges for data acquisition in…

机器学习 · 计算机科学 2025-11-19 Lejun Ai , Yulong Li , Haodong Yi , Jixuan Xie , Yue Wang , Jia Liu , Min Chen , Rui Wang

Retrieval-Augmented Generation (RAG) has emerged as a promising paradigm for improving the timeliness of knowledge updates and the factual accuracy of large language models. However, incorporating a large volume of retrieved documents…

计算与语言 · 计算机科学 2026-05-29 Ziqiang Cui , Yunpeng Weng , Xing Tang , Peiyang Liu , Shiwei Li , Bowei He , Jiamin Chen , Yansen Zhang , Xiuqiang He , Chen Ma

Runtime resource management for many-core systems is increasingly complex. The complexity can be due to diverse workload characteristics with conflicting demands, or limited shared resources such as memory bandwidth and power. Resource…

硬件体系结构 · 计算机科学 2020-08-04 Bryan Donyanavard , Amir M. Rahmani , Axel Jantsch , Onur Mutlu , Nikil Dutt

This article discusses a new technique to automatically generate test cases for object oriented programs. At the state of the art, the problem of generating adequate sets of complete test cases has not been satisfactorily solved yet. There…

软件工程 · 计算机科学 2020-05-20 Matteo Modonato

The softmax attention mechanism has emerged as a noteworthy development in the field of Artificial Intelligence research, building on the successes of Transformer-based architectures. However, their ever increasing sizes necessitate ever…

计算与语言 · 计算机科学 2023-05-19 Luca Herranz-Celotti , Ermal Rrapaj

Dynamic optimization is currently limited by sensitivity computations that require information from full forward and adjoint wave fields. Since the forward and adjoint solutions are computed in opposing time directions, the forward solution…

计算工程、金融与科学 · 计算机科学 2025-09-22 Leon Herrmann , Tim Bürchner , László Kudela , Stefan Kollmannsberger

Software development effort estimation is one of the most critical aspect in software development process, as the success or failure of the entire project depends on the accuracy of estimations. Researchers are still conducting studies on…

软件工程 · 计算机科学 2025-10-07 Sisay Deresa Sima , Ayalew Belay Habtie

Modern machine learning solutions require extensive data collection where labeling remains costly. To reduce this burden, open set active learning approaches aim to select informative samples from a large pool of unlabeled data that…

机器学习 · 计算机科学 2025-10-27 Young In Kim , Andrea Agiollo , Rajiv Khanna

In High Performance Computing (HPC) infrastructures, the control of resources by batch systems can lead to prolonged queue waiting times and adverse effects on the overall execution times of applications, particularly in data-intensive and…

分布式、并行与集群计算 · 计算机科学 2024-01-19 Abel Souza , Kristiaan Pelckmans , Devarshi Ghoshal , Lavanya Ramakrishnan , Johan Tordsson

Dynamic analysis enables detecting Windows malware by executing programs in a controlled environment and logging their actions. Previous work has proposed training machine learning models, i.e., convolutional and long short-term memory…

密码学与安全 · 计算机科学 2024-10-29 Dmitrijs Trizna , Luca Demetrio , Battista Biggio , Fabio Roli

Diffusion Transformers have become a dominant paradigm in visual generation, yet their low inference efficiency remains a key bottleneck hindering further advancement. Among common training-free techniques, caching offers high acceleration…

计算机视觉与模式识别 · 计算机科学 2026-03-25 Tong Shao , Yusen Fu , Guoying Sun , Jingde Kong , Zhuotao Tian , Jingyong Su

Accurate short-term power load forecasting is important to effectively manage, optimize, and ensure the robustness of modern power systems. This paper performs an empirical evaluation of a traditional statistical model and deep learning…

机器学习 · 计算机科学 2026-03-10 Suhasnadh Reddy Veluru , Sai Teja Erukude , Viswa Chaitanya Marella

Automated test generation is essential for software quality assurance, with coverage rate serving as a key metric to ensure thorough testing. Recent advancements in Large Language Models (LLMs) have shown promise in improving test…

软件工程 · 计算机科学 2026-02-26 WeiZhe Xu , Mengyu Liu , Fanxin Kong

Testing is an essential part of software development. Test generation tools attempt to automate the otherwise labor-intensive task of test creation, but generating high-coverage tests remains challenging. This paper proposes CoverUp, a…

软件工程 · 计算机科学 2025-05-12 Juan Altmayer Pizzorno , Emery D. Berger

Performance regressions have a tremendous impact on the quality of software. One way to catch regressions before they reach production is executing performance tests before deployment, e.g., using microbenchmarks, which measure performance…

软件工程 · 计算机科学 2025-10-22 Nils Japke , Martin Grambow , Christoph Laaber , David Bermbach

Marine obstacle detection demands robust segmentation under challenging conditions, such as sun glitter, fog, and rapidly changing wave patterns. These factors degrade image quality, while the scarcity and structural repetition of marine…

计算机视觉与模式识别 · 计算机科学 2025-12-17 Miaohua Zhang , Mohammad Ali Armin , Xuesong Li , Sisi Liang , Lars Petersson , Changming Sun , David Ahmedt-Aristizabal , Zeeshan Hayder

Large language models (LLMs) achieve remarkable performance across numerous tasks by using a diverse array of adaptation strategies. However, optimally selecting a model and adaptation strategy under resource constraints is challenging and…

机器学习 · 计算机科学 2025-06-06 Jiayu Wang , Aws Albarghouthi , Frederic Sala