English
Related papers

Related papers: Quantifying Technical Debt: A Systematic Mapping S…

200 papers

Energy theft, characterized by manipulating energy consumption readings to reduce payments, poses a dual threat-causing financial losses for grid operators and undermining the performance of smart grids. Effective Energy Theft Detection…

Machine Learning · Computer Science 2024-01-17 Xun Yuan , Yang Yang , Asif Iqbal , Prosanta Gope , Biplab Sikdar

The growing scale of large language models (LLMs) not only demands extensive computational resources but also raises environmental concerns due to their increasing carbon footprint. Model quantization emerges as an effective approach that…

Software Engineering · Computer Science 2025-07-15 Saima Afrin , Bowen Xu , Antonio Mastropaolo

Power consumption and heat dissipation become key elements in the field of high-end integrated circuits, especially those used in mobile and high-speed applications, due to their increase of transistor count and clock frequencies. Dynamic…

Materials Science · Physics 2007-09-13 M. Marcu , M. Vladutiu , H. Moldovan , M. Popa

The Diffusion model, a prevalent framework for image generation, encounters significant challenges in terms of broad applicability due to its extended inference times and substantial memory requirements. Efficient Post-training Quantization…

Computer Vision and Pattern Recognition · Computer Science 2024-03-12 Yushi Huang , Ruihao Gong , Jing Liu , Tianlong Chen , Xianglong Liu

Quantitative program analysis involves computing numerical quantities about individual or collections of program executions. An example of such a computation is quantitative information flow analysis, where one estimates the amount of…

Logic in Computer Science · Computer Science 2014-05-29 Daniel J. Fremont , Sanjit A. Seshia

Self-admitted technical debt (SATD) refers to technical debt that is intentionally introduced by developers and explicitly documented in code comments or other software artifacts (e.g., issue reports) to annotate sub-optimal decisions made…

Software Engineering · Computer Science 2022-03-31 Jerin Yasmin , Mohammad Sadegh Sheikhaei , Yuan Tian

A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high expressive power, yet it remains readable because its graphical representation stays…

Computational Engineering, Finance, and Science · Computer Science 2020-04-29 Marc Bouissou , Shahid Khan , Joost-Pieter Katoen , Pavel Krcal

Quantification learning deals with the task of estimating the target label distribution under label shift. In this paper, we first present a unifying framework, distribution feature matching (DFM), that recovers as particular instances…

Machine Learning · Statistics 2023-07-04 Bastien Dussap , Gilles Blanchard , Badr-Eddine Chérief-Abdellatif

Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive…

Logic in Computer Science · Computer Science 2013-01-03 Zheng Wang , Geguang Pu , Jianwen Li , Jifeng He , Shengchao Qin , Kim G. Larsen , Jan Madsen , Bin Gu

Most of today's products and services are software-based. Organizations that develop software want to maintain and improve their competitiveness by controlling software-related risks. To do this, they need to align their business goals with…

Periodic control systems used in spacecrafts and automotives are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such systems may also involve intensive…

Systems and Control · Computer Science 2012-07-05 Zheng Wang , Geguang Pu , Shenchao Qin , Jianwen Li , Kim G. Larsen , Jan Madsen , Bin Gu , Jifeng He

Diffusion-based large language models (DLLMs) have shown promise for non-autoregressive text generation, but their deployment is constrained by large model sizes and heavy computational costs. Post-training quantization (PTQ), a widely used…

Computation and Language · Computer Science 2025-08-27 Chen Xu , Dawei Yang

Recently, large language models (LLMs) have shown surprising performance in task-specific workloads as well as general tasks with the given prompts. However, to achieve unprecedented performance, recent LLMs use billions to trillions of…

Machine Learning · Computer Science 2024-06-21 Geonhwa Jeong , Po-An Tsai , Stephen W. Keckler , Tushar Krishna

Time series imputation models have traditionally been developed using complete datasets with artificial masking patterns to simulate missing values. However, in real-world infrastructure monitoring, practitioners often encounter datasets…

Machine Learning · Computer Science 2025-06-26 Ryan Hildebrant , Rahul Bhope , Sharad Mehrotra , Christopher Tull , Nalini Venkatasubramanian

Measuring the in-context computational effort of language models is a key challenge, as metrics like next-token loss fail to capture reasoning complexity. Prior methods based on latent state compressibility can be invasive and unstable. We…

Machine Learning · Computer Science 2025-12-30 Vincent Herrmann , Eric Alcaide , Michael Wand , Jürgen Schmidhuber

Text-to-image generation via Stable Diffusion models (SDM) have demonstrated remarkable capabilities. However, their computational intensity, particularly in the iterative denoising process, hinders real-time deployment in latency-sensitive…

Computer Vision and Pattern Recognition · Computer Science 2025-05-08 Shuaiting Li , Juncan Deng , Zeyu Wang , Kedong Xu , Rongtao Deng , Hong Gu , Haibin Shen , Kejie Huang

Post-training quantization (PTQ) is a primary approach for deploying large language models without fine-tuning, and the quantized performance is often strongly affected by the calibration in PTQ. By contrast, in vision-language models…

Computer Vision and Pattern Recognition · Computer Science 2026-02-10 Zhenhao Shang , Haizhao Jing , Guoting Wei , Haokui Zhang , Rong Xiao , Jianqing Gao , Peng Wang

Modelling Consumer Indebtedness has proven to be a problem of complex nature. In this work we utilise Data Mining techniques and methods to explore the multifaceted aspect of Consumer Indebtedness by examining the contribution of…

Machine Learning · Computer Science 2015-02-23 Alexandros Ladas , Eamonn Ferguson , Uwe Aickelin , Jon Garibaldi

Value Driver Trees (VDTs) are conceptual models used to illustrate and analyse the causal relationships between key performance indicators and business outcomes, thereby supporting managerial decision-making and value-based management.…

Software Engineering · Computer Science 2025-12-18 Benjamin Matthies

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,…

Software Engineering · Computer Science 2021-01-12 Amjed Tahir , Stephen G. MacDonell
‹ Prev 1 8 9 10 Next ›