Search
Now showing items 11-20 of 26
Formulation interactive des requêtes pour l’analyse et la compréhension du code source
(2011-03-03)
Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble ...
Métriques de routage dans les réseaux maillés sans fil
(2011-08-04)
Ces dernières années, les technologies sans fil ont connu un essor
fulgurant. Elles ont permis la mise en place de réseaux sans fil à hautes
performances. Les réseaux maillées sans fil (RMSF) sont une nouvelle génération
de ...
Protocole de routage basé sur des passerelles mobiles pour un accès Internet dans les réseaux véhiculaires
(2011-07-07)
La rapide progression des technologies sans fil au cours de ces dernières années a vu
naître de nouveaux systèmes de communication dont les réseaux véhiculaires. Ces réseaux
visent à intégrer les nouvelles technologies ...
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). ...
Simulateur compilé d’une description multi-langage des systèmes hétérogènes
(2011-08-04)
La conception de systèmes hétérogènes exige deux étapes importantes, à savoir : la modélisation
et la simulation. Habituellement, des simulateurs sont reliés et synchronisés
en employant un bus de co-simulation. Les ...
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 ...
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. ...
Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes
(2011-12-01)
Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation
des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et
acycliques sous des contraintes ...
Intégration de la visualisation à multiples vues pour le développement du logiciel
(2011-05-05)
Le développement du logiciel actuel doit faire face de plus en plus à la complexité de programmes gigantesques, élaborés et maintenus par de grandes équipes réparties dans divers lieux. Dans ses tâches régulières, chaque ...
Implantation des futures sur un système distribué par passage de messages
(2011-03-03)
Ce mémoire présente une implantation de la création paresseuse de tâches desti-
née à des systèmes multiprocesseurs à mémoire distribuée. Elle offre un sous-ensemble des fonctionnalités du Message-Passing Interface et ...