Centre de recherche en informatique

Mathématiques et systèmes



Liste des thèses du CRI

2015   2014   2013   2012   2011   2010   2009   2008   2006   2005   2004   2003   2002   2001
1999   1998   1996   1995   1994   1993   1992   1991   1989   1988   1987   1986   1983   1979  


2015


A/634/CRI :

THESE:La loi de convexité énergie-fréquence de la consommation des
programmes : modélisation, thermosensibilité et applications
Thèse soutenue le 4 septembre 2015
Lieu : TELECOM ParisTech, Paris
HAL = tel-01258577
De Vogeleer Karel (TELECOM ParisTech, MINES-ParisTech CRI)

A/618/CRI :

THESE: Vérification de typage pour le Lambda-Pi-Calcul Modulo : théorie et pratique
Thèse soutenue le 25 septembre 2015
Lieu : MINES ParisTech, Paris
Ronan Saillard (MINES-ParisTech CRI)

A/606/CRI :

THESE: Analyse statique des systèmes de contrôle-commande – Invariants entiers et flottants –
Thèse soutenue le 6 février 2015
Lieu : MINES ParisTech, Paris
Vivien Maisonneuve (MINES-ParisTech CRI)


2014


A/627/CRI :

THESE: A User-Centered and Autonomic Multi-Cloud Architecture for High Performance Computing Applications
Thèse soutenue le 03 décembre 2014
Lieu : Orsay, Paris-Sud
HAL = https://hal.inria.fr/tel-01097295
Alessandro Ferreira Leite

A/592/CRI :

THESE: Programmation haute performance pour architectures hybrides
Soutenue le 19 novembre 2014
HAL = tel-01101782
Rachid Habel


2013


A/538/CRI :

THESE: Parallélisation automatique et statique de tâches
sous contraintes de ressources – une approche générique –
Soutenue le 27 novembre 2013
Dounia Khaldi

A/529/CRI :

THESE:Analyse des pointeurs pour le langage C
Soutenue le 24 juin 2013
Amira Mensi


2012


A/509/CRI :

THESE: Contribution à la prise en compt de l'interopérabilité pour le déploiement de processus complexes dans une grande entreprise : proposition d'un guide méthodologique outillé pour les processus d'Ingénierie Système.
Soutenue le 21 décembre 2012
Clémentine Cornu

A/506/CRI :

THESE: Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU. Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators.
Soutenue le 13 Décembre 2012
Mehdi Amini


2011


A/483/CRI :

THESE: Building Source-to-Source Compilers for Heterogeneous Targets.
Soutenance le 7 octobre 2011
(Confidentiel)
octobre 2011
Serge Guelton

A/481/CRI :

THESE: Leveraging Streaming for Deterministic Parallelization : an Integrated Language, Compiler and Runtime Approach.
Soutenance le 30 septembre 2011
septembre 2011
Antoniu Pop


2010


A/445/CRI :

THESE: La conception incrémentale de jeux sérieux musicaux pour la santé : théorie et application au traitement des troubles du comportement et de la maladie d'Alzheimer.
Soutenance le 21 décembre 2010
21 Décembre 2010
Samuel Benveniste

A/441/CRI :

THESE: Robust and Generic Abstract Domain for Static Program Analyses: The Polyhedral Case.
Soutenance le 26 novembre 2010
novembre 2010
Duong Nguyen Que


2009


A/412/CRI :

THESE: Composition automatique et adaptative de services web pour la météorologie.
soutenance le 28 septembre 2009.
(non disponible)
2009
Benoît Gschwind

A/411/CRI/2008 :

THESE: Enrichissement de réseaux sémantiques par la priximité de concepts.
Soutenance le 12 novembre 2008
Reena SHETTI


2008


A/399/CRI :

THESE: Analyse des sentiments : système autonome d'exploration des opinions exprimées dans les critiques cinématographiques.
Soutenance le 4 décembre 2008
septembre 2008
Grzegorz Dziczkowski (ENSMP-CRI, ESIGETEL)

A/398/CRI :

THESE: Représentations visuelles adaptatives de connaissances associant projection multidimensionnelles (MDS) et analyse de concepts formels (FCA).
Soutenance le 19 novembre 2008
novembre 2008
Jean Villerd


2006


A/382/CRI :

THESE: Jeux vidéo éducatifs et motivation : application à l'enseignement du jazz
Soutenance le 11 décembre 2006
11 décembre 2006
Guillaume Denis

A/381/CRI :

THESE: The SSA Representation Framework: Semantics, Analyses and GCC Implementation
Soutenance le 13 décembre 2006
13 décembre 2006
Sebastian Pop


2005


A/363/CRI :

THESE: Agent LINEA : une méthode de calcul par graphes de la proximité des objets sur Internet.
Soutenance le 29 avril 2005
29 avril 2005
Kevin Huggins


2004


A/359/CRI :

THESE : SearchXQ : une méthode d’aide à la navigation fondée sur Ω
-means, algorithme de classification non supervisée. Application sur un corpus juridique français.
Soutenance le 17 décembre 2004
17 décembre 2004
Christophe Charles


2003


A/353/CRI :

THESE : Corrélation sémantique entre documents. Application à la recherche d'information juridique sur le Web.
Soutenance le 12 décembre 2003
Chritophe Chotteau


2002


A/345/CRI :

THESE : CONSTRUCTION D'ONTOLOGIE A PARTIR DE TEXTES. Une ontologie du droit dédiée à la recherche d'information sur le Web.
Soutenance le 6 décembre 2002
Guiraude Lame

A/344/CRI :

