🔄 CRDT - shanesveller · Scour

Communication Requirements for Linearizable Registers 📋Lightweight Formal Methods

arxiv.org·21h

Batch Verification of Modified ECDSA Signatures ✍️Threshold Signatures

eprint.iacr.org·3d

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL 🌐Distributed Consensus

arxiv.org·1d

Analyzing Persistent Alltoallv RMA Implementations for High-Performance MPI Communication 🌐Distributed Consensus

arxiv.org·21h

D\'ej\`aVu: A Minimalistic Mechanism for Distributed Plurality Consensus 🌐Distributed Consensus

arxiv.org·1d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 🔌LSP

arxiv.org·21h

DWDP: Distributed Weight Data Parallelism for High-Performance LLM Inference on NVL72 🔌LSP

arxiv.org·5d

CIDER: Boosting Memory-Disaggregated Key-Value Stores with Pessimistic Synchronization 🗄️Database Internals

arxiv.org·2d

Sparse Autoencoders as a Steering Basis for Phase Synchronization in Graph-Based CFD Surrogates ⏱️Timely Dataflow

arxiv.org·21h

Improving MPI Error Detection and Repair with Large Language Models and Bug References 🔌LSP

arxiv.org·2d

A Unified Performance-Cost Landscape of Parallel p-bit Ising Machines Based on Update Dynamics ⏱️Timely Dataflow

arxiv.org·5d

Economic Security of VDF-Based Randomness Beacons: Models, Thresholds, and Design Guidelines 🔐Post-Quantum Crypto

arxiv.org·1d

A unified framework for synchronization optimization in directed multiplex networks 🤝Consensus Algorithms

arxiv.org·5d

Robust Beamforming Design for Coherent Distributed ISAC with Statistical RCS and Phase Synchronization Uncertainty 🌐Distributed Consensus

arxiv.org·1d

MPI-Q: A Message Communication Library for Large-Scale Classical-Quantum Heterogeneous Hybrid Distributed Computing 🔐Post-Quantum Crypto

arxiv.org·6d

SentiAvatar: Towards Expressive and Interactive Digital Humans ⏱️Timely Dataflow

arxiv.org·2d

MMTalker: Multiresolution 3D Talking Head Synthesis with Multimodal Feature Fusion 🎬DaVinci Resolve

arxiv.org·2d

Reclaiming Idle CPU Cycles on Kubernetes: Sparse-Domain Multiplexing for Concurrent MPI-CFD Simulations ⏱️Timely Dataflow

arxiv.org·6d

Realistic Lip Motion Generation Based on 3D Dynamic Viseme and Coarticulation Modeling for Human-Robot Interaction 📡media over QUIC

arxiv.org·5d

As Far as Eye See: Vergence-Pupil Coupling in Near-Far Depth Switching 🖥️WGSL

arxiv.org·5d

Loading more...