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.
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 ...
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 ...
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
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 ...
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 ...
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 ...
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 ...