English
Related papers

Related papers: Incremental Calibration of Architectural Performan…

200 papers

The continued existence of any software industry depends on its capability to develop nearly zero-defect product, which is achievable through effective defect management. Inspection has proven to be one of the promising techniques of defect…

Software Engineering · Computer Science 2011-07-19 T. R. Gopalakrishnan Nair , Suma. V

A growing demand for handling uncertainties and risks in performance-driven building design decision-making has challenged conventional design methods. Thus, researchers in this field lean towards viable alternatives to using deterministic…

Numerical Analysis · Mathematics 2021-09-20 Fatemeh Shahsavari , Jeffrey D. Hart , Wei Yan

Cumulative probability models (CPMs) are a robust alternative to linear models for continuous outcomes. However, they are not feasible for very large datasets due to elevated running time and memory usage, which depend on the sample size,…

Computation · Statistics 2022-07-15 Chun Li , Guo Chen , Bryan E. Shepherd

Despite the numerous uses of semidefinite programming (SDP) and its universal solvability via interior point methods (IPMs), it is rarely applied to practical large-scale problems. This mainly owes to the computational cost of IPMs that…

Optimization and Control · Mathematics 2024-03-19 Yifan Ran , Stefan Vlaski , Wei Dai

In many domains, the previous decade was characterized by increasing data volumes and growing complexity of computational workloads, creating new demands for highly data-parallel computing in distributed systems. Effective operation of…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-01-25 Carl Witt , Marc Bux , Wladislaw Gusew , Ulf Leser

The ADMM-based interior point (ABIP, Lin et al. 2021) method is a hybrid algorithm that effectively combines interior point method (IPM) and first-order methods to achieve a performance boost in large-scale linear optimization. Different…

Optimization and Control · Mathematics 2024-04-09 Qi Deng , Qing Feng , Wenzhi Gao , Dongdong Ge , Bo Jiang , Yuntian Jiang , Jingsong Liu , Tianhao Liu , Chenyu Xue , Yinyu Ye , Chuwen Zhang

Typical LLM responses tend to follow a default style, even though users often have distinct preferences regarding tone, verbosity, and formality that they do not explicitly state in their prompts. Evaluating whether personalization methods…

Computation and Language · Computer Science 2026-05-21 Philipp Spohn , Leander Girrbach , Zeynep Akata

This tutorial focuses on efficient methods to predictive monitoring (PM), the problem of detecting at runtime future violations of a given requirement from the current state of a system. While performing model checking at runtime would…

Artificial Intelligence · Computer Science 2023-12-05 Francesca Cairoli , Luca Bortolussi , Nicola Paoletti

Traditionally, prediction and planning in autonomous driving (AD) have been treated as separate, sequential modules. Recently, there has been a growing shift towards tighter integration of these components, known as Integrated Prediction…

Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and…

Logic in Computer Science · Computer Science 2022-05-19 Joaquín Arias , Seppo Törmä , Manuel Carro , Gopal Gupta

As language models (LMs) become more capable, it is increasingly important to align them with human preferences. However, the dominant paradigm for training Preference Models (PMs) for that purpose suffers from fundamental limitations, such…

Computation and Language · Computer Science 2024-03-18 Dongyoung Go , Tomasz Korbak , Germán Kruszewski , Jos Rozen , Marc Dymetman

Operations is a key challenge in the domain of machine learning pipeline deployments involving monitoring and management of real-time prediction quality. Typically, metrics like accuracy, RMSE etc., are used to track the performance of…

This paper presents two explicit Model Predictive Control formulations for linear systems parameterized in terms of design variables. Such parameter dependent behavior commonly arises from operating point dependent linearization of…

Systems and Control · Electrical Eng. & Systems 2026-04-02 Carlos J. G. Rojas , Esteban Lage Cano , Leyla Özkan

This paper introduces HPIPM, a high-performance framework for quadratic programming (QP), designed to provide building blocks to efficiently and reliably solve model predictive control problems. HPIPM currently supports three QP types, and…

Optimization and Control · Mathematics 2020-06-09 Gianluca Frison , Moritz Diehl

Recent papers have introduced a novel approach to explain why a Predictive Process Monitoring (PPM) model for outcome-oriented predictions provides wrong predictions. Moreover, they have shown how to exploit the explanations, obtained using…

Machine Learning · Computer Science 2023-03-28 Williams Rizzi , Chiara Di Francescomarino , Chiara Ghidini , Fabrizio Maria Maggi

Scientific software is often driven by multiple parameters that affect both accuracy and performance. Since finding the optimal configuration of these parameters is a highly complex task, it extremely common that the software is used…

Computational Engineering, Finance, and Science · Computer Science 2016-08-17 Diego Fabregat-Traver , Ahmed E. Ismail , Paolo Bientinesi

Interior point methods (IPMs) are a common approach for solving linear programs (LPs) with strong theoretical guarantees and solid empirical performance. The time complexity of these methods is dominated by the cost of solving a linear…

Optimization and Control · Mathematics 2022-02-04 Gregory Dexter , Agniva Chowdhury , Haim Avron , Petros Drineas

Comprehensively understanding and accurately predicting the performance of large language models across diverse downstream tasks has emerged as a pivotal challenge in NLP research. The pioneering scaling law on downstream works demonstrated…

Computation and Language · Computer Science 2024-10-04 Qiyuan Zhang , Fuyuan Lyu , Xue Liu , Chen Ma

The resurgence of near-memory processing (NMP) with the advent of big data has shifted the computation paradigm from processor-centric to memory-centric computing. To meet the bandwidth and capacity demands of memory-centric computing, 3D…

Hardware Architecture · Computer Science 2021-04-29 Pritam Majumder , Jiayi Huang , Sungkeun Kim , Abdullah Muzahid , Dylan Siegers , Chia-Che Tsai , Eun Jung Kim

Computer architecture design space is vast and complex. Tools are needed to explore new ideas and gain insights quickly, with low efforts and at a desired accuracy. We propose Calipers, a criticality-based framework to model key…

Performance · Computer Science 2022-01-19 Hossein Golestani , Rathijit Sen , Vinson Young , Gagan Gupta
‹ Prev 1 2 3 10 Next ›