Recherche
Voici les éléments 11-20 de 214
Représentation d'un polynôme par un circuit arithmétique et chaînes additives
(2011-08-04)
Un circuit arithmétique dont les entrées sont des entiers ou une variable x et dont les portes calculent la somme ou le produit représente un polynôme univarié. On assimile la complexité de représentation d'un polynôme par ...
Utilisation des citations pour le résumé automatique de la contribution d'articles scientifiques
(2018-03-21)
Cette thèse cherche à construire des outils pour la communauté scientifique.
Une des tâches d'un chercheur est la lecture d'articles scientifiques, que ce soit
pour les comparer, pour identifier de nouveaux problèmes, ...
Analyse de dépendance des programmes à objet en utilisant les modèles probabilistes des entrées
(2011-09-01)
La tâche de maintenance ainsi que la compréhension des programmes orientés objet (OO) deviennent de plus en plus coûteuses. L’analyse des liens de dépendance peut être une solution pour faciliter ces tâches d’ingénierie. ...
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 ...
Étude empirique des commentaires et application des techniques de résumé par extraction pour la redocumentation
(2011-11-03)
La documentation des programmes aide les développeurs à mieux comprendre le code source pendant les tâches de maintenance. Toutefois, la documentation n’est pas toujours disponible ou elle peut être de mauvaise qualité. ...
Groupage et protection du trafic dynamique dans les réseaux WDM
(2011-08-04)
Avec les nouvelles technologies des réseaux optiques, une quantité de données de plus en plus grande peut être transportée par une seule longueur d'onde. Cette quantité peut atteindre jusqu’à 40 gigabits par seconde (Gbps). ...
Tarification logit dans un réseau
(2012-05-03)
Le problème de tarification qui nous intéresse ici consiste à maximiser le revenu généré par les usagers d'un réseau de transport. Pour se rendre à leurs destinations, les usagers font un choix de route et utilisent ...
É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 ...
Simulation de flammes interactives en temps réel
(2010-09-02)
La synthèse d'une flamme animée dans un environnement 3D virtuel, reste à ce jour une tâche ardue, exigeant de judicieusement balancer réalisme et coût de calcul. Dans ce mémoire, nous présentons un ensemble de techniques ...
Génération efficace de graphes d’appels dynamiques complets
(2012-02-02)
Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées ...