Deadlock-free asynchronous message reordering in rust with multiparty session types

Z Cutner, N Yoshida, M Vassor - Proceedings of the 27th ACM SIGPLAN …, 2022 - dl.acm.org
Rust is a modern systems language focused on performance and reliability. Complementing
Rust's promise to provide" fearless concurrency", developers frequently exploit …

Enclave tasking for DG methods on dynamically adaptive meshes

DE Charrier, B Hazelwood, T Weinzierl - SIAM Journal on Scientific Computing, 2020 - SIAM
High-order discontinuous Galerkin (DG) methods promise to be an excellent discretization
paradigm for hyperbolic differential equation solvers running on supercomputers, since they …

The Ultraluminous X-ray sources population of the galaxy NGC 7456

F Pintore, M Marelli, R Salvaterra… - The Astrophysical …, 2020 - iopscience.iop.org
Ultraluminous X-ray sources (ULXs) are a class of accreting compact objects with X-ray
luminosities above 10 39 erg s− 1. The ULX population counts several hundred objects but …

Collaborative Filtering Recommendation Using Nonnegative Matrix Factorization in GPU‐Accelerated Spark Platform

B Tang, L Kang, L Zhang, F Guo… - Scientific Programming, 2021 - Wiley Online Library
Nonnegative matrix factorization (NMF) has been introduced as an efficient way to reduce
the complexity of data compression and its capability of extracting highly interpretable parts …

MPI Progress For All

H Zhou, R Latham, K Raffenetti, Y Guo… - arXiv preprint arXiv …, 2024 - arxiv.org
The progression of communication in the Message Passing Interface (MPI) is not well
defined, yet it is critical for application performance, particularly in achieving effective …

Recouvrement des Collectives MPI Non-bloquantes sur Processeur Manycore

H Taboada - 2018 - hal.science
Les supercalculateurs utilisés dans le HPC sont constitués de plusieurs machines inter-
connectées. Généralement, elles sont programmées à l'aide de MPI qui spécifie une …

[PDF][PDF] Distributed memory parallelization of CubeLib library using MPI

A Mitić - 2024 - juser.fz-juelich.de
In the contemporary landscape of scientific and computational research, the pursuit of
computational power has driven the adoption of supercomputers and parallel programming …

[图书][B] Exploring Interprocess Techniques for High-Performance MPI Communication

K Ouyang - 2022 - search.proquest.com
In exascale computing era, applications are executed at larger scale than ever before, which
results in higher requirement of scalability for communication library design. Message …

Contribution to High Performance Computing and Big Data Infrastructure Convergence

M Mercier - 2019 - hal.science
The amount of data produced, either in the scientific community and the commercial world, is
constantly growing. The field of Big Data has emerged to handle a large amount of data on …

[PDF][PDF] L'UNIVERSITÉ DE BORDEAUX

H Taboada, MPI Recouvrement des Collectives - hal.science
Supercomputers used in HPC are composed of severals interconnected machines. Usually,
they are programmed using MPI which specify an API for messages exchanges between …