|
|
Validation par évaluation sur un modèle : méthodes et algorithmes
Jean-Claude Fernandez
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1996
Habilitation à diriger des recherches
tel-00004989v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Support Mémoire Adaptable Pour Serveurs de Données Répartis
Olivier Lobry
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses
tel-00346893v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formalisation de Familles d'Architectures Logicielles Coopératives : Démarches, Modèles et Outils.
Mhamed Saidane
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011198v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
PATRONS DE CONCEPTION À BASE D'ASPECTS POUR L'INGÉNIERIE DES SYSTÈMES D'INFORMATION PAR RÉUTILISATION
Ouafa Hachani
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨NNT : ⟩
Theses
tel-00112450v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Génération automatique de bouchons pour le test structurel basée sur basée sur l'analyse du flot de contôle
Karim-Cyril Griche
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00189959v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement
Laurent Trilling
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 1967. Français. ⟨NNT : ⟩
Theses
tel-00280779v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
RS2.7 : un Canevas Adaptable de Services de Duplication
Stéphane Drapeau
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2003. Français. ⟨NNT : ⟩
Theses
tel-00005205v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Vers un modèle à composants orienté services pour supporter la disponibilité dynamique
Humberto Cervantes
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2004. Français. ⟨NNT : ⟩
Theses
tel-00005929v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Construction automatique de figures géometriques et programmation logique avec contraintes
Denis Bouhineau
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨NNT : ⟩
Theses
tel-00004922v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
TEMPOS : un modèle d'historiques pour un SGBD temporel
Jean-François Canavaggio
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨NNT : ⟩
Theses
tel-00004924v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Dérivation de programmes impératifs à partir de spécifications algébriques
Yves Guerte
Autre [cs.OH]. Université Claude Bernard - Lyon I, 1996. Français. ⟨NNT : ⟩
Theses
tel-00004992v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Reconstruction ab initio de voies métaboliques - Formalisation et approches combinatoires
Frédéric Boyer
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2004. Français. ⟨NNT : ⟩
Theses
tel-00006728v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Evaluation d'architectures parallèles à mémoire virtuelle partagée distribuée : étude et réalisation d'un émulateur
Olivier Jacquiot
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 1996. Français. ⟨NNT : ⟩
Theses
tel-00004995v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Architecture de communication mobile avec qualité de service
Jose Antonio Garcia Macias
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨NNT : ⟩
Theses
tel-00004445v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Environnement de procédé extensible pour l'orchestration - Application aux services web
Sonia Jamal (epouse Sanlaville)
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011305v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Services Actifs et Passerelles Programmables
Hoa Binh Nguyen
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français. ⟨NNT : ⟩
Theses
tel-00005989v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Architecture pour les systèmes de déploiement logiciel à grande échelle : prise en compte des concepts d'entreprise et de stratégie
Noelle Merle
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011303v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire.
Olivier Maury
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011507v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Duplication et cohérence configurables dans les applications réparties à base de composants
Vania Marangozova
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2003. Français. ⟨NNT : ⟩
Theses
tel-00004374v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
TEMPOS : une plate-forme pour le développement d'applications temporelles au dessus de SGBD à objets
Marlon Dumas Menjivar
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses
tel-00006741v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Construction et manipulation de présentations spatio-temporelles multimédias à partir de serveurs d'objets répartis : applications aux données sur le Web
José-Luis Zechinelli-Martini
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2001. Français. ⟨NNT : ⟩
Theses
tel-00004604v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Algorithmes et mécanismes pour la qualité de service dans des réseaux hétérogènes
Leila Toumi
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨NNT : ⟩
Theses
tel-00004662v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information
Sophie Dupuy
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2000. Français. ⟨NNT : ⟩
Theses
tel-00006742v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Etude de la tolérance aux aléas logiques des réseaux de neurones artificiels
Ammar Assoum
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1997. Français. ⟨NNT : ⟩
Theses
tel-00004913v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture
Pierre Bontron
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2005. Français. ⟨NNT : ⟩
Theses
tel-00010058v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Langage de spécification et de description de présentations multimédias
Stéphane Lo Presti
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. ⟨NNT : ⟩
Theses
tel-00004467v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Transports nouvelle génération dans les réseaux à très haut débit
Pawel Hadam
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. ⟨NNT : ⟩
Theses
tel-00010643v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Adaptation Contextuelle et Personnalisée de l'Information de Conscience de Groupe au sein des Systèmes d'Information Coopératifs
Manuele Kirsch Pinheiro
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2006. Français. ⟨NNT : ⟩
Theses
tel-00108495v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Fédération de composants : une architecture logicielle pour la composition par coordination
Jorge Villalobos
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2003. Français. ⟨NNT : ⟩
Theses
tel-00004378v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Techniques d'interaction avec un espace de données temporelles
Chaouki Daassi
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 2003. Français. ⟨NNT : ⟩
Theses
tel-00005156v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|