KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Jannesari, Ali; Koprowski, Nico; Schimmel, Jochen 1; Wolf, Felix; Tichy, Walter F. ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1109/ICPADS.2013.14
Scopus
Zitationen: 2
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2013
Sprache Englisch
Identifikator 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
Seiten 1-9
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page