See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Reasoning about correctness of transactional memory with operational semantics

Saar, Andri; Uustalu, Tarmo (2010). Reasoning about correctness of transactional memory with operational semantics. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27.novembril 2010, Essu Mõis. Tallinn: Tallinna Tehnikaülikool, 145−148.
publitseeritud konverentsiettekanne
Saar, Andri; Uustalu, Tarmo
  • Inglise
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27.novembril 2010, Essu Mõis
Tallinn
Tallinna Tehnikaülikool
978-9949-23-044-0
2010
145148
Ilmunud
3.5. Artiklid/ettekanded, mis on avaldatud kohalikes konverentsikogumikes

Viited terviktekstile