Finn forfatter "Valle, Stian"
-
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian (Research report / Forskningsrapport, 2017)In this paper, we formalize an operational semantics of a weak memory model similar to the one in Go, concentrating on buffered writes, i.e., ignoring the possibility of buffered reads.
-
Fava, Daniel Schnetzer; Stolz, Volker; Valle, Stian (Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2017)A memory model dictates which values may be returned when reading from memory. In a parallel computing setting, the memory model affects how processes communicate through shared memory. The design of a proper memory model ...
-
Valle, Stian (Master thesis / Masteroppgave, 2016)