Showing 1 - 3 results of 3 for search 'Khaled El-Fakih', query time: 0.02s Refine Results
  1. 1
    Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power

    Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power by Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko

    Published 2014-08-01
    Get full text
    Article
  2. 2
    Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters

    Virtualizing and Scheduling FPGA Resources in Cloud Computing Datacenters by Abid Farhan, Raafat Aburukba, Assim Sagahyroon, Mohammed Elnawawy, Khaled El-Fakih

    Published 2022-01-01
    Get full text
    Article
  3. 3
    Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage

    Testing Timed Nondeterministic Finite State Machines with the Guaranteed Fault Coverage by Aleksandr S. Tvardovskii, Khaled El-Fakih, Maksim L. Gromov, Nina V. Yevtushenko

    Published 2017-08-01
    Get full text
    Article

Search Tools: