中文
相关论文

相关论文: Combined Program Analysis Techniques: A Systematic…

200 篇论文

Software architecture is the foundation of a system's ability to achieve various quality attributes, including software performance. However, there lacks comprehensive and in-depth understanding of why and how software architecture and…

软件工程 · 计算机科学 2024-10-24 Yutong Zhao , Lu Xiao , Chenhao Wei , Rick Kazman , Ye Yang

Model merging has achieved significant success, with numerous innovative methods proposed to enhance capabilities by combining multiple models. However, challenges persist due to the lack of a unified framework for classification and…

机器学习 · 计算机科学 2025-03-13 Wei Ruan , Tianze Yang , Yifan Zhou , Tianming Liu , Jin Lu

We aim to conduct a systematic mapping in the area of testing ML programs. We identify, analyze and classify the existing literature to provide an overview of the area. We followed well-established guidelines of systematic mapping to…

机器学习 · 计算机科学 2019-07-23 Salman Sherin , Muhammad Uzair khan , Muhammad Zohaib Iqbal

Program comprehension concerns the ability of an individual to make an understanding of an existing software system to extend or transform it. Software systems comprise of data that are noisy and missing, which makes program understanding…

软件工程 · 计算机科学 2019-02-05 Amir Saeidi , Jurriaan Hage , Ravi Khadka , Slinger Jansen

Programmers' mental models represent their knowledge and understanding of programs, programming concepts, and programming in general. They guide programmers' work and influence their task performance. Understanding mental models is…

软件工程 · 计算机科学 2022-12-16 Ava Heinonen , Bettina Lehtelä , Arto Hellas , Fabian Fagerholm

Forecast combinations have flourished remarkably in the forecasting community and, in recent years, have become part of the mainstream of forecasting research and activities. Combining multiple forecasts produced from single (target) series…

统计方法学 · 统计学 2022-09-26 Xiaoqian Wang , Rob J Hyndman , Feng Li , Yanfei Kang

Scientists have developed hundreds of techniques to measure the interactions between pairs of processes in complex systems. But these computational methods, from correlation coefficients to causal inference, rely on distinct quantitative…

数据分析、统计与概率 · 物理学 2023-06-27 Oliver M. Cliff , Annie G. Bryant , Joseph T. Lizier , Naotsugu Tsuchiya , Ben D. Fulcher

Reviewing source code is a common practice in a modern and collaborative coding environment. In the past few years, the research on modern code reviews has gained interest among practitioners and researchers. The objective of our…

软件工程 · 计算机科学 2023-10-04 Deepika Badampudi , Ricardo Britto , Michael Unterkalmsteiner

The continuous software engineering paradigm is gaining popularity in modern development practices, where the interleaving of design and runtime activities is induced by the continuous evolution of software systems. In this context,…

Several important aspects of software product quality can be evaluated using dynamic metrics that effectively capture and reflect the software's true runtime behavior. While the extent of research in this field is still relatively limited,…

软件工程 · 计算机科学 2021-01-12 Amjed Tahir , Stephen G. MacDonell

Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. No single inference…

编程语言 · 计算机科学 2022-04-15 Maria I. Gorinova

The increasing interest in complex networks research has been a consequence of several intrinsic features of this area, such as the generality of the approach to represent and model virtually any discrete system, and the incorporation of…

Context: Successfully addressing stakeholder concerns that are related to software system development and operation is crucial to achieving development goals. The importance of using a systematic approach to addressing these concerns…

软件工程 · 计算机科学 2023-02-14 Sandun Dasanayake , Jouni Markkula , Markku Oivo

Effective therapy of complex diseases requires control of highly non-linear complex networks that remain incompletely characterized. In particular, drug intervention can be seen as control of signaling in cellular networks. Identification…

Automatically constructing a program based on given specifications has been studied for decades. Despite the advances in the field of Program Synthesis, the current approaches still synthesize a block of code snippet and leave the task of…

软件工程 · 计算机科学 2022-01-26 Ali Shokri

With the surge of multi- and manycores, much research has focused on algorithms for mapping and scheduling on these complex platforms. Large classes of these algorithms face scalability problems. This is why diverse methods are commonly…

分布式、并行与集群计算 · 计算机科学 2017-07-27 Andrés Goens , Sergio Siccha , Jeronimo Castrillon

Recently, many systems for graph analysis have been developed to address the growing needs of both industry and academia to study complex graphs. Insight into the practical uses of graph analysis will allow future developments of such…

社会与信息网络 · 计算机科学 2018-07-03 Tim Hegeman , Alexandru Iosup

Multi-Agent Path Finding (MAPF) is a fundamental problem in artificial intelligence and robotics, requiring the computation of collision-free paths for multiple agents navigating from their start locations to designated goals. As autonomous…

人工智能 · 计算机科学 2025-08-01 Shiyue Wang , Haozheng Xu , Yuhan Zhang , Jingran Lin , Changhong Lu , Xiangfeng Wang , Wenhao Li

Pair programming is widely recognized as an effective educational tool in computer science that promotes collaborative learning and mirrors real-world work dynamics. However, communication breakdowns within pairs significantly challenge…

人机交互 · 计算机科学 2024-12-05 Wunmin Jang , Hong Gao , Tilman Michaeli , Enkelejda Kasneci

Throughput-oriented computing via co-running multiple applications in the same machine has been widely adopted to achieve high hardware utilization and energy saving on modern supercomputers and data centers. However, efficiently co-running…

性能 · 计算机科学 2023-03-29 Hao Xu , Shuang Song , Ze Mao
‹ 上一页 1 2 3 10 下一页 ›