Search
Now showing items 21-30 of 128
Survey of Template-Based Code Generation
(2017-07-12)
L'automatisation de la génération des artefacts textuels à partir des modèles est une étape critique dans l'Ingénierie Dirigée par les Modèles (IDM). C'est une transformation de modèles utile pour générer le code source, ...
Amplification de l'amplitude : analyse et applications
(2013-06-03)
Ce mémoire étudie l'algorithme d'amplification de l'amplitude et ses applications dans le domaine de test de propriété. On utilise l'amplification de l'amplitude pour proposer le plus efficace algorithme quantique à ce ...
Parallelization of SAT on Reconfigurable Hardware
(2013-08-02)
Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression ...
Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features
(2013-11-07)
Ce mémoire de maîtrise présente une nouvelle approche non supervisée pour détecter et segmenter les régions urbaines dans les images hyperspectrales. La méthode proposée n ́ecessite trois étapes. Tout d’abord, afin de ...
La résolution du problème de formation de cellules dans un contexte multicritère
(2013-06-03)
Les techniques de groupement technologique sont aujourd’hui utilisées dans de nombreux ateliers de fabrication; elles consistent à décomposer les systèmes industriels en sous-systèmes ou cellules constitués de pièces et ...
Un formalisme pour la traçabilité des transformations
(2010-04-01)
Dans le développement logiciel en industrie, les documents de
spécification jouent un rôle important pour la communication entre les analystes
et les développeurs. Cependant, avec le temps, les changements de personel ...
Génération automatique de lettres de recrutement
(2017-03-28)
Ce mémoire de maîtrise présente le développement d’un système de génération de la langue naturelle pour automatiser les lettres de contact envoyées par les chasseurs de tête. Les travaux de Ehud Reiter ont inspiré la portion ...
Using Workflows to Automate Activities in MDE Tools
(2017-03-28)
Le génie logiciel a pour but de créer des outils logiciels qui permettent de résoudre des
problèmes particuliers d’une façon facile et efficace. À cet égard, l’ingénierie dirigée
par les modèles (IDM), facilite la création ...
Caractérisation et étude de l’impact des permissions dans les applications mobiles
(2018-05-10)
Android fournit un modèle de sécurité basé sur les permissions aux développeurs d'applications tiers, qui contrôlent l'accès aux ressources système, incluant le matériel, les paramètres et les données utilisateur. Cette ...
Évolution de familles de gènes par duplications et pertes : algorithmes pour la correction d’arbres bruités
(2012-03-01)
Les gènes sont les parties du génome qui codent pour les protéines. Les gènes d’une ou plusieurs espèces peuvent être regroupés en "familles", en fonction de leur similarité de séquence. Cependant, pour connaître les ...