Abstract: We present a technique for introducing and op-timizing the use of memory in a functional array language, aimed at GPU execution, that supports correct-by-construction parallelism. Using ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback