Search
Now showing items 81-90 of 214
A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems
(2013-01-04)
Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes,
de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques ...
Evaluating Design Decay during Software Evolution
(2013-02-01)
Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la ...
Étude de la médiane de permutations sous la distance de Kendall-Tau
(2016-09-28)
La distance de Kendall-τ compte le nombre de paires en désaccord entre deux permuta-
tions. La distance d’une permutation à un ensemble est simplement la somme des dis-
tances entre cette permutation et les permutations ...
La fuite d’information d’une réalisation quantique de primitives cryptographiques classiques
(2017-03-28)
Nous nous intéressons à la réalisation par états quantiques de primitives cryptographiques
classiques. Nous introduisons les concepts de l’avantage et de epsilon -enveloppes.
Ensuite, nous démontrons que pour tout état, ...
Planification et dimensionnement des réseaux optiques de longues distances
(2010-03-04)
Le projet de recherche porte sur l'étude des problèmes de conception et de planification d'un réseau optique de longue distance, aussi appelé réseau de coeur (OWAN-Optical Wide Area Network en anglais). Il s'agit d'un ...
Complexité raffinée du problème d'intersection d'automates
(2012-07-05)
Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas ...
Quality of service aware data dissemination in vehicular Ad Hoc networks
(2018-10-18)
Des systèmes de transport intelligents (STI) seront éventuellement fournis dans un proche avenir pour la sécurité et le confort des personnes lors de leurs déplacements sur les routes. Les réseaux ad-hoc véhiculaires ...
Iterative Solvers for Physics-based Simulations and Displays
(2018-10-18)
La génération d’images et de simulations réalistes requiert des modèles complexes pour capturer tous les détails d’un phénomène physique. Les équations mathématiques qui composent ces modèles sont compliquées et ne peuvent ...
Simulation du transport de neige
(2018-10-18)
Que ce soit pour des scènes synthétiques de films ou de jeux vidéo, le réalisme des
environnements passent par l’ajout d’effets visuels communs à nos expériences. La neige
fait partie des phénomènes naturels complexes ...
Le produit direct de fonctions et les programmes de branchement avec oracle
(2018-10-18)
Ce mémoire explore divers résultats de la littérature à propos du produit direct de fonctions.
Plus précisément, on retrouve la production de masse, le multi-calcul et l’espace catalytique.
Le lien entre ces trois variantes ...