El Mostapha Aboulhamid

According to our database, El Mostapha Aboulhamid authored at least 84 papers between 1983 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

On the Fog-Cloud Cooperation: How Fog Computing can address latency concerns of IoT applications.

Amir Karamoozian, Abdelhakim Hafid, El Mostapha Aboulhamid

Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019

2015

A Transaction-Based Environment for System Modeling and Parallel Simulation.

Amine Anane, El Mostapha Aboulhamid

Int. J. Parallel Program., 2015

2013

Exploring limits of parallelism in FPGA-based Boolean satisfiability.

Teodor Ivan, El Mostapha Aboulhamid

Proceedings of the 2nd Mediterranean Conference on Embedded Computing, 2013

An Efficient Hardware Implementation of a SAT Problem Solver on FPGA.

Teodor Ivan, El Mostapha Aboulhamid

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Integrating Memory Optimization with Mapping Algorithms for Multi-Processors System-on-Chip.

Bruno Girodias, Luiza Gheorghe Iugan, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin

ACM Trans. Embed. Comput. Syst., 2012

System modeling and multicore simulation using transactions.

Amine Anane, El Mostapha Aboulhamid, Yvon Savaria

Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

2011

Multi-granularity thermal evaluation of 3D MPSoC architectures.

Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid, Ian O'Connor

Proceedings of the Design, Automation and Test in Europe, 2011

A linear-time approach for the transient thermal simulation of liquid-cooled 3d ics.

Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu, El Mostapha Aboulhamid

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010

Guest Editorial.

Geoffrey Brown, El Mostapha Aboulhamid

J. Signal Process. Syst., 2010

Combining memory optimization with mapping of multimedia applications for multi-processors system-on-chip.

Bruno Girodias, Luiza Gheorghe, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Michel Langevin, Pierre G. Paulin

Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

Timing verification of cyclic systems based on temporal constraint analysis.

Ahmed Azzabi, El Mostapha Aboulhamid, Gabriela Nicolescu

Proceedings of the 17th IEEE International Conference on Electronics, 2010

2009

Multiprocessor, Multithreading and Memory Optimization for On-Chip Multimedia Applications.

Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur

J. Signal Process. Syst., 2009

Introspection mechanisms for runtime verification in a system-level design environment.

Michel Metzger, Amine Anane, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Microelectron. J., 2009

Co-simulation based platform for wireless protocols design explorations.

Alain Fourmigue, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Automation of Communication Refinement and Hardware Synthesis within a System-Level Design Methodology.

Laurent Moss, Marc-André Cantin, Guy Bois, El Mostapha Aboulhamid

Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

Modeling and simulation of complex heterogeneous systems.

Amine Anane, El Mostapha Aboulhamid, Julie Vachon, Yvon Savaria

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

2007

Buffer and Register Allocation for Memory Space Optimization.

Youcef Bouchebaba, Bruno Girodias, Fabien Coelho, Gabriela Nicolescu, El Mostapha Aboulhamid

J. VLSI Signal Process., 2007

MPSoC memory optimization using program transformation.

Youcef Bouchebaba, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid, Bruno Lavigueur, Pierre G. Paulin

ACM Trans. Design Autom. Electr. Syst., 2007

Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design.

Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid

Microelectron. J., 2007

A high-level requirements engineering methodology for electronic system-level design.

N. Gorse, P. Bélanger, Alexandre Chureau, El Mostapha Aboulhamid, Yvon Savaria

Comput. Electr. Eng., 2007

Communication Structure Refinement using Temporal Constraints Analysis.

Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois

Proceedings of the 14th IEEE International Conference on Electronics, 2007

Acceleration for Heterogeneous Systems Cosimulation.

Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau

Proceedings of the 14th IEEE International Conference on Electronics, 2007

General and Technical Program Chairs' Message.

Driss Bouami, El Mostapha Aboulhamid, Mohsine Eleuldj, Mark Zwolinski

Proceedings of the 14th IEEE International Conference on Electronics, 2007

Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support.

Laurent Moss, Maxime de Nanclas, Luc Filion, Sebastien Fontaine, Guy Bois, El Mostapha Aboulhamid

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

A new efficient EDA tool design methodology.

James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu

ACM Trans. Embed. Comput. Syst., 2006

A SystemC Refinement Methodology for Embedded Software.

Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid

IEEE Des. Test Comput., 2006

Introspection Mechanisms for Semi-Formal Verification in a System-Level Design Environment.

Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Application-Level Memory Optimization for MPSoC.

Bruno Girodias, Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Pierre G. Paulin, Bruno Lavigueur

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

Acceleration for a compiled Transaction Level Modeling simulation.

Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau

