Mahmoud Elbayoumi

According to our database, Mahmoud Elbayoumi authored at least 11 papers between 2013 and 2023.

Collaborative distances:

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

2023

Efficient UAV-Aided Data Acquisition Based on Transit Search Optimization Algorithm.

Samah Mohamed, Rania M. Tawfik, Mahmoud Elbayoumi, M. Saeed Darweesh

Proceedings of the 5th Novel Intelligent and Leading Emerging Sciences Conference, 2023

2022

An Efficient DMO Task Scheduling Technique for Wearable Biomedical Devices.

Samah Mohamed, Mahmoud Elbayoumi, Retaj Yousri, Ahmed Soltan, M. Saeed Darweesh

Proceedings of the International Conference on Microelectronics, 2022

2021

A Novel Power-Aware Task Scheduling for Energy Harvesting-Based Wearable Biomedical Devices Using FPA.

Retaj Yousri, Mahmoud Elbayoumi, Ahmed Moawad, M. Saeed Darweesh, Ahmed Soltan

Proceedings of the International Conference on Microelectronics, 2021

2020

A Real-Time Optimization of Reactive Power for An Intelligent System Using Genetic Algorithm.

Suzan Abdelhady, Ahmed Osama, Ahmed Shaban, Mahmoud Elbayoumi

IEEE Access, 2020

2019

Efficient solution of Otsu multilevel image thresholding: A comparative study.

Mohamed H. Merzban, Mahmoud Elbayoumi

Expert Syst. Appl., 2019

2015

Strategies for Performance and Quality Improvement of Hardware Verification and Synthesis Algorithms.

Mahmoud Elbayoumi

PhD thesis, 2015

Novel SAT-based invariant-directed low-power synthesis.

Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa ElNainay

Proceedings of the Sixteenth International Symposium on Quality Electronic Design, 2015

2014

TACUE: A Timing-Aware Cuts Enumeration Algorithm for Parallel Synthesis.

Mahmoud Elbayoumi, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Michael S. Hsiao, Mustafa Y. ElNainay

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking.

Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Set-cover-based critical implications selection to improvesat-based bounded model checking: extended abstract.

Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay

Proceedings of the Great Lakes Symposium on VLSI 2013 (part of ECRC), 2013

A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms.

Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay

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