Eintrag weiter verarbeiten
Velodrome : a sound and complete dynamic atomicity checker for multithreaded programs: a sound and complete dynamic atomicity checker for multithreaded programs
Gespeichert in:
Zeitschriftentitel: | ACM SIGPLAN Notices |
---|---|
Personen und Körperschaften: | , , |
In: | ACM SIGPLAN Notices, 43, 2008, 6, S. 293-303 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |