A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ambal, Guillaume, Hodgkins, George, Madler, Mark, Chockler, Gregory, Dongol, Brijesh, Izraelevitz, Joseph, Raad, Azalea, Vafeiadis, Viktor
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages Distributed, Parallel, and Cluster Computing Logic in Computer Science Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2510.10531