Distributed, Parallel, and Cluster Computing · Computer Science
Extending the Message Passing Interface (MPI) with User-Level Schedules
Derek Schafer, Sheikh Ghafoor, Daniel Holmes, Martin Ruefenacht +1
2019-09-27
Distributed, Parallel, and Cluster Computing · Computer Science
A Remote Procedure Call Approach for Extreme-scale Services
Jerome Soumagne, Philip H. Carns, Dries Kimpe, Quincey Koziol +1
2015-10-09
Distributed, Parallel, and Cluster Computing · Computer Science
UCX Programming Interface for Remote Function Injection and Invocation
Luis E. Peña, Wenbin Lu, Pavel Shamis, Steve Poole
2022-06-02
Instrumentation and Methods for Astrophysics · Physics
SAMP, the Simple Application Messaging Protocol: Letting applications talk to each other
M. B. Taylor, T. Boch, J. Taylor
2015-01-07
Programming Languages · Computer Science
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi +2
2023-05-16
Computation and Language · Computer Science
Adapters: A Unified Library for Parameter-Efficient and Modular Transfer Learning
Clifton Poth, Hannah Sterz, Indraneil Paul, Sukannya Purkayastha +6
2023-11-21
Networking and Internet Architecture · Computer Science
Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design
C. Jasson Casey, Andrew Sutton, Gabriel Dos Reis, Alex Sprintson
2013-11-15
Distributed, Parallel, and Cluster Computing · Computer Science
Implementing Efficient Message Logging Protocols as MPI Application Extensions
Kiril Dichev, Dimitrios S. Nikolopoulos
2019-05-09
Cryptography and Security · Computer Science
Towards a Flexible Intra-Trustcenter Management Protocol
V. Karatsiolis, M. Lippert, A. Wiesmaier, A. Pitaev +2
2009-09-29
Programming Languages · Computer Science
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Tobias Reiher, Alexander Senier, Jeronimo Castrillon, Thorsten Strufe
2019-10-08
Distributed, Parallel, and Cluster Computing · Computer Science
Binding of Endpoints to Identifiers by On-Chain Proofs
Diego Pennino, Maurizio Pizzonia, Andrea Vitaletti, Marco Zecchini
2021-10-06
Cryptography and Security · Computer Science
Designing Robust API Monitoring Solutions
Daniele Cono D'Elia, Simone Nicchi, Matteo Mariani, Matteo Marini +1
2024-10-30
Computation and Language · Computer Science
Prompto: An open source library for asynchronous querying of LLM endpoints
Ryan Sze-Yin Chan, Federico Nanni, Angus R. Williams, Edwin Brown +6
2024-12-17
Programming Languages · Computer Science
Multiparty Session Programming with Global Protocol Combinators
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
2020-05-26
Programming Languages · Computer Science
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
2021-05-25
Cryptography and Security · Computer Science
Integrating Remote Attestation with Transport Layer Security
Thomas Knauth, Michael Steiner, Somnath Chakrabarti, Li Lei +2
2019-07-29