NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 57
  • 7
  • 1
  • Tagged with
  • 65
  • 65
  • 47
  • 18
  • 13
  • 8
  • 8
  • 8
  • 7
  • 7
  • 7
  • 6
  • 6
  • 6
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 10 of 65 (0.042 seconds)

Spelling suggestions: "subject:"empsońel"" "subject:"femps3d́el""

1

Évaluation des performances temps réel de réseaux embarqués avioniques

Charara, 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.
Avionique Temps réel (informatique)
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.
Infographie. Temps réel (informatique)
3

Vérification de propriétés de programmes flots de données synchrones

Glory, 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.
Logiciels Temps réel (informatique)
4

Méthode de conception descendante de systèmes temps réel

Pilaud, 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.
Temps réel (informatique)
5

Conception conjointe optimisée de lois de contrôle et d'ordonnancement

Jia, 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.
Commande en temps réel Qualité
6

Le modele ROOM : formalisation de sa sémantique statique et son application au developpement d'un logiciel de poursuite de satellites

Normandeau, 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.
Temps réel. Satellites artificiels
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écution

Deverge, 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 prototype

Aouni, 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.0486 seconds