Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet
-
Scheduling dynamic dataflow graphs with model checking
Ersfolk, Johan
TUCS Dissertations : 181 (Turku Centre for Computer Science (TUCS), 15.08.2014)With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel ...