#distributed systems
5 papers match
A Taxonomy of Performance Metrics for the Distributed Computing Continuum
Praveen Kumar Donta, Boris Sedlak, Alfreds Lapkovskis +6
The paper proposes a structured taxonomy of performance metrics for distributed computing continuum systems, categorizing metrics across computing, network, and application levels…
Quantum Nonlocality under Latency Constraints
Dawei Ding, Zhengfeng Ji, Pierre Pocreau +2
The paper extends Bell inequality theory by explicitly incorporating spacetime latency constraints, introducing latency‑constrained games to compare classical and quantum correlati…
Mech: Mechanised Choreographic Programming
Xueying Qin, Marco Peressotti, Fabrizio Montesi
The paper introduces Mech, a Lean 4 mechanisation of choreographic programming that supports general branching, recursion, and nondeterministic choice, and proves soundness and com…
Proceedings of HLPP 2026: 19th International Symposium on High-Level Parallel Programming and Applications
Chong Li, Corinne Ancourt, Gaétan Hains
The volume compiles ten peer‑reviewed papers from the HLPP 2026 symposium, covering high‑level approaches to parallel programming—including models, languages, libraries, compilers,…
Domain Extension of Lock-Freedom and Wait-Freedom for Group Computations
Raaghav Ravishankar, Sandeep Kulkarni, Sathya Peri +3
The paper extends the concepts of lock-freedom and wait-freedom from single-threaded tasks to group computations, defining gl-freedom and gw-freedom for collaborative multi-threade…