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 31 to 40 of 65 (0.029 seconds)

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

31

ARTO un modèle d'objet adaptable pour la qualité de service /

Contreras, José-Lino Sourrouille, Jean-Louis January 2004 (has links)
Thèse doctorat : Informatique. Informatique et Systèmes Coopératifs pour l'Entreprise : INSA LYON : 2002. / Titre provenant de l'écran-titre. Bibliogr. p. 127-130.
32

Systèmes temps réel embarqués ordonnancement optimal de tâches pour la consommation énergétique du processeur /

Rohárik Vîlcu, Dana-Mihaela Mercier, Gilles. January 2004 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2004. / Titre provenant de l'écran-titre.
33

Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-LOTOS

Lohr, Christophe Courtiat, Jean-Pierre January 2005 (has links)
Reproduction de : Thèse de doctorat : Programmation et systèmes : Toulouse, INPT : 2002. / Titre provenant de l'écran-titre. Bibliogr. 158 réf.
34

Conception de systèmes temps réel déterministes en environnement incertain

Bougueroua, Lamine George, Laurent Midonnet, Serge. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2007. / Titre provenant de l'écran-titre. Pagination : XIV-129 p. Bibliogr. p. 119-127.
35

Utilisation prévisible des caches d'instruction dans les systèmes temps réel strict

Arnaud, Alexis. Puaut, Isabelle January 2006 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2006. / Bibliogr. p. 131-136.
36

Abstractions booléennes pour la vérification des systèmes temps-réel

Kang, Eun-Young Merz, Stephan. January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : Nancy 1 : 2007. / Titre provenant de l'écran-titre. Bibliogr.
37

Prévision de trajectoires 3-D en temps réel

Villien, Christophe Ostertag, Eric. January 2006 (has links) (PDF)
Thèse de doctorat : Electronique, Electrotechnique, Automatique. Traitement du signal : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 6 p.
38

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.
39

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.
40

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.

Page generated in 0.0629 seconds