𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal verification of programs in the functional data-flow parallel language

✍ Scribed by Kropacheva, M. S.; Legalov, A. I.

Book ID
121557738
Publisher
Allerton Press Inc
Year
2013
Tongue
English
Weight
270 KB
Volume
47
Category
Article
ISSN
0146-4116

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the Utility of Communication–Computat
On the Utility of Communication–Computation Overlap in Data-Parallel Programs
✍ Michael J. Quinn; Philip J. Hatcher πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 260 KB

However, the speedup achieved through parallelism is often lower in modern systems. It is no surprise, then, that developers of compilers for data-parallel languages have hypothesized the importance of optimizations that overlap communications with computations in order to reduce execution times and