| 1996 |
Estimation de la performance et méthodes d'allocation dans la synthèse de systèmes numériques |
Bennour, Imed-Eddine |
Aboulhamid, El Mostapha |
| 2013 |
Parallelization of SAT on Reconfigurable Hardware |
Ivan, Teodor |
Aboulhamid, El Mostapha |
| 2002 |
Évaluation de la performance dans la modélisation SystemC de systèmes multiprocesseur à base de processeur réseau |
Boudina, Nadir |
Aboulhamid, El Mostapha |
| 1991 |
Analyse de pannes multiples utilisant une technique d'élimination rapide |
Verreault, Alain |
Aboulhamid, El Mostapha |
| 2008 |
Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel |
Julien, Marc |
Aboulhamid, El Mostapha |
| 2008 |
Modélisation et implémentation des patrons de conception |
Tagmouti, Yousra |
Aboulhamid, El Mostapha |
| 1989 |
Modélisation des circuits VLSI et conception en vue de leur testabilité |
Bourahla, Mustapha |
Aboulhamid, El Mostapha |
| 2009 |
Modélisation et réalisation de la couche physique du système de communication numérique sans fil, WiMax, sur du matériel reconfigurable |
Ezzeddine, Mazen |
Aboulhamid, El Mostapha |
| 2008 |
Design et implémentation sur FPGA d'un algorithme DES |
Amoud, Mohamed |
Aboulhamid, El Mostapha |
| 2008 |
SCIL processor : a common intermediate language processor for embedded systems |
Zhou, Tongyao |
Aboulhamid, El Mostapha |
| 2012 |
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce |
Anane, Amine |
Aboulhamid, El Mostapha |
| 2004 |
De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel |
Charest, Luc |
Aboulhamid, El Mostapha; Bois, Guy |
| 2009 |
Timing verification in transaction modeling |
Tsikhanovich, Alena |
Aboulhamid, El Mostapha; Bois, Guy |
| 2001 |
Visualisation interactive des résultats de simulation de matériel modélisé avec SystemC |
Reid, Michel |
Aboulhamid, El Mostapha; Bois, Guy |
| 2003 |
Understanding retargeting compilation techniques for network processors |
Li, Jun |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R |
| 2003 |
ARM processor modeling at a cycle accurate level in systemC |
Sun, Hongmei |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R |
| 2006 |
Méthodologie de conception d'un modèle comportemental pour la vérification formelle |
Bastien, Frédéric |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R; Vachon, Julie |
| 1989 |
Testabilité et tolérance aux fautes des circuits logiques à structure régulière |
Eleuldj, Mohsine |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1992 |
Analyse et génération de vecteurs du test pour les pannes multiples |
Karkouri, Younés |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1991 |
De l'à-propos du modèle de simulation optimiste pour l'implantation de VHDL dans un environnement informatique distribué |
Girodias, Pierre |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1993 |
Multi-partitionnement des réseaux pour des applications en VLSI |
Meknassi, Mohammed |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 2006 |
Méthodologie et outil de conception de systèmes embarqués basés sur le cadre d'applications .NET |
Brassard, Olivier |
Aboulhamid, El Mostapha; David, Jean Pierre |
| 2004 |
Accélération de prédiction génétique par implémentation hautement parallèle sur un matériel re-configurable |
Zerarka, Mohamed Toufik |
Aboulhamid, El Mostapha; David, Jean Pierre |
| 1999 |
Génération automatique de cas de test pour les systèmes modélisés par des machines à états finis communicantes |
Bourhfir, Chourouk |
Aboulhamid, El Mostapha; Dssouli, Rachida |
| 2004 |
Réutilisation des processus d'affaires pour le développement de systèmes d'information |
Bou Jaoude, Guitta |
Aboulhamid, El Mostapha; HAFEDH, MILI |
| 2006 |
Distribution d'objets avec les techniques de développement orientées aspects |
Mcheick, Hamid |
Aboulhamid, El Mostapha; Mili, H |
| 2004 |
The co-design methodologies on click router application system |
Li, Dan |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2011 |
Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes |
Azzabi, Ahmed |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2009 |
Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués |
Lapalme, James |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2005 |
Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués |
Girodias, Bruno |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2006 |
Optimisation mémoire et exploration architecturale d'applications multimédias sur un réseau sur puce |
Gagné, Vincent |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2001 |
Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
| 1998 |
Estimation des performances du système PULSE V1 pour des applications de nature itérative |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
| 2001 |
Optimisation de circuits lors de la synthèse à partir de langages de haut niveau |
Boyer, François-R. |
Aboulhamid, El Mostapha; Savaria, Y. |
| 2005 |
Méthodes formelles de haut niveau pour la conception de systèmes électroniques fiables |
Gorse, Nicolas |
Aboulhamid, El Mostapha; Savaria, Yvon |
| 2000 |
Covérification des systèmes intégrés |
Azizi, Mostafa |
Aboulhamid, El Mostapha; Tabar, Sofiene |
| 2006 |
Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système |
Metzger, Michel |
Aboulhamid, El Mostapha; Vachon, Julie |
| 2023 |
Parameter-efficient modeling and robust automatic evaluation of image captioning |
Ahmadi, Saba |
Agrawal, Aishwarya |
| 2016 |
Gestionnaire de vie privée : un cadre pour la protection de la vie privée dans les interactions entre apprenants |
Selmi, Mouna |
Aïmeur, Esma |
| 2024 |
Détection universelle des images synthétiques générées par les modèles de diffusion |
Bourega, Khadidja Yasmine |
Aïmeur, Esma |
| 2006 |
UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation |
Mabrouk, Moez |
Aïmeur, Esma |
| 1998 |
Le raisonnement à base de cas dans la planification financière |
Boudina, Kamel |
Aïmeur, Esma |
| 2001 |
XMLFinder : an intelligent agent based on CBR for E-Commerce |
Ma, YanPing |
Aïmeur, Esma |
| 2014 |
Évaluation et amélioration du rendement de la formation en entreprise : vers une démarche basée sur la gestion des processus d’affaires |
Touré, Fodé |
Aïmeur, Esma |
| 2001 |
Un système combiné de raisonnement à base de cas et de data mining : une alternative aux techniques statistiques de marketing bancaire |
Guay, Natalie |
Aïmeur, Esma |
| 2009 |
Papyres : un système de gestion et de recommandation d’articles de recherche |
Naak, Amine |
Aïmeur, Esma |
| 2007 |
TAARAC : test d'anglais adaptatif par raisonnement à base de cas |
Lakhlili, Zakia |
Aïmeur, Esma |
| 2023 |
Enhancing cybersecurity awareness through educational games : design of an adaptive visual novel game |
Bouzegza, Firdaous |
Aïmeur, Esma |
| 2022 |
Vers la sécurité des conteneurs : les comprendre et les sécuriser |
Lapointe, Hugo B. |
Aïmeur, Esma |
| 2022 |
A personality aware recommendation system |
Elourajini, Fahed |
Aïmeur, Esma |