Spelling suggestions: "subject:"dempsteŕel"" "subject:"dempseýel""
1 |
Évaluation des performances temps réel de réseaux embarqués avioniquesCharara, Hussein Fraboul, Christian. January 2008 (has links)
Reproduction de : Thèse de doctorat : Réseaux, télécommunications, systèmes et architecture : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 101 réf.
|
2 |
Etudes et évaluations d'architectures de pré-synthétiseurs d'images réalistes HELIOS/GETRIS /Chibane, Karim Martinez, Francis. January 2008 (has links)
Reproduction de : Thèse de docteur-ingénieur : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre.
|
3 |
Vérification de propriétés de programmes flots de données synchronesGlory, Anne-Cécile. Ouabdesselam, Farid. Verjus, Jean-Pierre. Jorrand, Philippe. Sifakis, Joseph. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1989. / Titre provenant de l'écran-titre. Bibliogr. p. 225-229.
|
4 |
Méthode de conception descendante de systèmes temps réelPilaud, Daniel. Saucier, Gabrièle. January 2008 (has links)
Reproduction de : Thèse de 3e cycle : génie informatique : Grenoble, INPG : 1982. / Titre provenant de l'écran-titre.
|
5 |
Conception conjointe optimisée de lois de contrôle et d'ordonnancementJia, Ning Simonot-Lion, Françoise Song, Ye-Qiong January 2009 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2009. / Titre provenant de l'écran-titre.
|
6 |
Le modele ROOM : formalisation de sa sémantique statique et son application au developpement d'un logiciel de poursuite de satellitesNormandeau, Marc. January 1997 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1997. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
7 |
LUSTRE un langage déclaratif pour le temps réel /Bergerand, Jean-Louis. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre.
|
8 |
Contributions à l'analyse du comportement temporel de la hiérarchie mémoire pour l'estimation du pire temps d'exécutionDeverge, Jean-François Puaut, Isabelle January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 149-167.
|
9 |
Développement d'une méthode numérique de détection et de mesure de dépôt de givre : mise en oeuvre d'un premier système prototypeAouni, Ayoub. January 2002 (has links)
Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 2002. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
|
10 |
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées /Vergnaud, Thomas. January 1900 (has links)
Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2006. / Bibliogr. p. 177-184. Résumé en français et en anglais.
|
Page generated in 0.0434 seconds