Skip to content
View khaled-e-a's full-sized avatar

Organizations

@Huawei-TTE

Block or report khaled-e-a

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. resess/Slicer4J resess/Slicer4J Public

    Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.

    Java 50 18

  2. resess/Mandoline resess/Mandoline Public

    Mandoline is an accurate, low-overhead dynamic slicer for Android applicaions.

    Java 11 3

  3. Huawei-TTE/MCeT Huawei-TTE/MCeT Public

    Behavioral Model Correctness Evaluation using Large Language Models

    Python

  4. resess/ViaLin resess/ViaLin Public

    Java 5 1

  5. Hardware-Software-SHA-3-HLS Hardware-Software-SHA-3-HLS Public

    HLS SHA-3 Accelerator

    C 9

  6. acdma-crossbar acdma-crossbar Public

    System-Verilog implementation of the ACDMA crossbar

    SystemVerilog 1