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.
Modern computing systems are based on multi-processor systems, i.e. multiple cores on the same chip. Hard real-time systems are required to perform particular tasks within certain amount of time; failure to do so characterises an unaccepted behavior. Hard ...
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 ...
We present an efficient, modular, and feature-rich framework for automated generation and validation of complex structures, suitable for tasks that explore a large space of structured values. Our framework is capable of exhaustive, incremental, parallel, a ...
This work introduces an educational framework based on the Lego Mindstorms NXT robotic platform used to outline both the theoretical and practical aspects of the Model Predictive Control (MPC) theory. The framework has been developed in the widely used Mat ...
We present a new approach for modeling and analyzing route choice behavior. It is motivated by the need to reduce the complexity of the state-of-the-art choice models. It is inspired by the simplifications done by the travelers, using representations of th ...
This Master Project designed and implemented a framework facilitating the design of OSRA-compliant BIP systems. Given a set of application components developed in BIP, the framework automates the generation of a BIP system handling safe interactions betwee ...
We present a new approach for modeling and analyzing route choice behavior. It is motivated by the need to reduce the complexity of the state-of-the-art choice models. It is inspired by the simplifications done by the travelers, using representations of th ...
In this thesis, we present a novel generic and unifying framework for data-adaptive shape modeling. Our work is motivated by the raising need for powerful geometric modeling kernels that are required for shape characterization in biomedical imaging. The on ...
We present a new approach for modeling and analyzing route choice behavior. It is motivated by the need to reduce the complexity of the state-of-the-art choice models. It is inspired by the simplifications done by the travelers, using representations of th ...
Numerous Directed-Acyclic Graph (DAG) schedulers have been developed to improve the energy efficiency of various multi-core platforms. However, these schedulers make a priori assumptions about the relationship between the task dependencies, and they are un ...
Institute of Electrical and Electronics Engineers2014