.:. Consultation > Liste par discipline > Informatique .:.

528 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 2 - 3 - 4 - 5 - 6 - 7 - 8 ...

Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle Zidouni M. Université Joseph-Fourier - Grenoble I (25/05/2010), Radu Mateescu (Dir.) [tel-00526164 - version 1]

Politique de Liaison aux Services Intermittents dirigée par les Accords de Niveau de Service Touseau L. Université Joseph-Fourier - Grenoble I (25/05/2010), Didier Donsez (Dir.) [tel-00520016 - version 1]

Rendu narratif en synthèse d'images Stein T. Université Joseph-Fourier - Grenoble I (17/05/2010), Nicolas Holzschuch, François Sillion (Dir.) [tel-00530296 - version 1]

Tolérance aux fautes et reconfiguration dynamique pour les applications distribuées à grande échelle Besseron X. Institut National Polytechnique de Grenoble - INPG (28/04/2010), Denis Trystram (Dir.) [tel-00486939 - version 1]

Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées Chkouri M. Y. Université Joseph-Fourier - Grenoble I (07/04/2010), Joseph SIFAKIS (Dir.) [tel-00516152 - version 1]

Modélisation de l'Atténuation du Signal EMG Diaphragmatique de Surface Konte C. Université Joseph-Fourier - Grenoble I (26/03/2010), Pierre-Yves GUMERY (Dir.) [tel-00477003 - version 1]

Localisation dans les Réseaux de Capteurs: Protocoles de Communication et Efficacité Energétique Tanvir S. Université de Grenoble (25/03/2010), Andrzej Duda (Dir.) [tel-00473480 - version 1]

Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système. Poulhiès M. Université de Grenoble (05/03/2010), Joseph Sifakis (Dir.) [tel-00514504 - version 1]

Contribution à l'analyse de testabilité des systèmes réactifs temps-réel : Aide à la validation et à la vérification de systèmes Doumbia F. Université Joseph-Fourier - Grenoble I (02/03/2010), Chantal Robach (Dir.) [tel-00481072 - version 1]

Vers une modélisation statistique multi-niveau du langage, application aux langues peu dotées Seng S. Université de Grenoble (01/03/2010), Laurent Besacier (Dir.) [tel-00646236 - version 1]