Search
Now showing items 31-40 of 214
Implémentation d'un langage fonctionnel orienté vers la méta programmation
(2017-07-12)
Ce mémoire présente l'implémentation d'un nouveau langage de programmation nommé Typer.
Typer est un langage fonctionnel orienté vers la méta programmation.
Il a été conçu pour augmenter la productivité du programmeur ...
Détection des utilisations à risque d’API : approche basée sur le système immunitaire
(2018-10-18)
Les APIs sont des ingrédients essentiels pour développer des systèmes logiciels complexes.
Cependant, elles sont difficiles à apprendre et à utiliser. Par conséquent, les développeurs
peuvent les utiliser à mauvais ...
Modélisation et maintien de l’engagement dans un environnement du jeu vidéo émotionnel
(2017-07-12)
Les études récentes sur les Interactions Homme-Machine ont intégré la dimension émotionnelle dans l'évaluation de l'expérience de l'utilisateur. En effet, un nouveau courant de recherche est apparu à savoir l'informatique ...
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, ...
Méthodes pour la réduction d’attaques actives à passives en cryptographie quantique
(2018-10-18)
La mécanique quantique offre un avantage indéniable sur la mécanique classique pour la réalisation de diverses tâches cryptographiques. Cependant, elle ouvre également la voie à des attaques complexes qui compliquent ...
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 ...
Domain/Multi-Domain Protection and Provisioning in Optical Networks
(2014-09-29)
L’évolution récente des commutateurs de sélection de longueurs d’onde (WSS -Wavelength Selective Switch) favorise le développement du multiplexeur optique d’insertionextraction reconfigurable (ROADM - Reconfigurable Optical ...
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 ...
Improving automation in model-driven engineering using examples
(2014-05-01)
Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation ...
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 ...