Spelling suggestions: "subject:"tempo réel (informatique)""
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 |
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.
|
6 |
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.
|
7 |
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.
|
8 |
ORDONNANCEMENT EN TEMPS REEL DANS LES PROBLEMES A EN-COURS LIMITES /Chauvet, Fabrice. Proth, Jean-Marie. January 1999 (has links) (PDF)
Thèse de doctorat : SCIENCES ET TECHNIQUES : Metz : 1999. / 1999METZ023S. 161 ref.
|
9 |
Maîtrise de la dimension temporelle de la qualité de service dans les réseauxMartin, Steven Minet, Pascale. George, Laurent January 2004 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2004. / Titre provenant de l'écran-titre. Bibliogr. Index.
|
10 |
Contribution à l'algorithmique anytime contrôle et conception /Delhay, Arnaud. Dauchet, Max January 2000 (has links) (PDF)
Thèse de doctorat : Informatique : Lille 1 : 2000. / Résumé en français et en anglais. Bibliogr. f. 81-84.
|
Page generated in 0.114 seconds