English
Related papers

Related papers: Code Optimization in FORM

200 papers

The limitations of centralized optimization methods in managing power distribution systems operations motivate distributed control and optimization algorithms. However, the existing distributed optimization algorithms are inefficient in…

Optimization and Control · Mathematics 2021-09-06 Rabayet Sadnan , Tom Asaki , Anamika Dubey

Large Language Models (LLMs) have shown remarkable capabilities in solving various programming tasks, such as code generation. However, their potential for code optimization, particularly in performance enhancement, remains largely…

Programming Languages · Computer Science 2026-02-26 Tong Ye , Tengfei Ma , Xuhong Zhang , Hang Yu , Jianwei Yin , Wenhai Wang

Improvements in the performance of computing systems, driven by Moore's Law, have transformed society. As such hardware-driven gains slow down, it becomes even more important for software developers to focus on performance and efficiency…

Software Engineering · Computer Science 2022-08-11 Binghong Chen , Daniel Tarlow , Kevin Swersky , Martin Maas , Pablo Heiber , Ashish Naik , Milad Hashemi , Parthasarathy Ranganathan

To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are usually biased and leave room for improvement. In this paper…

Computational Engineering, Finance, and Science · Computer Science 2010-05-12 Martin Mann , Alessandro Dal Palù

Constraint Handling Rules (CHR) is a rule-based programming language that rewrites collections of constraints. It is typically embedded into a general-purpose language. There exists a plethora of implementation for numerous host languages.…

Programming Languages · Computer Science 2025-08-26 Sascha Rechenberger , Thom Frühwirth

The construction of approximate replication strategies for pricing and hedging of derivative contracts in incomplete markets is a key problem of financial engineering. Recently Reinforcement Learning algorithms for hedging under realistic…

Artificial Intelligence · Computer Science 2023-11-02 Oleg Szehr

In first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper we present a program format that supports the development from specification to code in small and obvious steps; that…

Programming Languages · Computer Science 2012-05-09 M. H. van Emden

Monte Carlo Tree Search and Monte Carlo Search have good results for many combinatorial problems. In this paper we propose to use Monte Carlo Search to design mathematical expressions that are used as exploration terms for Monte Carlo Tree…

Artificial Intelligence · Computer Science 2024-04-16 Tristan Cazenave

We propose a methodology, based on machine learning and optimization, for selecting a solver configuration for a given instance. First, we employ a set of solved instances and configurations in order to learn a performance function of the…

Optimization and Control · Mathematics 2024-01-10 Gabriele Iommazzo , Claudia D'Ambrosio , Antonio Frangioni , Leo Liberti

Computing optimal control policies for complex dynamical systems requires approximation methods to remain computationally tractable. Several approximation methods have been developed to tackle this problem. However, these methods do not…

Robotics · Computer Science 2022-03-30 Ashwin Khadke , Hartmut Geyer

This paper presents a numerical function optimization framework designed for constrained optimization problems in robotics. The tool is designed with real-time considerations and is suitable for online trajectory and control input…

Robotics · Computer Science 2025-11-11 Sait Sovukluk , Christian Ott

Mathematical optimization is one of the cornerstones of modern engineering research and practice. Yet, throughout all application domains, mathematical optimization is, for the most part, considered to be a numerical discipline.…

Optimization and Control · Mathematics 2024-01-09 Adrian Hauswirth , Zhiyu He , Saverio Bolognani , Gabriela Hug , Florian Dörfler

Efficient order fulfillment is vital in the agricultural industry, particularly due to the seasonal nature of seed supply chains. This paper addresses the challenge of optimizing seed orders fulfillment in a centralized warehouse where…

Artificial Intelligence · Computer Science 2025-10-07 Pranay Thangeda , Hoda Helmi , Melkior Ornik

The energy variance optimization algorithm over a fixed ensemble of configurations in variational Monte Carlo is formally identical to a problem of fitting data: we reexamine it from a statistical maximum-likelihood point of view. We detect…

Atomic and Molecular Clusters · Physics 2009-11-07 Dario Bressanini , Gabriele Morosi , Massimo Mella

We propose a planning-based method to teach an agent to manage portfolio from scratch. Our approach combines deep reinforcement learning techniques with search techniques like AlphaGo. By uniting the advantages in A* search algorithm with…

Artificial Intelligence · Computer Science 2019-02-19 Xiaojie Gao , Shikui Tu , Lei Xu

We present a systematic, algebraically based, design methodology for efficient implementation of computer programs optimized over multiple levels of the processor/memory and network hierarchy. Using a common formalism to describe the…

Mathematical Software · Computer Science 2008-03-18 Lenore R. Mullin , James E. Raynolds

Alphabetic codes and binary search trees are combinatorial structures that abstract search procedures in ordered sets endowed with probability distributions. In this paper, we design new linear-time algorithms to construct alphabetic codes,…

Information Theory · Computer Science 2024-07-24 Roberto Bruno , Roberto De Prisco , Alfredo De Santis , Ugo Vaccaro

A structured version of derivative-free random pattern search optimization algorithms is introduced which is able to exploit coordinate partially separable structure (typically associated with sparsity) often present in unconstrained and…

Optimization and Control · Mathematics 2021-01-13 Margherita Porcelli , Philippe L. Toint

Developing an application with high performance through the code optimization places a greater responsibility on the programmers. While most of the existing compilers attempt to automatically optimize the program code, manual techniques…

Programming Languages · Computer Science 2012-03-06 Mohammed Fadle Abdulla

With the end of Moore's Law, optimizing code for performance has become paramount for meeting ever-increasing compute demands, particularly in hyperscale data centers where even small efficiency gains translate to significant resource and…