You are here

Thesis

Contributions aux architectures de contrôle partagé pour la télémanipulation avancée

Titre : Contributions aux architectures de contrôle partagé pour la télémanipulation avancée

Speaker: 
Firas Abi Farraj (RAINBOW)

Conception d'architecture de système-de-systèmes à logiciel prépondérant dirigée par le missions

La formulation des missions est le point de départ du développement de systèmes-desystèmes, étant utilisée comme base pour la spécification, la vérification et la validation d’architectures de systèmes-de-systèmes.

Speaker: 
Eduardo Alexandre FERREIRA SILVA

Minimising shared resource contention when scheduling real-time applications on multi-core architectures

Multi-core architectures using scratch pad memories are very attractive to execute embedded time-critical applications, because they offer a large computational power. However, ensuring that timing constraints are met on such platforms is challenging, because some hardware resources are shared between cores. When targeting the bus connecting cores and external memory, worst-case sharing scenarios are too pessimistic. This thesis propose strategies to reduce this pessimism.

Speaker: 
Benjamin Rouxel

Exploring heterogeneity in loosely consistent decentralized data replication

Decentralized systems are scalable by design but also difficult to coordinate due to their weak coupling.Replicating data in these geo-distributed systems is therefore a challenge inherent to their

Speaker: 
Pierre-Louis Rompan

The many faces of approximation in KNN graph computing

The incredible quantity of available content in online services makes content of interest incredibly difficult to find. The most emblematic way to help the users is to do item recommendation. The K-Nearest-Neighbors (KNN) graph connects each user to its k most similar other users, according to a given similarity metric. The computation time of an exact KNN graph is prohibitive in online services. Existing approaches approximate the set of candidates for each user’s neighborhood to decrease the computation time.

Speaker: 
Olivier Ruas

Certification d’Analyses Non Locales avec une Sémantique Annotée

Vous êtes cordialement invités à venir assister à la soutenance de thèse de Gurvan Cabon (équipe Celtique) qui se tiendra le vendredi 14 décembre à 14h30 en salle Michel Métivier ainsi qu'au pot qui suivra en salle Sein.

Titre: Certification d’Analyses Non Locales avec une Sémantique Annotée


Résumé:

Speaker: 
Gurvan Cabon (CELTIQUE)

Analyse probabiliste de protocoles de population

Nous nous situons dans le contexte du modèle des protocoles de population. Ce modèle, introduit en 2004 par Angluin et al., fournit les bases théoriques pour analyser les propriétés émergeant d'un système constitué d'agents anonymes interagissant deux à deux.
Dans ce cadre, nous analysons en profondeur quatre protocoles : le protocole de diffusion, de moyenne avec des entiers, de moyenne avec des réels et le protocole d'horloge.

Speaker: 
Yves MOCQUARD

Soutenance de thèse de Bryan Pénin (RAINBOW) le 11 décembre à 10h30 en salle Métivier

Vous êtes cordialement invités à la soutenance de thèse de Bryan Pénin qui aura lieu le mardi 11 décembre à 10h30 en salle Métivier ainsi qu'au pot qui se tiendra en salle Sein à partir de 16h30.

Titre : Contributions à la génération de trajectoires optimales et réactives basées vision pour un quadrirotor

Résumé :

Speaker: 
Bryan Pénin

Soutenance de thèse de Thomas Letan, CIDRE, le jeudi 25 octobre à 14h, au 30 rue des Favorites, à Paris

Bonjour,

Vous êtes cordialement invités à la soutenance de thèse de Thomas Letan, CIDRE, le 25 octobre à 14h, au 30 rue des Favorites, à Paris (dans les locaux de la formation continue (l’Exed) de CentraleSupélec).

Sujet de la thèse : Specifying and Verifying Hardware-based Security Enforcement Mechanisms

Résumé :

Speaker: 
Thomas Letan

Soutenance de thèse de Pedro Patlan-Rosales (RAINBOW ) - vendredi 26 janvier 2018 à 10h00 - Salle Métivier

Titre: “Assistance robotique pour l'élastographie ultrasonore quantitative”

 

Speaker: 
Pedro Patlan-Rosales

Pages

Subscribe to RSS - Thesis