Optimisation de code

En programmation informatique, l'optimisation de code est la pratique consistant à améliorer l'efficacité du code informatique d'un programme ou d'une bibliothèque logicielle. Ces améliorations permettent généralement au programme résultant de s'exécuter plus rapidement, de prendre moins de place en mémoire, de limiter sa consommation de ressources (par exemple les fichiers), ou de consommer moins d'énergie électrique. Principes d'optimisation La règle numéro un de l'optimisation est qu'elle ne doit intervenir qu'une fois que le programme fonctionne et répond aux spécifications fonctionnelles. L'expérience montre qu'appliquer des optimisations de bas niveau du code avant que ces deux conditions ne soient réalisées revient le plus souvent à une perte de temps et s'avère néfaste à la clarté du code et au bon fonctionnement du programme : Cependant cette citation, tronquée, est très souvent mal interprétée. La version complète étant : La citation originale indique que gé

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (85)

Publications associées

Chargement

Personnes associées (4)

Personnes associées

Chargement

Unités associées (5)

Unités associées

Chargement

Concepts associés (52)

Concepts associés

Chargement

Cours associés (22)

Cours associés

Chargement

Séances de cours associées (31)

Séances de cours associées

Chargement

Visualisation of high-resolution 3D images on a web application

Matthieu François Edgard Rudelle

The web is a complicated world where users are demanding and where small optimizations can make a big difference. Users want the information fast, but they also want the best quality. In terms of images, there is a well documented solution to that; Virtual Texturing. But when it comes to browsers and web application very few documentation exist and they lack technical details. This leads to my project which consists in the implementation of a Virtual Texturing engine for a web application. And this paper documents the details of my journey.

2015

Chargement

Better Loop Fusion for LMS

Véra Salvisberg

This is my master thesis done at PPL in Stanford under the supervision of Prof. Kunle Olukotun. It improved LMS, a framework for embedding DSLs (domain-specific languages) into Scala which features many general optimizations that can be used by any DSLs for free. I implemented a more powerful and cleaner version of the loop fusion optimization from the compiler world. Loop fusion is an important performance optimization for all languages that feature list comprehensions and translate their high-level operations into loop-based representations. It can decrease runtime, memory footprint and code size through two different fusion cases: The simpler one is called horizontal or side-by-side fusion and fuses adjacent loops iterating over the same range, enabling further optimizations. The second one is vertical or pipeline fusion, where a producer and a consumer of data are fused, removing the need for the intermediate data structure.

2014

Chargement

Optimal Control Strategies of Seasonal Storage Devices for District Energy Management

Julien Jocelyn Leprince

The potential energy savings resulting from the cooperative management of community districts, also known as energy hubs, has been widely demonstrated throughout the literature. Various developed predictive control strategies have proven to generate remarkable gains by exploiting the shared energy generation, conversion and storage devices of building communities. However, one difficulty amongst these methods lie in the integration of information regarding the long term perturbations brought to the system. While most of the existing work considers prediction horizons ranging from day ahead to weekly time frames, recent studies have explored the control of inter-seasonal storage units on a yearly basis through available historical data sets. This study focuses on testing and improving the existing methods while integrating combined and stand alone wind generation to the system. In particular, the contribution of the seasonal storage state bounds for Value function approximation and control process has been investigated for several well-known methods, including scenario approach, stochastic dual dynamic programing and adaptive dynamic programing. Solving the resulting multistage stochastic optimization problem reveals very good results and demonstrate the contributions of the bounds to almost all Value function approximation methods. In fine, the integration of wind production to the system underlines the importance of seasonal trends for efficient optimization of long term storage and suggests using tolerance margins around the bounds for systems particularly sensitive to perturbations.

2018

Chargement

Optimizing compiler

In computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution tim

Programmation fonctionnelle

La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation

Compilateur

En informatique, un compilateur est un programme qui transforme un code source en un code objet. Généralement, le code source est écrit dans un langage de programmation (le langage source), il est de

CS-420: Advanced compiler construction

Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language.

CS-307: Introduction to multiprocessor architecture

Multiprocessors are a core component in all types of computing infrastructure, from phones to datacenters. This course will build on the prerequisites of processor design and concurrency to introduce the essential technologies required to combine multiple processing elements into a single computer.

MATH-611: Scientific programming for Engineers

The students will acquire a solid knowledge on the processes necessary to design, write and use scientific software. Software design techniques will be used to program a multi-usage particles code, aiming at providing the link between algorithmic/complexity, optimization and program designs.