Treffer 1 - 4 von 4 für Suche 'Mustafa Al Lail', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    Taming the frame problem: an automated approach for robust UML class diagram specification and verification

    Taming the frame problem: an automated approach for robust UML class diagram specification and verification von Rosales Viesca, Antonio, Al Lail, Mustafa


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model

    Specification, Validation, and Enforcement of a Generalized Spatio-Temporal Role-Based Access Control Model von Abdunabi, Ramadan, Al-Lail, Mustafa, Ray, Indrakshi, France, Robert B.

    Veröffentlicht in IEEE systems journal

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation

    Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation von Valero-Lara, Pedro, Huante, Alexis, Lail, Mustafa Al, Godoy, William F, Teranishi, Keita, Balaprakash, Prasanna, Vetter, Jeffrey S

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation

    Comparing Llama-2 and GPT-3 LLMs for HPC kernels generation von Valero-Lara, Pedro, Huante, Alexis, Mustafa Al Lail, Godoy, William F, Teranishi, Keita, Balaprakash, Prasanna, Vetter, Jeffrey S

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: