Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
A convergent second-order Cartesian grid finite difference scheme for the solution of Maxwell's equations is presented. The scheme employs a staggered grid in space and represents the physical location of the material and metallic boundaries correctly, hen ...
Recent research has offered programmers increased options for programming parallel computers by exposing system policies (e.g., memory coherence protocols) or by providing several programming paradigms (e.g. message passing and shared memory) on the same p ...
The interactive mobile system RoboX is presented. Ten such robots will propose tours to visitors of the swiss national exposition during five month, seven days a week, ten hours per day. Algorithms are to find and track dynamic objects through the expositi ...
Program verification tools (such as model checkers and static analyzers) can find many errors in programs. These tools need formal specifications of correct program behavior, but writing a correct specification is difficult, just as writing a correct progr ...
ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of abstraction compared to the needs of the tool developer. Highe ...
In this second part of a 2 papers series, we present the analysis of “onboard” measurements on the runner of a Low Head Francis model and comparison with the same type of measurements on a similar prototype, as well as a comparison with numerical calculati ...
International Association For Hydraulic Research2002
It is sometimes observed that several neoclassical tearing modes (NTMs) are present at the same time. This can happen both at the mode onset of a new NTM or during the nonlinear saturated phase of a given mode. In order to analyse whether nonlinear mode co ...
What happens when a computer program runs? The answer can be frustratingly elusive, as anyone who has debugged or tuned a program knows. As it runs, a program overwrites its previous state, which might have provided a clue as to how the program got to the ...
The analysis of reactive systems requires models representing the system, its interaction with the environment, and taking into account features of the underlying execution structure. It is important that such models are timed if analysis concerns performa ...
Data-flow analysis computes its solutions over the paths in a control-flow graph. These paths---whether feasible or infeasible, heavily or rarely executed---contribute equally to a solution. However, programs execute only a small fraction of their potentia ...
