Search - Archive ouverte HAL Access content directly

Filter your results

68 Results
Structure: Internal structure identifier : 192
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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