中文
相关论文

相关论文: Automated Reasoning and Detection of Specious Conf…

200 篇论文

Major software failures are reported to be due to misconfiguration. As manual configuration is too error-prone to be deemed a reliable strategy for dynamic and complex systems, automated configuration management has become a standard.…

分布式、并行与集群计算 · 计算机科学 2024-10-29 Tamara Ranković , Filip Šiljić , Jovan Tomić , Goran Sladić , Miloš Simić

Many techniques were proposed for detecting software misconfigurations in cloud systems and for diagnosing unintended behavior caused by such misconfigurations. Detection and diagnosis are steps in the right direction: misconfigurations…

软件工程 · 计算机科学 2021-02-24 Yuanliang Zhang , Haochen He , Owolabi Legunsen , Shanshan Li , Wei Dong , Tianyin Xu

Kubernetes is a tool that facilitates rapid deployment of software. Unfortunately, configuring Kubernetes is prone to errors. Configuration defects are not uncommon and can result in serious consequences. This paper reports an empirical…

软件工程 · 计算机科学 2025-12-09 Yue Zhang , Uchswas Paul , Marcelo d'Amorim , Akond Rahman

Modern computer systems are highly configurable, with the total variability space sometimes larger than the number of atoms in the universe. Understanding and reasoning about the performance behavior of highly configurable systems, over a…

机器学习 · 计算机科学 2022-03-21 Md Shahriar Iqbal , Rahul Krishna , Mohammad Ali Javidian , Baishakhi Ray , Pooyan Jamshidi

Modern software systems are often equipped with hundreds to thousands of configuration options, many of which greatly affect performance. Unfortunately, properly setting these configurations is challenging for developers due to the complex…

分布式、并行与集群计算 · 计算机科学 2017-10-23 Shu Wang , Chi Li , William Sentosa , Henry Hoffmann , Shan Lu

In a buggy configurable system, configuration-dependent bugs cause the failures in only certain configurations due to unexpected interactions among features. Manually localizing configuration-dependent faults in configurable systems could…

软件工程 · 计算机科学 2019-11-20 Son Nguyen

Software misconfiguration has consistently been a major reason for software failures. Over the past two decades, much work has been done to detect and diagnose software misconfigurations. However, there is still a gap between real-world…

软件工程 · 计算机科学 2026-05-29 Yuhao Liu , Yingnan Zhou , Hanfeng Zhang , Zhiwei Chang , Sihan Xu , Yan Jia , Wei Wang , Juncheng Hu , Zheli Liu

A reliable executable environment is the foundation for ensuring that large language models solve software engineering tasks. Due to the complex and tedious construction process, large-scale configuration is relatively inefficient. However,…

软件工程 · 计算机科学 2026-01-26 Xinshuai Guo , Jiayi Kuang , Linyue Pan , Yinghui Li , Yangning Li , Hai-Tao Zheng , Ying Shen , Di Yin , Xing Sun

Systems can become misconfigured for a variety of reasons such as operator errors or buggy patches. When a misconfiguration is discovered, usually the first order of business is to restore availability, often by undoing the…

软件工程 · 计算机科学 2017-11-10 Zhen Huang , David Lie

Ideally the variability of a product line is represented completely and correctly by its variability model. However, in practice additional variability is often represented on the level of the build system or in the code. Such a situation…

软件工程 · 计算机科学 2021-10-13 Sascha El-Sharkawy , Adam Krafczyk , Klaus Schmid

Finding good configurations for a software system is often challenging since the number of configuration options can be large. Software engineers often make poor choices about configuration or, even worse, they usually use a sub-optimal…

软件工程 · 计算机科学 2018-09-05 Vivek Nair , Zhe Yu , Tim Menzies , Norbert Siegmund , Sven Apel

The increasing prominence of weakly labeled data nurtures a growing demand for object detection methods that can cope with minimal supervision. We propose an approach that automatically identifies discriminative configurations of visual…

计算机视觉与模式识别 · 计算机科学 2014-06-26 Hyun Oh Song , Yong Jae Lee , Stefanie Jegelka , Trevor Darrell

Determining whether a configurable software system has a performance bug or it was misconfigured is often challenging. While there are numerous debugging techniques that can support developers in this task, there is limited empirical…

软件工程 · 计算机科学 2022-03-22 Miguel Velez , Pooyan Jamshidi , Norbert Siegmund , Sven Apel , Christian Kästner

We introduce a novel technique for finding real errors in programs. The technique is based on a synergy of three well-known methods: metacompilation, slicing, and symbolic execution. More precisely, we instrument a given program with a code…

编程语言 · 计算机科学 2012-01-24 Jiří Slabý , Jan Strejček , Marek Trtík

Specializing an OS to optimize the performance of a particular application is typically a manual process that requires great expertise. Specialization through configuration lends itself well to automation; however, it is challenging due to…

Deep learning and hardware for it has garnered immense academic and industry interest in the past 5 years, with many novel proposals. However, the state-of-art remains NVIDIA's TensorCore-based systems that provide top-of-line performance…

硬件体系结构 · 计算机科学 2023-01-12 Michael Davies , Karthikeyan Sankaralingam

The ever-increasing complexity of software systems makes them hard to comprehend, predict and tune due to emergent properties and non-deterministic behaviour. Complexity arises from the size of software systems and the wide variety of…

软件工程 · 计算机科学 2010-07-01 Aled Sage

Context: The Configuration Management of the development and production environments is an important aspect of IT operations. However, managing the configuration differences between these two environments can be challenging, leading to…

软件工程 · 计算机科学 2025-05-16 Marcos Nazario , Rodrigo Bonifacio , Gustavo Pinto

Learning and predicting the performance of given software configurations are of high importance to many software engineering activities. While configurable software systems will almost certainly face diverse running environments (e.g.,…

软件工程 · 计算机科学 2024-02-06 Jingzhi Gong , Tao Chen

Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of…

编程语言 · 计算机科学 2016-05-18 Rian Shambaugh , Aaron Weiss , Arjun Guha
‹ 上一页 1 2 3 10 下一页 ›