Imagen de Portada

CoMPSeT: A Framework for Comparing Multiparty Session Types

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ribeiro, Telmo, Proença, José, Florido, Mário
Formato:	Preprint
Publicado:	2025
Materias:	Distributed, Parallel, and Cluster Computing
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Fault-Tolerant Multiparty Session Types with Global Escape Loops
por: Bartl, Lukas, et al.
Publicado: (2025)

Complete Multiparty Session Type Projection with Automata
por: Li, Elaine, et al.
Publicado: (2023)

Mixed Choice in Asynchronous Multiparty Session Types
por: Bocchi, Laura, et al.
Publicado: (2026)

Multiparty equality in the local broadcast model
por: Esperet, Louis, et al.
Publicado: (2025)

Implementing True MPI Sessions and Evaluating MPI Initialization Scalability
por: Zhou, Hui, et al.
Publicado: (2026)

LLM-CoOpt: A Co-Design and Optimization Framework for Efficient LLM Inference on Heterogeneous Platforms
por: Kong, Jie, et al.
Publicado: (2026)

Serverless Everywhere: A Comparative Analysis of WebAssembly Workflows Across Browser, Edge, and Cloud
por: Colosi, Mario, et al.
Publicado: (2025)

Fast and Interactive Byzantine Fault-tolerant Web Services via Session-Based Consensus Decoupling
por: Akmal, Ahmad Zaki, et al.
Publicado: (2025)

CoGenT: A Content-oriented Generative-hit Framework for Content Delivery Networks
por: Wang, Peng, et al.
Publicado: (2024)

POLAR-PIC: A Holistic Framework for Matrixized PIC with Co-Designed Compute, Layout, and Communication
por: Rao, Yizhuo, et al.
Publicado: (2026)

TACTFL: Temporal Contrastive Training for Multi-modal Federated Learning with Similarity-guided Model Aggregation
por: Sun, Guanxiong, et al.
Publicado: (2025)

Ensuring Data Privacy in AC Optimal Power Flow with a Distributed Co-Simulation Framework
por: Dai, Xinliang, et al.
Publicado: (2024)

A Survey of Computation Offloading with Task Types
por: Zhang, Siqi, et al.
Publicado: (2023)

Generalized Compare and Swap
por: Hadzilacos, Vassos, et al.
Publicado: (2024)

A HPC Co-Scheduler with Reinforcement Learning
por: Souza, Abel, et al.
Publicado: (2024)

CoCoI: Distributed Coded Inference System for Straggler Mitigation
por: Liu, Xing, et al.
Publicado: (2025)

A Comparative Analysis of Distributed Training Strategies for GPT-2
por: Patwardhan, Ishan, et al.
Publicado: (2024)

A common parallel framework for LLP combinatorial problems
por: Alves, David Ribeiro, et al.
Publicado: (2026)

Enhancing Type Safety in MPI with Rust: A Statically Verified Approach for RSMPI
por: Iqbal, Nafees, et al.
Publicado: (2025)

Approaches to Conflict-free Replicated Data Types
por: Almeida, Paulo Sérgio
Publicado: (2023)

TS-Verkle: A TypeScript Native Verkle Library With On-chain Verifier
por: Li, Zhikai, et al.
Publicado: (2026)

A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
por: Wei, Zhiyuan, et al.
Publicado: (2023)

DEVS/SOA: A Cross-Platform Framework for Net-centric Modeling and Simulation in DEVS Unified Process
por: Mittal, Saurabh, et al.
Publicado: (2024)

Wait-free Replicated Data Types and Fair Reconciliation
por: Kuznetsov, Petr, et al.
Publicado: (2025)

Kubernetes in the Cloud vs. Bare Metal: A Comparative Study of Network Costs
por: Redoli, Rodrigo Mompo, et al.
Publicado: (2025)

A Rollup Comparison Framework
por: Gorzny, Jan, et al.
Publicado: (2024)

The Consistency Correctness in CoPPar Tree
por: Yang, Xincheng, et al.
Publicado: (2026)

CoCoDiff: Optimizing Collective Communications for Distributed Diffusion Transformer Inference Under Ulysses Sequence Parallelism
por: Ma, Bin, et al.
Publicado: (2026)

Parallel Paradigms in Modern HPC: A Comparative Analysis of MPI, OpenMP, and CUDA
por: ALHafez, Nizar, et al.
Publicado: (2025)

Legal Challenges in Renewable Energy Development: A Comparative Study of China and Selected Countries
por: Baziar, Aliasghar, et al.
Publicado: (2024)

Comparative Study of Large Language Model Architectures on Frontier
por: Yin, Junqi, et al.
Publicado: (2024)

Towards Energy Efficient Co-Scheduling in HPC
por: Zheng, Zhong, et al.
Publicado: (2026)

Benchmarking Different Application Types across Heterogeneous Cloud Compute Services
por: Duggi, Nivedhitha, et al.
Publicado: (2025)

PISA: An Adversarial Approach To Comparing Task Graph Scheduling Algorithms
por: Coleman, Jared, et al.
Publicado: (2024)

Parameterized Task Graph Scheduling Algorithm for Comparing Algorithmic Components
por: Coleman, Jared, et al.
Publicado: (2024)

A Framework for Consistency Models in Distributed Systems
por: Almeida, Paulo Sérgio
Publicado: (2024)

A Comparative Review of Parallel Exact, Heuristic, Metaheuristic, and Hybrid Optimization Techniques for the Traveling Salesman Problem
por: Alkhalifa, Rabab, et al.
Publicado: (2025)

Cost-Performance Analysis: A Comparative Study of CPU-Based Serverless and GPU-Based Training Architectures
por: Barrak, Amine, et al.
Publicado: (2025)

SafarDB: FPGA-Accelerated Distributed Transactions via Replicated Data Types
por: Saberlatibari, Javad, et al.
Publicado: (2026)

Comparing Cross-Platform Performance via Node-to-Node Scaling Studies
por: Weiss, Kenneth, et al.
Publicado: (2025)