Search

Subject data race detectors -- parallel programming -- semantics -- wait‐/lock‐free data structures

1. Enabling semantics to improve detection of data races and misuses of lock‐free data structures. (23rd April 2017)

Authors:
Dolz, Manuel F.; Del Rio Astorga, David; Fernández, Javier; Torquati, Massimo; García, José Daniel; García‐Carballeira, Félix; Danelutto, Marco
Other Names:
Lengauer Christian guestEditor.; Bougé Luc guestEditor.; Trystram Denis guestEditor.; Balaji Pavan guestEditor.; Leung Kai‐Cheung guestEditor.
Journal:
Concurrency and computation
Issue:
Volume 29:Number 15(2017)
Page Start:
n/a
Record Type:
Journal Article
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • data race detectors -- parallel programming -- semantics -- wait‐/lock‐free data structures 1