⚡ Concurrency - DiToast · Scour

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software 🤝Protocol Design

arxiv.org·2d

Scheduling Coflows in Multi-Core OCS Networks with Performance Guarantee 🕸️Graph Theory

arxiv.org·6h

Inverse Safety Filtering: Inferring Constraints from Safety Filters for Decentralized Coordination 🎯Constraint Programming

arxiv.org·3d

On the Capacity of Sequences of Coloring Channels 📊Information Theory

arxiv.org·6h

Determinacy with Priorities up to Clocks 🔢Mathematical Logic

arxiv.org·1d

Dynamic Attentional Context Scoping: Agent-Triggered Focus Sessions for Isolated Per-Agent Steering in Multi-Agent LLM Orchestration 🎲Probabilistic Programming

arxiv.org·6h

Open-Loop Planning, Closed-Loop Verification: Speculative Verification for VLA ⚙Functional Programming

arxiv.org·4d

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications 🤝Protocol Design

arxiv.org·1d

Hard-constrained Physics-informed Neural Networks for Interface Problems 🎲Probabilistic Programming

arxiv.org·6h

Streaming Chain 🤝Protocol Design

arxiv.org·2d

Blink: CPU-Free LLM Inference by Delegating the Serving Stack to GPU and SmartNIC 🎲Probabilistic Programming

arxiv.org·6h

Posterior Matching over Binary-Input Memoryless Symmetric Channels: Non-Asymptotic Bounds and Low-Complexity Encoding 📊Information Theory

arxiv.org·3d

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor 🔍Static Analysis

arxiv.org·2d

Competitive Transaction Admission in PCNs: Online Knapsack with Positive and Negative Items 📐Algorithms

arxiv.org·6h

GTaP: A GPU-Resident Fork-Join Task-Parallel Runtime with a Pragma-Based Interface 🏗Computer Architecture

arxiv.org·2d

3D-Stacked NMP, LLM Decoding, Systolic Array Microarchitecture, Multi-Core Scheduling 🏗Computer Architecture

arxiv.org·3d

SepSeq: A Training-Free Framework for Long Numerical Sequence Processing in LLMs 🎲Probabilistic Programming

arxiv.org·6h

Foundry: Template-Based CUDA Graph Context Materialization for Fast LLM Serving Cold Start 🏗Computer Architecture

arxiv.org·1d

Modeling and Analysis for Joint Design of Communication and Control 🤝Protocol Design

arxiv.org·6h

Communication Requirements for Linearizable Registers 🤝Protocol Design

arxiv.org·2d

Loading more...