Ismail Assayad

26 papers A 1B 2C 5Journal 6Unranked 12
YearRankTypeTitle / Venue / Authors
2021 — conf
Data-Based Automatic Covid-19 Rumors Detection in Social Networks.
NISS (Springer)
Bolaji Bamiro, Ismail Assayad
2021 — conf
Data-based automatic Covid-19 rumors detection in social networks.
NISS (ACM)
Bolaji Bamiro, Ismail Assayad
2021 — conf
Survey on improving the performance of MapReduce in Hadoop.
NISS (ACM)
Nour-Eddine Bakni, Ismail Assayad
2020 J jnl
DHPV: a distributed algorithm for large-scale graph partitioning.
J. Big Data
Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Abdeltif El byed, Ismail Assayad
2018 — conf
A platform for systematic verification of embedded components in IP-XACT, SystemC and Promela.
ICSDE
Lamia Eljadiri, Ismail Assayad
2018 — conf
Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions.
ICSDE
Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari
2017 — conf
Adaptive Mapping for Multiple Applications on Parallel Architectures.
UNet
Ismail Assayad, Alain Girault
2017 C conf
Systematic verification of embedded components with re-usable properties.
WINCOM
Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari
2017 — conf
Verification of SystemC Components Using the Method of Deduction.
UNet
Elbouanani Soumia, Ismail Assayad, Mohamed Sadik
2016 C conf
The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.
AICCSA
Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal
2015 — conf
Multilevel MPSoC Performance Evaluation, ISS Model with Timing and Priority Management.
UNet
Abdelhakim Alali, Ismail Assayad, Mohamed Sadik
2014 J jnl
Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2.
CoRR
Abdelhakim Alali, Ismail Assayad, Mohamed Sadik
2013 J jnl
Tradeoff exploration between reliability, power consumption, and execution time for embedded systems - The TSH tricriteria scheduling heuristic.
Int. J. Softw. Tools Technol. Transf.
Ismail Assayad, Alain Girault, Hamoudi Kalla
2011 B conf
Tradeoff Exploration between Reliability, Power Consumption, and Execution Time.
SAFECOMP
Ismail Assayad, Alain Girault, Hamoudi Kalla
2010 J jnl
A scheduler synthesis methodology for joint SW/HW design exploration of SoC.
Des. Autom. Embed. Syst.
Ismail Assayad, Sergio Yovine
2009 J jnl
A platform-based design framework for joint SW/HW multiprocessor systems design.
J. Syst. Archit.
Ismail Assayad
2009 J jnl
Ordonnancement de tâches hiérarchiques interdépendantes sous des exigences temporelles et objectif d'efficacité.
ARIMA J.
Ismail Assayad
2008 B conf
Joint SW/HW Modelling and Design Exploration Using P-Ware.
COMPSAC
Ismail Assayad
2007 — conf
Modelling and Exploration Environment for Application Specific Multiprocessor Systems.
HASE
Ismail Assayad, Sergio Yovine
2007 C conf
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications.
DSD
Ismail Assayad, Sergio Yovine
2007 — conf
Performance analysis of embedded multiprocessor industrial applications: methodology and tools.
ICECS
Ismail Assayad, Sergio Yovine
2006 C conf
System-Platform Simulation Model Applied to Performance Analysis of Multiprocessor Video Encoding.
IES
Ismail Assayad, Sergio Yovine
2005 — conf
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations.
IICS
Ismail Assayad, Sergio Yovine
2005 C conf
Jahuel: A Formal Framework for Software Synthesis.
ICFEM
Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine
2005 — conf
Modelling, Analysis and Parallel Implementation of an On-line Video Encoder.
DFMA
Ismail Assayad, Philippe Gerner, Sergio Yovine, Valérie Bertin
2004 A conf
A Bi-Criteria Scheduling Heuristic for Distributed Embedded Systems under Reliability and Real-Time Constraints.
DSN
Ismail Assayad, Alain Girault, Hamoudi Kalla