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 |
Modélisation et implémentation des patrons de conception |
Tagmouti, Yousra |
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 |
2012 |
Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce |
Anane, Amine |
Aboulhamid, El Mostapha |
2008 |
SCIL processor : a common intermediate language processor for embedded systems |
Zhou, Tongyao |
Aboulhamid, El Mostapha |
2008 |
Design et implémentation sur FPGA d'un algorithme DES |
Amoud, Mohamed |
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 |
1989 |
Modélisation des circuits VLSI et conception en vue de leur testabilité |
Bourahla, Mustapha |
Aboulhamid, El Mostapha |
1991 |
Analyse de pannes multiples utilisant une technique d'élimination rapide |
Verreault, Alain |
Aboulhamid, El Mostapha |
2013 |
Parallelization of SAT on Reconfigurable Hardware |
Ivan, Teodor |
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 |
2009 |
Timing verification in transaction modeling |
Tsikhanovich, Alena |
Aboulhamid, El Mostapha; Bois, Guy |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
2005 |
Une plateforme pour le raffinement des services d'OS pour les systèmes embarqués |
Girodias, Bruno |
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 |
2011 |
Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes |
Azzabi, Ahmed |
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 |
2004 |
The co-design methodologies on click router application system |
Li, Dan |
Aboulhamid, El Mostapha; Nicolescu, Gabriela |
2001 |
Optimisation de circuits lors de la synthèse à partir de langages de haut niveau |
Boyer, François-R. |
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. |
1998 |
Estimation des performances du système PULSE V1 pour des applications de nature itérative |
Chabini, Noureddine |
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 |
2022 |
DS-Fake : a data stream mining approach for fake news detection |
Mputu Boleilanga, Henri-Cedric |
Aïmeur, Esma |
2025 |
CyberPRIcards : un jeu sérieux pour la sensibilisation à la vie privée et l’intimité numérique |
Carrascal, Rafael |
Aïmeur, Esma |