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 11 to 20 of 45 (0.119 seconds)

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

11

Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants

Khalgui, Mohamed Simonot-Lion, Françoise January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Titre provenant de l'écran-titre. Bibliogr.
12

Garantir la qualité de service temps réel selon l'approche (m,k)-firm

Li, Jian Song, Ye-Qiong January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2007. / Texte en anglais et en français. Titre provenant de l'écran-titre. Bibliogr.
13

Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temp-réel décrits en RT-LOTOS

Sadani, Tarek Courtiat, Jean-Pierre Saqui-Sannes, Pierre de. January 2007 (has links)
Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 89 réf.
14

Spécification et validation d'un réseau de communication de type Ethernet Commuté pour systèmes avioniques militaires de nouvelles générations

Mifdaoui, Ahlem Fraboul, Christian. Francès, Fabrice. January 2008 (has links)
Reproduction de : Thèse de doctorat : Réseaux et télécommunications : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 55 réf.
15

Algebras and automata for timed and stochastic systems

D'Argenio, Pedro Ruben January 1999 (has links) (PDF)
Thèse de doctorat : Informatique : University of Twente, Netherlands : 1997. / Bibliogr. p. 311-326 et index.
16

Ordonnancement en temps-réel des activités des radars

Duron, Cyril. Proth, Jean-Marie. January 2008 (has links) (PDF)
Reproduction de : Thèse de doctorat : Automatique : Metz : 2002. / Titre provenant de l'écran-titre. Notes bibliographiques.
17

Segmentation d'images radiologiques en temps réel dans le cadre d'un système d'aide à la pose d'une prothèse endovasculaire

Lahfi, Yehia Lemoine, Jacques January 2007 (has links) (PDF)
Thèse de doctorat : Génie biologique et médical : Paris 12 : 2006. / Titre provenant de l'écran-titre. Bibliogr. f. 210-218.
18

Analyses de faisabilités pour l'ordonnancement de tâches en graphe dans les systèmes temps réels

Zhao, HuiXue George, Laurent January 2007 (has links) (PDF)
Thèse de doctorat : Informatique : Paris 12 : 2007. / Titre provenant de l'écran-titre. Pagination : 141 p. Bibliogr. : 7 f.
19

Programmation sûre des systèmes de contrôle/commande le séquencement de tâches flot de données dans les langages réactifs /

Rutten, Eric. January 1999 (has links) (PDF)
Habilitation à diriger des recherches : Informatique : Rennes 1 : 1999. / Bibliogr. p.75-80.
20

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF

Rahni, Ahmed Richard, Pascal Grolleau, Emmanuel. Richard, Michaël January 2008 (has links) (PDF)
Reproduction de : Thèse de doctorat : Informatique : Poitiers : 2008. / Titre provenant de l' écran-titre. Bibliogr. 122 réf.

Page generated in 0.1255 seconds