Haku
Viitteet 1-2 / 2
Scheduling dynamic dataflow graphs with model checking
(Turku Centre for Computer Science (TUCS), 2014-08-15)
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 ...
The lattice Boltzmann method, a petaflop and beyond
(Turku Centre for Computer Science (TUCS), 2018-04-20)
With computer simulations real world phenomena can be analyzed in great detail. Computational fluid dynamics, for example, allows simulation of fluid flow phenomena that might not otherwise be observable or researchers ...