2008 |
Intégration d'un système d'exploitation dans le flot de développement logiciel/matériel |
Julien, Marc |
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 |
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 |
2008 |
SCIL processor : a common intermediate language processor for embedded systems |
Zhou, Tongyao |
Aboulhamid, El Mostapha |
2008 |
Modélisation et implémentation des patrons de conception |
Tagmouti, Yousra |
Aboulhamid, El Mostapha |
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 |
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 |
2003 |
ARM processor modeling at a cycle accurate level in systemC |
Sun, Hongmei |
Aboulhamid, El Mostapha; BOYER, FRANCOIS-R |
2003 |
Understanding retargeting compilation techniques for network processors |
Li, Jun |
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 |
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 |
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 |
2004 |
The co-design methodologies on click router application system |
Li, Dan |
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 |
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 |
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 |