Projecten per jaar
Persoonlijk profiel
Opleiding / Academische kwalificatie
Computer systems, architectures, networks, Master, An Efficient Exploration Algorithm for Digital VLSI Systems and Its Implementation on CPU-GPU Heterogeneous Systems, Minia University
2013 → 2015
Datum van toekenning: 15 dec. 2015
Computer systems, architectures, networks, Bachelor, Parallel Programming, Minia University
2006 → 2011
Datum van toekenning: 1 jul. 2011
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Muhammad Osama Mahmoud actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Projecten
- 1 Afgelopen
-
GEARS: GPU Enabled Accelerated Reasoning about System designs
11/08/17 → 31/01/22
Project: Onderzoek direct
Onderzoeksoutput
-
A GPU Tree Database for Many-Core Explicit State Space Exploration
Wijs, A. & Osama, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (redactie). blz. 684-703 20 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access -
Certified SAT solving with GPU accelerated inprocessing
Osama, M., Wijs, A. & Biere, A., 2023, (Geaccepteerd/In druk) In: Formal Methods in System Design. XX, XOnderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access -
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data.
Wijs, A. & Osama, M., 2023, Model Checking Software - 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (redactie). blz. 188-197 10 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13872 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Innermost many-sorted term rewriting on GPUs
van Eerd, J., Groote, J. F., Hijma, P., Martens, J., Osama, M. & Wijs, A., jan. 2023, In: Science of Computer Programming. 225, 19 blz., 102910.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand2 Citaten (Scopus)23 Downloads (Pure) -
GPU Enabled Automated Reasoning
Mahmoud, M. O., 10 mrt. 2022, Eindhoven: Eindhoven University of Technology. 175 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand406 Downloads (Pure)
Datasets
-
ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing
Mahmoud, M. O. (Ontwerper), Zenodo, 26 jul. 2021
Dataset
-
Experiments of Multiple Decision Making in CDCL SAT Solvers
Mahmoud, M. O. (Ontwerper) & Wijs, A. J. (Ontwerper), Zenodo, 23 jun. 2021
Dataset
-
Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing
Mahmoud, M. O. (Ontwerper), Zenodo, 26 jul. 2021
Dataset