• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 1
  • 1
  • Tagged with
  • 12
  • 12
  • 12
  • 12
  • 12
  • 6
  • 6
  • 5
  • 5
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 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.
1

Typage de Modèles

Steel, James Richard Heron Jézéquel, Jean-Marc January 2007 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2007. / Thèse en anglais précédé d'un long résumé en français. Bibliogr. p. 125-136.
2

Approche de métamodélisation pour la simulation et la vérification de modèle application à l'ingénierie des procédés /

Combemale, Benoît Sallé, Patrick. Coulette, Bernard. January 2008 (has links)
Reproduction de : Thèse de doctorat : Informatique : Toulouse, INPT : 2008. / Titre provenant de l'écran-titre. Bibliogr. 216 réf.
3

Amélioration de la qualité des données du produit dans le contexte du cycle de vie d'un vaccin une approche d'interopérabilité dirigée par les modèles /

Moalla, Néjib Bouras, Abdelaziz Ouzrout, Yacine. Neubert, Gilles. January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lyon 2 : 2007. / Titre provenant de l'écran-titre. Bibliogr.
4

Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles

Thomas, Frédéric Terrier, François. January 2008 (has links) (PDF)
Thèse de doctorat : Informatique : Evry-Val d'Essonne : 2008. / Titre provenant de l'écran-titre.
5

CoCSys une approche basée sur la construction d'un modèle comportemental pour la conception de systèmes collaboratifs mobiles /

Delotte, Olivier David, Bertrand. January 2006 (has links) (PDF)
Thèse de doctorat : sciences. Informatique : Ecully, Ecole centrale de Lyon : 2006. / 173 réf.
6

CoCSys une approche basée sur la construction d'un modèle comportemental pour la conception de systèmes collaboratifs mobiles /

Delotte, Olivier David, Bertrand. January 2006 (has links) (PDF)
Thèse de doctorat : sciences. Informatique : Ecully, Ecole centrale de Lyon : 2006. / 173 réf.
7

Oracles et qualification du test de transformations de modèles

Mottu, Jean-Marie Le Traon, Yves January 2008 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2008. / Titre provenant de la page du titre du document électronique. Bibliogr. p. 180-191. Glossaire.
8

Méthode de conception rapide d'architecture massivement parallèle sur puce : de la modélisation à l'expérimentation sur FPGA

Baklouti, Mouna 18 December 2010 (has links) (PDF)
Les travaux présentés dans cette thèse s'inscrivent dans le cadre des recherches menés sur la concep- tion et implémentation des systèmes sur puce à hautes performances afin d'accélérer et faciliter la conception ainsi que la mise en œuvre des applications de traitement systématique à parallélisme de données massif. Nous définissons dans ce travail un système SIMD massivement parallèle sur puce nommé mppSoC : massively paral- lel processing System on Chip. Ce système est générique et paramétrique pour s'adapter à l'application. Nous proposons une démarche de conception rapide et modulaire pour mppSoC. Cette conception se base sur un assemblage de composants ou IPs. À cette fin, une bibliothèque mppSoCLib est mise en place. Le concepteur pourra directement choisir les composants nécessaires et définir les paramètres du système afin de construire une configuration SIMD répondant à ses besoins. Une chaîne de génération automatisée a été développée. Cette chaîne permet la génération automatique du code VHDL d'une configuration mppSoC modélisée à haut niveau d'abstraction (UML). Le code VHDL produit est directement simulable et synthétisable sur FPGA. Cette chaîne autorise la définition à un haut niveau d'abstraction d'une configuration adéquate à une application donnée. À partir de la simulation du code généré automatiquement, nous pouvons modifier la configuration dans une démarche d'exploration pour le moment semi-automatique. Nous validons mppSoC dans un contexte applicatif réel de traitement vidéo à base de FPGA. Dans ce même contexte, une comparaison entre mppSoC et d'autres systèmes montre les performances suffisantes et l'efficacité de mppSoC.
9

Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes

Alloula, Karim Le Lann, Jean-Marc. January 2008 (has links)
Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 111 réf.
10

Transformations de modèles et interopérabilité dans la conception de systèmes hétérogènes sur puce à base d'IP

Bondé, Lossan Dekeyser, Jean-Luc January 2007 (has links)
Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2006. / N° d'ordre (Lille 1) : 3904. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 113-119.

Page generated in 0.0966 seconds