THESE : Optimisation des transferts de données pour le traitement du signal: pavage, fusion et réallocation des tableaux.
soutenance le 19 novembre 2002
Youcef Bouchebaba

A/343/CRI :

THESE : Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code. Efficient and effective software verifications for scientific applications using static analysis and code instrumentation.
Soutenance le 19 novembre 2002
Thi Viet Nga Nguyen


2001


A/339/CRI :

THÈSE : Etude et réalisation d'un méta-indexeur pour la recherche sur le Web de documents produits par l'Administration Française
Soutenance le 18 décembre 2001
Katarzyna Wegrzyn-Wolska

A/325/CRI :

THÈSE: Acropolis - un précompilateur de spécification pour l'exploration du transfert et du stockage des données en conception de systèmes embarqués à Haut débit.
Soutenance le 9 mai 2001
Thierry J.-F. Omnès

A/323/CRI :

THESE : Aide au placement d'applications de traitement du signal sur machines parallèles multi-SPMD
Rencontre de la parallélisation automatique et de la programmation par contraintes.
Soutenance le 20 décembre 2001
Nicolas Museux


1999


A/310/CRI :

THÈSE: Contributions à l'optimisation de programmes scientifiques
Décembre 1999
Julien Zory


1998


A/305/CRI/1997 :

THÈSE: Optimisation globale et placement d'applications de traitement du signal sur architectures parallèles utilisant la programmation logique avec contraintes.
Soutenance le 12 Décembre 1997
Christophe Guettier


1996


A/295/CRI :

THÈSE: Analyses de Régions de Tableaux et Applications.
Décembre 1996
Béatrice Creusillet

A/293/CRI :

THÈSE: Contributions à la compilation du High Performance Fortran.
3 octobre 1996
Fabien Coelho


1995


A/268/CRI :

THÈSE: CONTRIBUTION A LA DISTRIBUTION AUTOMATIQUE DES DONNEES POUR MACHINES MASSIVEMENT PARALLELES
Mars 1995
Alexis Platonoff


1994


A/258/CRI :

THÈSE: SYSTEMES D'EFFET ET D'INTERPRETATION ABSTRAITE POUR L'ANALYSE DE FLOT DE CONTROLE
Mars 1994
Yan-Mei Tang-Talpin

A/255/CRI :

THÈSE: STATICAL AND DYNAMICAL ANALYSIS OF PROGRAM COMPLEXITY, ANALYSE STATIQUE ET DYNAMIQUE DE LA COMPLEXITE DES PROGRAMMES SCIENTIFIQUES.
Septembre 1994
Lei Zhou


1993


A/247/CRI :

THÈSE: ANALYSE SEMANTIQUE RELATIONNELLE DES INDICES DE TABLEAUX PAR CONGRUENCES ET TRAPEZOIDES RATIONNELS.
Décembre 1993
François Masdupuy

A/242/CRI :

THÈSE: TESTS DES DEPENDANCES ET TRANSFORMATIONS DE PROGRAMME. 1993
Novembre 1993
Yi-Qing Yang

A/236/CRI :

THÈSE: ASPECTS THEORIQUES ET PRATIQUES DE L'INFERENCE DE TYPE ET D'EFFETS.
Mai 1993
Jean-Pierre Talpin.


1992


A/232/CRI :

THÈSE: LES PHILOSOPHIES SUR L'INTERACTION DES PROCESSUS (PROCESS INTERACTION MODELS).
1er Juillet 1992. (1993)
S. Ericsson Zenith.

A/212/CRI :

THÈSE: ANALYSE DE COMPLEXITE DES ALGORITHMES : VÉRIFICATION ETINFÉRENCE.
Juin 1992
V. Dornic


1991


A/200/CRI :

THÈSE: GENERATION AUTOMATIQUE DE CODE DE TRANSFERT POUR MULTIPROCESSEURS A MÉMOIRES LOCALES.
Mars 1991
M. Ancourt-Le Quellenec


1989


A/192/CAI/I :

THÈSE: CONTRÔLE SÉMANTIQUE ET INTERROGATION ASSISTÉE DES BANQUES DE DONNÉES AUTOSTRUCTUREES
SIGMINI.
Document pas encore rendu
Juillet 1989
M. Jarmouni-Idrissi


1988


A/190/CAI/I :

THÈSE: RESTRUCTURATION DES PROGRAMMES FORTRAN EN VUE DE LEUR PARALLÉLISATION.
Décembre 1988
Z. Ammarguellat


1987


A/183/CAI/I :

THÈSE: PARTITIONNEMENT DES BOUCLES IMBRIQUÉES - UNE TECHNIQUE D'OPTIMISATION POUR LES PROGRAMMES SCIENTIFIQUES.
Juin 1987
F. Irigoin

A/182/CAI/I/1984 :

THÈSE:CONTRIBUTION A LA PARALLÉLISATION AUTOMATIQUE DE PROGRAMMES FORTRAN COMPORTANT DES APPELS DE PROCÉDURE.
20 Décembre 1984
Rémi Triolet


1986


A/003/CAI/I :

THESE: CAXI : UN PROCESSUER RAPIDE DE RAPPROCHEMENT D'EMPREINTES DIGITALES. 1986
Soutenue le 19 décembre 1986
Pascal Cordebar


1983


A/002/CRI :

THESE : INTERROGATION D'UN BANQUE DE DONNEES AUTOSTRUCTURANTE SIGMINI
Soutenance le 18 avril 1983
Claude Poulain ep. Bauzou


1979


A/001/CRI :

THESE : SIGMI, un modèle auto-structurant de base de données.
Soutenance le 12 décembre 1979
Patrick Mordini