Treffer 1 - 4 von 4 für Suche 'Chehab, Rafael', Suchdauer: 0,29s Treffer weiter einschränken
  1. 1
    Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models

    Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models von Paolillo, Antonio, Ponce-de-León, Hernán, Haas, Thomas, Behrens, Diogo, Chehab, Rafael, Fu, Ming, Meyer, Roland

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)

    VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report) von Oberhauser, Jonas, Chehab, Rafael Lourenco de Lima, Behrens, Diogo, Fu, Ming, Paolillo, Antonio, Oberhauser, Lilith, Bhat, Koustubha, Wen, Yuzhong, Chen, Haibo, Kim, Jaeho, Vafeiadis, Viktor

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models

    Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models von Paolillo, Antonio, Ponce-de-León, Hernán, Haas, Thomas, Behrens, Diogo, Chehab, Rafael, Fu, Ming, Meyer, Roland

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)

    VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report) von Oberhauser, Jonas, Rafael Lourenco de Lima Chehab, Behrens, Diogo, Fu, Ming, Paolillo, Antonio, Oberhauser, Lilith, Bhat, Koustubha, Wen, Yuzhong, Chen, Haibo, Kim, Jaeho, Vafeiadis, Viktor

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: