Relaxed Memory Models and Data-Race Detection tailored for Shared-Memory Message-Passing Systems

Autor:	Fava, Daniel S.
Databáze:	NORA (Norwegian Open Research Archive)
Externí odkaz:	http://hdl.handle.net/10852/86381 https://www.duo.uio.no/bitstream/handle/10852/86381/1/dfava_phd_thesis.pdf Zobrazit plný text záznamu