Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Ebnenasir, Ali"'
Autor:
Ebnenasir, Ali, Young, Kieran
This paper presents a novel approach for minimizing the number of teleportations in Distributed Quantum Computing (DQC) using formal methods. Quantum teleportation plays a major role in communicating quantum information. As such, it is desirable to p
Externí odkaz:
http://arxiv.org/abs/2404.15980
Autor:
Ebnenasir, Ali
This paper presents an algorithmic method that, given a positive integer $j$, generates the $j$-th convergence stair containing all natural numbers from where the Collatz conjecture holds by exactly $j$ applications of the Collatz function. To this e
Externí odkaz:
http://arxiv.org/abs/2403.04777
This paper presents an algorithm, called BCM-Broadcast, for the implementation of causal broadcast in distributed mobile systems in the presence of Byzantine failures. The BCM-Broadcast algorithm simultaneously focuses on three critical challenges in
Externí odkaz:
http://arxiv.org/abs/2401.16956
Autor:
Fazli, Ebrahim, Ebnenasir, Ali
This paper presents a novel scalable GPU-based method for Test Paths (TPs) and Prime Paths (PPs) Generation, called TPGen, used in structural testing and in test data generation. TPGen outperforms existing methods for PPs and TPs generation in severa
Externí odkaz:
http://arxiv.org/abs/2210.16998
Publikováno v:
journal = {Evolutionary Computation}, volume = {30}, number = {2}, year = {2022}
This paper presents a novel method, called Modular Grammatical Evolution (MGE), towards validating the hypothesis that restricting the solution space of NeuroEvolution to modular and simple neural networks enables the efficient generation of smaller
Externí odkaz:
http://arxiv.org/abs/2208.02787
Autor:
Ebnenasir, Ali
This paper investigates the verification and synthesis of parameterized protocols that satisfy leadsto properties $R \leadsto Q$ on symmetric unidirectional rings (a.k.a. uni-rings) of deterministic and constant-space processes under no fairness and
Externí odkaz:
http://arxiv.org/abs/1905.09726
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Theoretical Computer Science 22 July 2013 496:50-68
Autor:
Ebnenasir, Ali
Publikováno v:
In Information and Software Technology February 2013 55(2):201-214