<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Tahar, Sofiene"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : C | S | Z
Nombre de documents: 5

C

Cheikh, T. L. B., Aguiar, A., Tahar, S., & Nicolescu, G. (2015). Tuning framework for stencil computation in heterogeneous parallel platforms. Journal of Supercomputing, 72(2), 468-502. Lien externe

S

Soualhia, M., Khomh, F., & Tahar, S. (2017). Task Scheduling in Big Data Platforms: A Systematic Literature Review. Journal of Systems and Software, 134(Supplement), 170-189. Lien externe

Soualhia, M., Khomh, F., & Tahar, S. (2015). ATLAS: a failure-aware scheduler for Hadoop. (Rapport technique). Lien externe

Z

Zaki, M. H., Denman, W., Tahar, S., & Bois, G. (2009). Integrating abstraction techniques for formal verification of analog designs. Journal of Aerospace Computing, Information and Communication, 6(5), 373-392. Lien externe

Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (novembre 2007). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Communication écrite]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). Lien externe

Liste produite: Sat Dec 6 03:59:53 2025 EST.