El Mostapha Aboulhamid

87 papers A 8B 1C 14Misc 2Journal 28Unranked 31

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