El Mostapha Aboulhamid

Publication Activity (10 Years)

Years Active: 1983-2019
Publications (10 Years): 1

Top Topics

Phase Transition

Boolean Satisfiability

Top Venues

Int. J. Parallel Program.

Publications

Amir Karamoozian, Abdelhakim Hafid, El Mostapha Aboulhamid
On the Fog-Cloud Cooperation: How Fog Computing can address latency concerns of IoT applications. FMEC (2019)
Amine Anane, El Mostapha Aboulhamid
A Transaction-Based Environment for System Modeling and Parallel Simulation. Int. J. Parallel Program. 43 (1) (2015)
Teodor Ivan, El Mostapha Aboulhamid
Exploring limits of parallelism in FPGA-based Boolean satisfiability. MECO (2013)
Teodor Ivan, El Mostapha Aboulhamid
An Efficient Hardware Implementation of a SAT Problem Solver on FPGA. DSD (2013)
Bruno Girodias, Luiza Gheorghe Iugan, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin
Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip. ACM Trans. Embed. Comput. Syst. 11 (3) (2012)
Amine Anane, El Mostapha Aboulhamid, Yvon Savaria
System modeling and multicore simulation using transactions. ICSAMOS (2012)
Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid, Ian O'Connor
Multi-granularity thermal evaluation of 3D MPSoC architectures. DATE (2011)
Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid
A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics. CODES+ISSS (2011)
Geoffrey Brown, El Mostapha Aboulhamid
Guest Editorial. J. Signal Process. Syst. 58 (1) (2010)
Ahmed Azzabi, El Mostapha Aboulhamid, Gabriela Nicolescu
Timing verification of cyclic systems based on temporal constraint analysis. ICECS (2010)
Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin
Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip. International Symposium on Rapid System Prototyping (2010)
Alain Fourmigue, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid
Co-simulation based platform for wireless protocols design explorations. DATE (2009)
Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur
Multiprocessor, Multithreading and Memory Optimization for On-Chip Multimedia Applications. J. Signal Process. Syst. 57 (2) (2009)
Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
Introspection mechanisms for runtime verification in a system-level design environment. Microelectron. J. 40 (7) (2009)
Laurent Moss, Marc-André Cantin, Guy Bois, El Mostapha Aboulhamid
Automation of Communication Refinement and Hardware Synthesis within a System-Level Design Methodology. IEEE International Workshop on Rapid System Prototyping (2008)
Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria
Modeling and simulation of complex heterogeneous systems. ISCAS (2008)
Youcef Bouchebaba, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid, Bruno Lavigueur, Pierre G. Paulin
MPSoC memory optimization using program transformation. ACM Trans. Design Autom. Electr. Syst. 12 (4) (2007)
Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau
Acceleration for Heterogeneous Systems Cosimulation. ICECS (2007)
Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois
Communication Structure Refinement using Temporal Constraints Analysis. ICECS (2007)
Youcef Bouchebaba, Bruno Girodias, Fabien Coelho, Gabriela Nicolescu, El Mostapha Aboulhamid
Buffer and Register Allocation for Memory Space Optimization. J. VLSI Signal Process. 49 (1) (2007)
Driss Bouami, El Mostapha Aboulhamid, Mohsine Eleuldj, Mark Zwolinski
General and Technical Program Chairs' Message. ICECS (2007)
Laurent Moss, Maxime de Nanclas, Luc Filion, Sebastien Fontaine, Guy Bois, El Mostapha Aboulhamid
Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support. DATE (2007)
N. Gorse, P. Bélanger, Alexandre Chureau, El Mostapha Aboulhamid, Yvon Savaria
A high-level requirements engineering methodology for electronic system-level design. Comput. Electr. Eng. 33 (4) (2007)
Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid
Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. Microelectron. J. 38 (6-7) (2007)
Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu
A Platform for Refinement of OS Services for Embedded Systems. DELTA (2006)
Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau
Towards an Efficient Simulation of Multi-Language Descriptions of Heterogeneous Systems. APCCAS (2006)
Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid
Finite State Machine IP Watermarking: A Tutorial. AHS (2006)
Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Fabien Coelho
Buffer and register allocation for memory space optimization. ASAP (2006)
Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau
Acceleration for a compiled Transaction Level Modeling simulation. ICECS (2006)
Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur
Application-Level Memory Optimization for MPSoC. IEEE International Workshop on Rapid System Prototyping (2006)
Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment. IEEE International Workshop on Rapid System Prototyping (2006)
Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid
A SystemC Refinement Methodology for Embedded Software. IEEE Des. Test Comput. 23 (2) (2006)
James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu
A new efficient EDA tool design methodology. ACM Trans. Embed. Comput. Syst. 5 (2) (2006)
Michel Metzger, Frederic Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid
A Verification Tool Implementation using Introspection Mechanism. FDL (2006)
Alena Tsikhanovich, Frédéric Rousseau, El Mostapha Aboulhamid, Guy Bois
Transaction Level Modeling in Hardware/Software System Design using .Net Framework. CCECE (2006)
Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois
A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction. IWSOC (2005)
Mathieu Dubois, El Mostapha Aboulhamid
Techniques to improve cosimulation and interoperability of heterogeneous models. ICECS (2005)
Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid
Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design. IEEE International Workshop on Rapid System Prototyping (2005)
Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid
A Public-Key Watermarking Technique for IP Designs. DATE (2005)
Noureddine Chabini, El Mostapha Aboulhamid, Ismaïl Chabini, Yvon Savaria
Scheduling and optimal register placement for synchronous circuits derived using software pipelining techniques. ACM Trans. Design Autom. Electr. Syst. 10 (2) (2005)
Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid
The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application. DATE (2005)
Mounir Boukadoum, Karima Tabari, Abdelhak Bensaoula, David Starikov, El Mostapha Aboulhamid
FPGA implementation of a CDMA source coding and modulation subsystem for a multiband fluorometer with pattern recognition capabilities. ISCAS (5) (2005)
James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu
Leveraging Model Representations for System Level Design Tools. IEEE International Workshop on Rapid System Prototyping (2005)
James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois
ESys.Net: a new solution for embedded systems modeling and simulation. LCTES (2004)
D. Quinn, Bruno Lavigueur, Guy Bois, El Mostapha Aboulhamid
A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors. DATE (2004)
Luc Charest, El Mostapha Aboulhamid, Guy Bois
Using Design Patterns for Type Unification and Introspection in SystemC. IWSOC (2004)
T. Dieu Linh Truong, Omar Cherkaoui, Halima Elbiaze, Nathalie Rico, El Mostapha Aboulhamid
A policy-based approach for user controlled lightpath provisioning. NOMS (1) (2004)
James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois
.NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation. DATE (2004)
William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola
Segmented channel routability via satisfiability. ACM Trans. Design Autom. Electr. Syst. 9 (4) (2004)
Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid
Interface-based Design of Systems-on-Chip using UML-RT. IWSOC (2004)
Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid
A Survey on IP Watermarking Techniques. Des. Autom. Embed. Syst. 9 (3) (2004)
Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria
Methods for minimizing dynamic power consumption in synchronous designs with multiple supply voltages. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22 (3) (2003)
Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid
IP Watermarking Techniques: Survey and Comparison. IWSOC (2003)
S. Regimbal, Jean-Francois Lemire, Yvon Savaria, Guy Bois, El Mostapha Aboulhamid, A. Baron
Automating Functional Coverage Analysis Based on an Executable Specification. IWSOC (2003)
Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria
Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs. ACM Great Lakes Symposium on VLSI (2003)
Jérôme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, François R. Boyer
SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS. FDL (2003)
Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid, Hong Shen
+1). IEEE Trans. Signal Process. 50 (7) (2002)
William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll
BDD minimization by scatter search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (8) (2002)
Luc Charest, Michel Reid, El Mostapha Aboulhamid, Guy Bois
A methodology for interfacing open source systemC with a third party software. DATE (2001)
Noureddine Chabini, El Mostapha Aboulhamid, Yvon Savaria
Determining Schedules for Reducing Power Consumption Using Multiple Supply Voltages. ICCD (2001)
François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Michel Boyer
Optimal design of synchronous circuits using software pipelining techniques. ACM Trans. Design Autom. Electr. Syst. 6 (4) (2001)
C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico
A test case generation approach for conformance testing of SDL systems. Comput. Commun. 24 (3-4) (2001)
C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli
Test cases selection from SDL specifications. Comput. Networks 35 (6) (2001)
François-Raymond Boyer, El Mostapha Aboulhamid, Yvon Savaria
An efficient verification method for a class of multi-phase sequential circuits. ICECS (2000)
Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar
Sequential and Distributed Simulations Using Java Threads. PARELEC (2000)
A. El-Aboudi, El Mostapha Aboulhamid
An algorithm for the verification of timing diagrams realizability. ISCAS (1) (1999)
C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
A test case generation tool for conformance testing of SDL systems. SDL Forum (1999)
Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid
A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II. Great Lakes Symposium on VLSI (1999)
Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir
Test development for communication protocols: towards automation. Comput. Networks 31 (17) (1999)
Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar
Multithreading-based Coverification Technique of HW/SW Systems. PDPTA (1999)
François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Imed Eddine Bennour
Optimal design of synchronous circuits using software pipelining techniques. ICCD (1998)
Abdelhalim El-Aboudi, El Mostapha Aboulhamid, Eduard Cerny
Synthesis of interface controllers from timing diagram specifications. CICC (1998)
C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico
A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. IWTCS (1998)
Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid
+1). Great Lakes Symposium on VLSI (1998)
Imed Eddine Bennour, El Mostapha Aboulhamid
Lower bounds on the iteration time and the initiation interval of functional pipelining and loop folding. Des. Autom. Embed. Syst. 1 (4) (1996)
Younès Karkouri, El Mostapha Aboulhamid, Eduard Cerny, Alain Verreault
Use of Fault Dropping for Multiple Fault Analysis. IEEE Trans. Computers 43 (1) (1994)
El Mostapha Aboulhamid, Younès Karkouri, Eduard Cerny
On the generation of test patterns for multiple faults. J. Electron. Test. 4 (3) (1993)
Mohamed Meknassi, El Mostapha Aboulhamid, Eduard Cerny
Algorithm for the graph-partitioning problem using a problem transformation method. Comput. Aided Des. 24 (7) (1992)
Alain Verreault, El Mostapha Aboulhamid, Younès Karkouri
Multiple Fault Analysis Using a Fault Dropping Technique. FTCS (1991)
Mohsine Eleuldj, El Mostapha Aboulhamid, Eduard Cerny
A class of fault-tolerant cellular permutation networks. ICCD (1988)
Eduard Cerny, El Mostapha Aboulhamid, Guy Bois, Jocelyn Cloutier
Built-in self-test of a CMOS ALU. IEEE Des. Test 5 (4) (1988)
El Mostapha Aboulhamid, Eduard Cerny
Built-In Testing of One-Dimensional Unilateral Iterative Arrays. IEEE Trans. Computers 33 (6) (1984)
El Mostapha Aboulhamid, Eduard Cerny
A Class of Test Generators for Built-In Testing. IEEE Trans. Computers 32 (10) (1983)