Proceedings of the 13th IEEE International Conference on Electronics, 2006

A Verification Tool Implementation using Introspection Mechanism.

Michel Metzger, Frédéric Bastien, Frédéric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Proceedings of the Forum on specification and Design Languages, 2006

A Platform for Refinement of OS Services for Embedded Systems.

Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu

Proceedings of the Third IEEE International Workshop on Electronic Design, 2006

Transaction Level Modeling in Hardware/Software System Design using .Net Framework.

Alena Tsikhanovich, Frédéric Rousseau, El Mostapha Aboulhamid, Guy Bois

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Buffer and register allocation for memory space optimization.

Youcef Bouchebaba, Gabriela Nicolescu, El Mostapha Aboulhamid, Fabien Coelho

Proceedings of the 2006 IEEE International Conference on Application-Specific Systems, 2006

Towards an Efficient Simulation of Multi-Language Descriptions of Heterogeneous Systems.

Mathieu Dubois, El Mostapha Aboulhamid, Frédéric Rousseau

Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems 2006, 2006

Finite State Machine IP Watermarking: A Tutorial.

Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid

Proceedings of the First NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2006), 2006

2005

Scheduling and optimal register placement for synchronous circuits derived using software pipelining techniques.

Noureddine Chabini, El Mostapha Aboulhamid, Ismaïl Chabini, Yvon Savaria

ACM Trans. Design Autom. Electr. Syst., 2005

Leveraging Model Representations for System Level Design Tools.

James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design.

Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

A Methodology for Hw/Sw Specification and Simulation at Multiple Levels of Abstraction.

Alena Tsikhanovich, El Mostapha Aboulhamid, Guy Bois

Proceedings of the 5th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), 2005

FPGA implementation of a CDMA source coding and modulation subsystem for a multiband fluorometer with pattern recognition capabilities.

Mounir Boukadoum, Karima Tabari, Abdelhak Bensaoula, David Starikov, El Mostapha Aboulhamid

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Techniques to improve cosimulation and interoperability of heterogeneous models.

Mathieu Dubois, El Mostapha Aboulhamid

Proceedings of the 12th IEEE International Conference on Electronics, 2005

The Role of Model-Level Transactors and UML in Functional Prototyping of Systems-on-Chip: A Software-Radio Application.

Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid

Proceedings of the 2005 Design, 2005

A Public-Key Watermarking Technique for IP Designs.

Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid

Proceedings of the 2005 Design, 2005

2004

Segmented channel routability via satisfiability.

William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Andrew A. Kennings, Alan J. Coppola

ACM Trans. Design Autom. Electr. Syst., 2004

A Survey on IP Watermarking Techniques.

Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid

Des. Autom. Embed. Syst., 2004

A policy-based approach for user controlled lightpath provisioning.

T. Dieu Linh Truong, Omar Cherkaoui, Halima Elbiaze, Nathalie Rico, El Mostapha Aboulhamid

Proceedings of the Managing Next Generation Convergence Networks and Services, 2004

ESys.Net: a new solution for embedded systems modeling and simulation.

James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois

Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

Interface-based Design of Systems-on-Chip using UML-RT.

Alexandre Chureau, Yvon Savaria, El Mostapha Aboulhamid

Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'04), 2004

Using Design Patterns for Type Unification and Introspection in SystemC.

Luc Charest, El Mostapha Aboulhamid, Guy Bois

Proceedings of the 4th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'04), 2004

A System Level Exploration Platform and Methodology for Network Applications Based on Configurable Processors.

D. Quinn, Bruno Lavigueur, Guy Bois, El Mostapha Aboulhamid

Proceedings of the 2004 Design, 2004

.NET Framework - A Solution for the Next Generation Tools for System-Level Modeling and Simulation.

James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois

Proceedings of the 2004 Design, 2004

2003

Methods for minimizing dynamic power consumption in synchronous designs with multiple supply voltages.

Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Automating Functional Coverage Analysis Based on an Executable Specification.

S. Regimbal, Jean-Francois Lemire, Yvon Savaria, Guy Bois, El Mostapha Aboulhamid, A. Baron

Proceedings of the 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 30 June, 2003

IP Watermarking Techniques: Survey and Comparison.

Amr T. Abdel-Hamid, Sofiène Tahar, El Mostapha Aboulhamid

Proceedings of the 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC'03), 30 June, 2003

Unification of basic retiming and supply voltage scaling to minimize dynamic power consumption for synchronous digital designs.

Noureddine Chabini, Ismaïl Chabini, El Mostapha Aboulhamid, Yvon Savaria

Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, 2003

SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS.

Jérôme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, François R. Boyer

