Concept

Constant folding

Publications associées (10)

Optimizing Atomic Layer Deposition Processes with Nanowire-Assisted TEM Analysis

Atomic layer deposition (ALD) is one of the premier methods to synthesize ultra-thin materials on complex surfaces. The technique allows for precise control of the thickness down to single atomic layers, while at the same time providing uniform coverage ev ...

Hoboken2024

Accelerating materials discovery for solid state electrolytes

Matthieu Gilles Mottet

The development of new solid-state electrolytes is a key step in improving the performance and safety of battery technology. Although the use of first-principle methods has proved invaluable in better understanding the process at play in these materials, ...

EPFL2020

Linker call graph with full Dotty support

Nicolas Alexander Stucki

This project consisted in bringing the linker call graph up to date with dotty/master, restructure the code, make it support the full Scala language and make it support calls to Java code. Also implemented dead code elimination of unreachable methods based ...

2017

Alternating Control Flow Reconstruction

Johannes Kinder

Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...

Springer2012

Core-shell gold J-aggregate nanoparticles for highly efficient strong coupling applications

Pierre Stadelmann

We have developed a straightforward synthetic route to prepare core-shell systems based on gold nanoparticles (NPs) surrounded with J-aggregates molecules. This synthesis allows the direct and efficient coating, at room temperature, of pretreated citrate-s ...

2010

Optimizing Higher-Order Functions in Scala

Iulian Dragos

Scala relies on libraries as the default mechanism for language extension. While this provides an elegant solution for growing the language, the performance penalty incurred by call-by-name parameters, boxing and anonymous functions is high. We show that i ...

2008

Linguistic contamination: an epistemological tool for interrogating vernacular tradition and contemporary architecture

Paola Tosolini

In 1919 in an essay entitled Tradition and the Individual Talent T. S. Eliot stated that a poet “is not likely to know what is to be done unless he lives in what is not merely the present, but the present moment of the past, unless he is conscious, not of ...

IASTE Center for Environmental Design Research2008

From ecological construction to sustainable urban development : the Ecoparc project in Neuchâtel (Switzerland)

The present logic of built environment dispersion appears incompatible with the concept of sustainable development. The peripheral expansion of cities is indeed leading to irrational use of ground, growing environmental impact and important infrastructure ...

EPFL2005

Dynamic Real-Time Optimization of Transitions in Industrial Polymerization Processes using Solution Models

Dominique Bonvin

J. V. Kadam, W. Marquardt Lehrstuhl für Prozesstechnik, RWTH Aachen University, Turmstr. 46, 52064 Aachen, Germany B. Srinivasan, D. Bonvin Laboratoire d’Automatique, École Polytechnique Fédérale de Lausanne, CH-1015 Lausanne, Switzerland Optimization of T ...

2004

Dynamic Program Parallelization

James Richard Larus

Static program analysis limits the performance improvements possible from compile-time parallelization. Dynamic program parallelization shifts a portion of the analysis from complie-time to run-time, thereby enabling optimizations whose static detection is ...

ACM1992

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search