Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle by Advisor "Aboulhamid, El Mostapha"
Now showing items 21-32 of 32
-
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 fulgurante des outils conçus ... -
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 approches courantes ont beaucoup ... -
Timing verification in transaction modeling
(2010-05-05)Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais ... -
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 linéaires-min-max avec des composants ...