Spelling suggestions: "subject:"intéigénierie dirigenteśe para les modèles"" "subject:"intéingénierie dirigenteśe para les modèles""
1 |
Typage de ModèlesSteel, 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èlesThomas, 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èlesMottu, 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 FPGABaklouti, 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èmesAlloula, 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'IPBondé, 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.2301 seconds