NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 42
  • 2
  • 1
  • Tagged with
  • 45
  • 45
  • 45
  • 13
  • 12
  • 6
  • 6
  • 6
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 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 31 to 40 of 45 (0.109 seconds)

Spelling suggestions: "subject:"temps réel (informatique)"" "subject:"hemps réel (informatique)""

31

Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre

Vassiliev, Pavel Beauquier, Danièle Soloviev, Igor. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Paris Est : 2008. Thèse de doctorat : Informatique : Université de Saint-Pétersbourg : 2008. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre.
32

Real-time realistic rendering of nature scenes with dynamic lighting Rendu réaliste et temps réel de scènes naturelles avec éclairage dynamique /

Boulanger, Kévin Bouatouch, Kadi Pattanaik, Sumanta. January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. Thèse doctorat : Informatique : University of central Florida (Orlando) : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 109-114.
33

Génération automatique de tests pour modèles avec variables ou récursivité

Constant, Camille Jéron, Thierry January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 161-169.
34

Habillage de modèles mécaniques facettisation temps réel de surfaces implicites /

Triquet, Frédéric. Chaillou, Christophe. Meseure, Philippe. January 2001 (has links) (PDF)
Thèse de doctorat : Informatique : Lille 1 : 2001. / Résumé en français et en anglais. Bibliogr. p 141-148.
35

Indexation dans les bases de données capteurs temps réel application à la surveillance de phénomènes environnementaux et de risques naturels /

Noël, Guillaume Laurini, Robert January 2007 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. 207-213.
36

Performances and quality of service of PLC networks for MV and LV distribution systems

Lu, Liping Simonot-Lion, Françoise January 2006 (has links) (PDF)
Thèse de doctorat : Informatique : Vandoeuvre-les-Nancy, INPL : 2006. Thesis Ph. D. : Wuhan university of technology : 2006. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre. Bibliogr.
37

Modèle et algorithme d'ordonnancement pour architectures reconfigurables dynamiquement

Benkermi, Imène Sentieys, Olivier. January 2007 (has links) (PDF)
Thèse doctorat : Traitement du signal et télécommunications : Rennes 1 : 2007. / Bibliogr. p. 129-134.
38

SAIA un style architectural pour assurer l'indépendance vis-à-vis d'entrées / sorties soumises à des contraintes temporelles /

Deantoni, Julien Babau, Jean-Philippe. January 2007 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 123-130.
39

Inversion géoacoustique temps réel de signaux large bande par grands fonds

Viala, Christophe Asch, Mark. January 2007 (has links)
Reproduction de : Thèse de doctorat : Mathématiques : Mécanique. Acoustique : Toulon : 2007. / Titre provenant du cadre-titre. Références bibliographiques f.111-123.
40

Vers une simulation physique temps réel multi-modèle

Grisoni, Laurent Chaillou, Christophe. January 2007 (has links)
Reproduction de : Habilitation à diriger des recherches : Sciences mathématiques. Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 484. Textes en français (synthèse des travaux) et en anglais (publications en annexe). Résumé en français et en anglais. Curriculum vitae. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 46-55. Liste des publications et communications.

Page generated in 0.114 seconds