| 2008 |
Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel |
Julien, Marc |
Aboulhamid, El Mostapha |
| 2008 |
SCIL processor : a common intermediate language processor for embedded systems |
Zhou, Tongyao |
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 |
| 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 |
| 1991 |
Analyse de pannes multiples utilisant une technique d'élimination rapide |
Verreault, Alain |
Aboulhamid, El Mostapha |
| 2013-04 |
Parallelization of SAT on Reconfigurable Hardware |
Ivan, Teodor |
Aboulhamid, El Mostapha |
| 2012-01 |
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce |
Anane, Amine |
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 |
| 1989 |
Modélisation des circuits VLSI et conception en vue de leur testabilité |
Bourahla, Mustapha |
Aboulhamid, El Mostapha |
| 2008 |
Modélisation et implémentation des patrons de conception |
Tagmouti, Yousra |
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-12 |
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 |
| 1992 |
Analyse et génération de vecteurs du test pour les pannes multiples |
Karkouri, Younés |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1993 |
Multi-partitionnement des réseaux pour des applications en VLSI |
Meknassi, Mohammed |
Aboulhamid, El Mostapha; Cerny, Eduard |
| 1989 |
Testabilité et tolérance aux fautes des circuits logiques à structure régulière |
Eleuldj, Mohsine |
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 |
| 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 |
| 2009 |
Nouvelles approches pour la conception d'outils CAO pour le domaine des systèmes embarqués |
Lapalme, James |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2004 |
The co-design methodologies on click router application system |
Li, Dan |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
| 2011-08 |
Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes |
Azzabi, Ahmed |
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 |
| 1998 |
Estimation des performances du système PULSE V1 pour des applications de nature itérative |
Chabini, Noureddine |
Aboulhamid, El Mostapha; Savaria, Y. |
| 2001 |
Méthodes pour améliorer la qualité des implantations matérielles de systèmes informatiques |
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-10 |
Parameter-efficient modeling and robust automatic evaluation of image captioning |
Ahmadi, Saba |
Agrawal, Aishwarya |
| 2005 |
DIA : un système de recommandation de livres dans un contexte pédagogique |
Yammine, Kamal |
Aïmeur, Esma |
| 2023-04 |
Enhancing cybersecurity awareness through educational games : design of an adaptive visual novel game |
Bouzegza, Firdaous |
Aïmeur, Esma |
| 2012-11 |
Mures : Un système de recommandation de musique |
Arnautu, Octavian Rolland |
Aïmeur, Esma |
| 2024-03 |
FACTS-ON : Fighting Against Counterfeit Truths in Online social Networks : fake news, misinformation and disinformation |
Amri, Sabrine |
Aïmeur, Esma |
| 2006 |
RARE : un système de recommandation de cours basé sur les régles d'association |
Bendakir, Narimel |
Aïmeur, Esma |
| 2006 |
UMAKE : adaptation et recommandation d'outils d'aide d'un quiz pour l'auto-évaluation |
Mabrouk, Moez |
Aïmeur, Esma |
| 2003 |
PCFinfer : an intelligent product recommendation agent for electronic commerce |
Xiao, Bin |
Aïmeur, Esma |
| 2021-08 |
Personalized question-based cybersecurity recommendation systems |
Moukala Both, Suzy Edith |
Aïmeur, Esma |
| 2023-06 |
ZeroAbuse, a serious game to prevent child maltreatment |
Cevallos, Lissethy |
Aïmeur, Esma |
| 2010-07 |
Web2.0, knowledge sharing and privacy in E-learning |
Hage, Hicham |
Aïmeur, Esma |
| 2021-06 |
Image forgery detection using textural features and deep learning |
Malhotra, Yishu |
Aïmeur, Esma |
| 2004 |
IIS : an intelligent interaction system that provides e-service, based on interaction and case-based reasoning |
Mhanna, Samir |
Aïmeur, Esma |