Centre de recherche en informatique
Mathématiques et systèmes
|
2011
2010
2009
2008
2006
2005
2004
2003
2002
2001 1999 1998 1996 1995 1994 1993 1992 1991 1989 1988 1987 1986 1983 1979 |
A/483/CRI :
- THESE: Building Source-to-Source Compilers for Heterogeneous Targets.
- Soutenance le 7 octobre 2011
- octobre 2011
- Serge Guelton
- THESE: Leveraging Streaming for Deterministic Parallelization : an Integrated Language, Compiler and Runtime Approach.
- Soutenance le 30 septembre 2011
- septembre 2011
- Antoniu Pop
- 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
- THESE: Robust and Generic Abstract Domain for Static Program Analyses: The Polyhedral Case.
- Soutenance le 26 novembre 2010
- novembre 2010
- Duong Nguyen Que
- THESE: Composition automatique et adaptative de services web pour la météorologie.
- soutenance le 28 septembre 2009
- (non disponible)
- 2009
- Benoît Gschwind
- THESE: Enrichissement de réseaux sémantiques par la priximité de concepts.
- Soutenance le 12 novembre 2008
- Reena SHETTI
- 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)
- 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
- THESE: Jeux vidéo éducatifs et motivation : application à l'enseignement du jazz
- Soutenance le 11 décembre 2006
- 11 décembre 2006
- Guillaume Denis
- THESE: The SSA Representation Framework: Semantics, Analyses and GCC Implementation
- Soutenance le 13 décembre 2006
- 13 décembre 2006
- Sebastian Pop
- 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
- 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
- THESE : Corrélation sémantique entre documents. Application à la recherche d'information juridique sur le Web.
- Soutenance le 12 décembre 2003
- Chritophe Chotteau
- 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
- 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
- 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
- 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
- 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
- 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
- THÈSE: Contributions à l'optimisation de programmes scientifiques
- Décembre 1999
- Julien Zory
- 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
- THÈSE: Analyses de Régions de Tableaux et Applications.
- Décembre 1996
- Béatrice Creusillet
- THÈSE: Contributions à la compilation du High Performance Fortran.
- 3 octobre 1996
- Fabien Coelho
- THÈSE: CONTRIBUTION A LA DISTRIBUTION AUTOMATIQUE DES DONNEES POUR MACHINES MASSIVEMENT PARALLELES
- Mars 1995
- Alexis Platonoff
- THÈSE: SYSTEMES D'EFFET ET D'INTERPRETATION ABSTRAITE POUR L'ANALYSE DE FLOT DE CONTROLE
- Mars 1994
- Yan-Mei Tang-Talpin
- THÈSE: STATICAL AND DYNAMICAL ANALYSIS OF PROGRAM COMPLEXITY, ANALYSE STATIQUE ET DYNAMIQUE DE LA COMPLEXITE DES PROGRAMMES SCIENTIFIQUES.
- Septembre 1994
- Lei Zhou
- THÈSE: ANALYSE SEMANTIQUE RELATIONNELLE DES INDICES DE TABLEAUX PAR CONGRUENCES ET TRAPEZOIDES RATIONNELS.
- Décembre 1993
- François Masdupuy
- THÈSE: TESTS DES DEPENDANCES ET TRANSFORMATIONS DE PROGRAMME. 1993
- Novembre 1993
- Yi-Qing Yang
- THÈSE: ASPECTS THEORIQUES ET PRATIQUES DE L'INFERENCE DE TYPE ET D'EFFETS.
- Mai 1993
- Jean-Pierre Talpin.
- THÈSE: LES PHILOSOPHIES SUR L'INTERACTION DES PROCESSUS (PROCESS INTERACTION MODELS).
- 1er Juillet 1992. (1993)
- S. Ericsson Zenith.
- THÈSE: ANALYSE DE COMPLEXITE DES ALGORITHMES : VÉRIFICATION ETINFÉRENCE.
- Juin 1992
- V. Dornic
- THÈSE: GENERATION AUTOMATIQUE DE CODE DE TRANSFERT POUR MULTIPROCESSEURS A MÉMOIRES LOCALES.
- Mars 1991
- M. Ancourt-Le Quellenec
- 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
- THÈSE: RESTRUCTURATION DES PROGRAMMES FORTRAN EN VUE DE LEUR PARALLÉLISATION.
- Décembre 1988
- Z. Ammarguellat
- THÈSE: PARTITIONNEMENT DES BOUCLES IMBRIQUÉES - UNE TECHNIQUE D'OPTIMISATION POUR LES PROGRAMMES SCIENTIFIQUES.
- Juin 1987
- F. Irigoin
- THÈSE:CONTRIBUTION A LA PARALLÉLISATION AUTOMATIQUE DE PROGRAMMES FORTRAN COMPORTANT DES APPELS DE PROCÉDURE.
- 20 Décembre 1984
- Rémi Triolet
- THESE: CAXI : UN PROCESSUER RAPIDE DE RAPPROCHEMENT D'EMPREINTES DIGITALES. 1986
- Soutenue le 19 décembre 1986
- Pascal Cordebar
- THESE : INTERROGATION D'UN BANQUE DE DONNEES AUTOSTRUCTURANTE SIGMINI
- Soutenance le 18 avril 1983
- Claude Poulain ep. Bauzou
- THESE : SIGMI, un modèle auto-structurant de base de données.
- Soutenance le 12 décembre 1979
- Patrick Mordini