Zobrazeno 1 - 10
of 32 773
pro vyhledávání: '"Parallel programs"'
Autor:
Stølen, Ketil
A syntax-directed formal system for the development of totally correct programs with respect to an unfair shared-state parallel while-language is proposed. The system can be understood as a compositional reformulation of the Owicki/Gries method for v
Externí odkaz:
http://arxiv.org/abs/2404.16624
Autor:
Cankur, Onur, Tomar, Aditya, Nichols, Daniel, Scully-Allison, Connor, Isaacs, Katherine E., Bhatele, Abhinav
Developing efficient parallel applications is critical to advancing scientific development but requires significant performance analysis and optimization. Performance analysis tools help developers manage the increasing complexity and scale of perfor
Externí odkaz:
http://arxiv.org/abs/2401.13150
Publikováno v:
ISC High Performance 2024 Research Paper Proceedings (39th International Conference), Hamburg, Germany, 2024, pp. 1-12
Parallel programs in high performance computing (HPC) continue to grow in complexity and scale in the exascale era. The diversity in hardware and parallel programming models make developing, optimizing, and maintaining parallel software even more bur
Externí odkaz:
http://arxiv.org/abs/2306.17281
Modeling sequential and parallel composition of effectful computations has been investigated in a variety of languages for a long time. In particular, the popular do-notation provides a lightweight effect embedding for any instance of a monad. Idiom
Externí odkaz:
http://arxiv.org/abs/2305.08496
Autor:
VASCONCELOS, VASCO T.1 vmvasconcelos@ciencias.ulisboa.pt, MARTINS, FRANCISCO2 fmartins@acm.org, LÓPEZ, HUGO-ANDRÉS3 lopez@di.ku.dk, YOSHIDA, NOBUKO4 n.yoshida@imperial.ac.uk
Publikováno v:
ACM Transactions on Programming Languages & Systems. Dec2022, Vol. 44 Issue 4, p1-55. 55p.
Publikováno v:
IEEE Access, Vol 12, Pp 23666-23694 (2024)
Heterogeneous nodes composed of a multicore CPU and accelerators are today’s norm in high-performance computing (HPC) platforms due to their superior performance and energy efficiency. Tools such as OpenCL and hybrid combinations such as OpenMP plu
Externí odkaz:
https://doaj.org/article/d400d83054e8430ab3c92061e789c819
Autor:
Bagley, Micaela B., Finkelstein, Steven L., Rojas-Ruiz, Sofía, Diekmann, James, Finkelstein, Keely D., Song, Mimi, Papovich, Casey, Somerville, Rachel S., Baronchelli, Ivano, Dai, Y. Sophia
The abundance of bright galaxies at z>8 can provide key constraints on models of galaxy formation and evolution, as the predicted abundance varies greatly when different physical prescriptions for gas cooling and star formation are implemented. We pr
Externí odkaz:
http://arxiv.org/abs/2205.12980
The performance of highly parallel applications on distributed-memory systems is influenced by many factors. Analytic performance modeling techniques aim to provide insight into performance limitations and are often the starting point of optimization
Externí odkaz:
http://arxiv.org/abs/2205.04190