Proceedings of the Forum on specification and Design Languages, 2003

Applying Multi-Paradigm and Design Pattern Approaches to Hardware/Software Design and Reuse.

Luc Charest, El Mostapha Aboulhamid, Guy Bois

Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002

Adder based residue to binary number converters for (2ⁿ-1, 2ⁿ, 2ⁿ+1).

Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid, Hong Shen

IEEE Trans. Signal Process., 2002

BDD minimization by scatter search.

William N. N. Hung, Xiaoyu Song, El Mostapha Aboulhamid, Michael A. Driscoll

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2002

2001

Optimal design of synchronous circuits using software pipelining techniques.

François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Michel Boyer

ACM Trans. Design Autom. Electr. Syst., 2001

A test case generation approach for conformance testing of SDL systems.

C. Bourhfir, El Mostapha Aboulhamid, Rachida Dssouli, Nathalie Rico

Comput. Commun., 2001

Test cases selection from SDL specifications.

C. Bourhfir, El Mostapha Aboulhamid, Ferhat Khendek, Rachida Dssouli

Comput. Networks, 2001

Determining Schedules for Reducing Power Consumption Using Multiple Supply Voltages.

Noureddine Chabini, El Mostapha Aboulhamid, Yvon Savaria

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

A methodology for interfacing open source systemC with a third party software.

Luc Charest, Michel Reid, El Mostapha Aboulhamid, Guy Bois

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

Sequential and Distributed Simulations Using Java Threads.

Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar

Proceedings of the 2000 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2000), 2000

An efficient verification method for a class of multi-phase sequential circuits.

François-Raymond Boyer, El Mostapha Aboulhamid, Yvon Savaria

Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000

1999

Test development for communication protocols: towards automation.

Rachida Dssouli, Kassem Saleh, El Mostapha Aboulhamid, Abdeslam En-Nouaary, C. Bourhfir

Comput. Networks, 1999

A test case generation tool for conformance testing of SDL systems.

C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico

Proceedings of the SDL '99 The Next Millennium, 1999

Multithreading-based Coverification Technique of HW/SW Systems.

Mostafa Azizi, El Mostapha Aboulhamid, Sofiène Tahar

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

An algorithm for the verification of timing diagrams realizability.

Abdelhalim El-Aboudi, El Mostapha Aboulhamid

Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II.

Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid

Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

1998

A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols.

C. Bourhfir, Rachida Dssouli, El Mostapha Aboulhamid, Nathalie Rico

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Optimal design of synchronous circuits using software pipelining techniques.

François R. Boyer, El Mostapha Aboulhamid, Yvon Savaria, Imed Eddine Bennour

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

Residue to Binary Number Converters for (2ⁿ-1, 2ⁿ, 2ⁿ+1).

Yuke Wang, Xiaoyu Song, El Mostapha Aboulhamid

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

Synthesis of interface controllers from timing diagram specifications.

Abdelhalim El-Aboudi, El Mostapha Aboulhamid, Eduard Cerny

Proceedings of the IEEE 1998 Custom Integrated Circuits Conference, 1998

1996

Lower bounds on the iteration time and the initiation interval of functional pipelining and loop folding.

Imed Eddine Bennour, El Mostapha Aboulhamid

Des. Autom. Embed. Syst., 1996

1994

Use of Fault Dropping for Multiple Fault Analysis.

Younès Karkouri, El Mostapha Aboulhamid, Eduard Cerny, Alain Verreault

IEEE Trans. Computers, 1994

1993

On the generation of test patterns for multiple faults.

El Mostapha Aboulhamid, Younès Karkouri, Eduard Cerny

J. Electron. Test., 1993

1992

Algorithm for the graph-partitioning problem using a problem transformation method.

Mohamed Meknassi, El Mostapha Aboulhamid, Eduard Cerny

Comput. Aided Des., 1992

1991

Multiple Fault Analysis Using a Fault Dropping Technique.

Alain Verreault, El Mostapha Aboulhamid, Younès Karkouri

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1988

Built-in self-test of a CMOS ALU.

Eduard Cerny, El Mostapha Aboulhamid, Guy Bois, Jocelyn Cloutier

IEEE Des. Test, 1988

A class of fault-tolerant cellular permutation networks.

Mohsine Eleuldj, El Mostapha Aboulhamid, Eduard Cerny

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988

1984

Built-In Testing of One-Dimensional Unilateral Iterative Arrays.

El Mostapha Aboulhamid, Eduard Cerny

IEEE Trans. Computers, 1984

1983

A Class of Test Generators for Built-In Testing.

El Mostapha Aboulhamid, Eduard Cerny

IEEE Trans. Computers, 1983