KIT | KIT-Bibliothek | Impressum

Detecting correlation violations and data races by inferring non-deterministic reads

Jannesari, Ali; Koprowski, Nico; Schimmel, Jochen; Wolf, Felix; Tichy, Walter F.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator DOI: 10.1109/ICPADS.2013.14
ISBN: 978-1-4799-2081-5
KITopen ID: 1000059697
Erschienen in 2013 19th IEEE International Conference on Parallel and Distributed Systems ICPADS 2013. 15-18 December 2013 Seoul, Korea.
Verlag IEEE Computer Society, Los Almitos (CA)
Seiten 1-9
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page