English
Related papers

Related papers: Profile-Driven Automated Mixed Precision

200 papers

We propose a multiscale approach for predicting quantities in dynamical systems which is explicitly structured to extract information in both fine-to-coarse and coarse-to-fine directions. We envision this method being generally applicable…

Atmospheric and Oceanic Physics · Physics 2025-12-30 Karl Otness , Laure Zanna , Joan Bruna

Iterative compilation is a widely adopted technique to optimize programs for different constraints such as performance, code size and power consumption in rapidly evolving hardware and software environments. However, in case of statically…

Programming Languages · Computer Science 2014-07-16 Lianjie Luo , Yang Chen , Chengyong Wu , Shun Long , Grigori Fursin

Piecewise affine functions are widely used to approximate nonlinear and discontinuous functions. However, most, if not all existing models only deal with fitting continuous functions. In this paper, we investigate the problem of fitting a…

Optimization and Control · Mathematics 2020-01-29 Ruobing Shen , Bo Tang , Leo Liberti , Claudia D'Ambrosio , Stéphane Canu

The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known…

Programming Languages · Computer Science 2015-05-18 Alexandre Chapoutot

While automated driving technology has achieved a tremendous progress, the scalable and rigorous testing and verification of safe automated and autonomous driving vehicles remain challenging. This paper proposes a learning-based…

Robotics · Computer Science 2021-01-27 Andrea Favrin , Vladislav Nenchev , Angelo Cenedese

Despite the use of machine learning for many network traffic analysis tasks in security, from application identification to intrusion detection, the aspects of the machine learning pipeline that ultimately determine the performance of the…

Cryptography and Security · Computer Science 2021-10-22 Jordan Holland , Paul Schmitt , Nick Feamster , Prateek Mittal

With the increasing complexity of machine learning models, managing computational resources like memory and processing power has become a critical concern. Mixed precision techniques, which leverage different numerical precisions during…

Machine Learning · Computer Science 2026-04-20 Juyoung Yun , Sol Choi , Francois Rameau , Byungkon Kang , Zhoulai Fu

Reliable parameter extraction from experimental data is central to quantitative analysis in spectroscopy, diffraction, photoluminescence, chromatography, microscopy, and time-resolved measurements. We present FitED, a Python-based desktop…

Data Analysis, Statistics and Probability · Physics 2026-05-04 Mustafa Mahmoud Aboulsaad

Estimation and inference in dynamic discrete choice models often relies on approximation to lower the computational burden of dynamic programming. Unfortunately, the use of approximation can impart substantial bias in estimation and results…

Econometrics · Economics 2020-10-23 Ben Deaner

The points-to problem is the problem of determining the possible run-time targets of pointer variables and is usually considered part of the more general aliasing problem, which consists in establishing whether and when different…

Programming Languages · Computer Science 2008-10-07 Stefano Soffia

To solve complex real-world problems, heuristics and concept-based approaches can be used in order to incorporate information into the problem. In this study, a concept-based approach called variable functioning Fx is introduced to reduce…

Computational Engineering, Finance, and Science · Computer Science 2022-05-17 Amir H Gandomi , Kalyanmoy Deb , Ronald C Averill , Shahryar Rahnamayan , Mohammad Nabi Omidvar

Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs).…

Artificial Intelligence · Computer Science 2018-07-03 Ario Santoso

Thermodynamic and flash equilibrium calculations are the cornerstones of simulation process calculations. The iterative approach, a widely used nonlinear problem-solving technique, relies on derivative calculations throughout the procedure…

Computational Engineering, Finance, and Science · Computer Science 2023-11-21 Shaoyi Yang

This paper presents a framework for fast and robust motion planning designed to facilitate automated driving. The framework allows for real-time computation even for horizons of several hundred meters and thus enabling automated driving in…

Robotics · Computer Science 2019-02-26 Zlatan Ajanovic , Bakir Lacevic , Barys Shyrokau , Michael Stolz , Martin Horn

Context: The Importance of Dynamic Variability Management in Dynamic Software Product Lines. Objective: Define a protocol for conducting a systematic mapping study to summarize and synthesize evidence on dynamic variability management for…

Software Engineering · Computer Science 2022-07-01 Oscar Aguayo , Samuel Sepúlveda

Automated benchmarking environments aim to support researchers in understanding how different algorithms perform on different types of optimization problems. Such comparisons provide insights into the strengths and weaknesses of different…

Neural and Evolutionary Computing · Computer Science 2021-02-02 Carola Doerr , Furong Ye , Naama Horesh , Hao Wang , Ofer M. Shir , Thomas Bäck

Input-sensitive profiling is a recent performance analysis technique that makes it possible to estimate the empirical cost function of individual routines of a program, helping developers understand how performance scales to larger inputs…

Performance · Computer Science 2013-04-16 Emilio Coppa , Camil Demetrescu , Irene Finocchi , Romolo Marotta

Predicting the future motion of surrounding agents is essential for autonomous vehicles (AVs) to operate safely in dynamic, human-robot-mixed environments. Context information, such as road maps and surrounding agents' states, provides…

Computer Vision and Pattern Recognition · Computer Science 2024-03-20 Yang Zhou , Hao Shao , Letian Wang , Steven L. Waslander , Hongsheng Li , Yu Liu

Model-based policy optimization is a well-established framework for designing reliable and high-performance controllers across a wide range of control applications. Recently, this approach has been extended to model predictive control…

Systems and Control · Electrical Eng. & Systems 2026-04-15 Riccardo Zuliani , Efe C. Balta , John Lygeros

A desirable property of control systems is to be robust to inputs, that is small perturbations of the inputs of a system will cause only small perturbations on its outputs. But it is not clear whether this property is maintained at the…

Software Engineering · Computer Science 2013-09-17 Eric Goubault , Sylvie Putot