Filtered by: Design × Clear all

CODA: Algorithm-Hardware Co-design for Edge Video Diffusion via NMP-Enabled Compute-Cache Operator Disaggregation

Yuanpeng Zhang, YuXuan Wu, Yitong Xiao, Chenhao Xue 2026-07-18
Inference Transformer Hardware Design × Cache

The problem is that deploying Video Diffusion Models on edge devices is too slow for practical local inference due to iterative Transformer-based denoising. The method, CODA, uses algorithm-hardware co-design to disaggregate compute and cache operators via a DIMM-side near-memory engine, reorganizing cache activity into coalesced segments and overlapping compute with cache execution. Experimental evidence shows CODA achieves up to 1.80x end-to-end speedup and 1.74x higher energy efficiency while preserving generation quality. This matters because it enables practical, privacy-preserving video generation on memory-constrained edge GPUs by overcoming the communication and serialization bottlenecks of Cross-Timestep Caching.

PDF

NIFA: Nonlinear IMC enhanced FPGA for efficient ML inference

Jiajun Hu, Ruthwik Reddy Sunketa, Lei Zhao, Archit Gajjar 2026-07-18
Design × Space Exploration Agentic Architecture Inference

The problem is that conventional ReRAM-based analog in-memory computing (IMC) blocks in FPGAs only support static-weight vector-matrix multiplication, limiting efficiency gains for Transformer models that require frequent nonlinear and dynamic matrix-matrix multiplication (DIMM) operations, while the ADCs within each IMC block consume over 70% of its area and power. The method proposes a novel FPGA architecture integrating an ADC-free IMC block that replaces ADCs with analog content-addressable memories (ACAMs) to natively perform nonlinear operations, along with FPGA-aware design-space exploration and efficient mapping to enable DIMM operations for attention computation. Experimental evidence shows that on CNN and Transformer-based benchmarks, the architecture achieves up to 40x and 1.9x higher energy efficiency and 4.1x and 2.5x higher area efficiency, respectively. This matters because it significantly improves FPGA deep learning inference efficiency, particularly for Transformer-based workloads across long input sequences, advancing domain-specialized FPGA design.

PDF

StreamingQEC: Streaming Quantum Error Correction in Tightly Integrated Quantum-Classical Systems via Certified Recurrence

Panayiotis Christou, Shuwen Kan, Hao Wang, Ying Mao 2026-07-18
Design × Space Exploration Quant Ph Agentic Architecture

StreamingQEC addresses the problem of modeling resource contention in tightly integrated quantum-classical systems during fault-tolerant quantum error correction (QEC). The method introduces a system-level simulator with explicit discrete-event simulation, an automatic staged-fluid mode for faster exploration, and a certified recurrence mechanism that compresses repeated transitions. Experimental evidence shows recurrence achieves a 24.0x host-side speedup while preserving 59,743,936 decoding events for a 16-job anchor workload, and the staged-fluid mode yields a mean makespan error of 2.60%. This matters because it enables system architects to evaluate QEC pipeline resource contention and scaling, revealing transfer-limited resource matching and decoder-driven pipeline stalls under microsecond-scale cycles.

PDF

A Fast Quantitative Analyzer for NetKAT

Thomas Lu, Qiancheng Fu, Kevin Batz, Oliver Bøving 2026-07-18
Network Design × Data Search

The problem is that network engineers need to reason about quantitative trade-offs like bandwidth, latency, and resilience, which existing tools do not support. The method introduces a fast analyzer using weighted NetKAT (wNetKAT) and a symbolic data structure called weighted symbolic packet programs (wSPPs) to compactly represent and compute quantitative network policies. Experimental evidence shows the Rust implementation is competitive with KATch on Boolean reachability and orders of magnitude faster than McNetKAT and Storm on probabilistic analyses, with a case study on Fat-tree and Jellyfish topologies demonstrating multi-objective design-time analysis. This matters because it provides a practical, parametric framework for fast quantitative reasoning about network properties, enabling engineers to explore design trade-offs at scale.

PDF

Hybrid multi-objective evolutionary algorithms for service placement in the computing continuum: a comparative study with genetic traceability

Sergi Vivo, Carlos Guerrero, Isaac Lera 2026-07-18
Design × Search Distributed Architecture

This paper addresses the multi-objective service placement problem in computing continuum environments by proposing a collaborative hybrid island-model MOEA. The method systematically applies heterogeneous hybridization across two experimental campaigns, co-evolving state-of-the-art MOEAs like NSGA-II, NSGA-III, and SMS-EMOA with periodic solution exchange. Across 30 independent runs, the hybrid method outperforms most standalone baselines, with statistical tests confirming significant improvements and traceability analysis revealing non-uniform contributions among islands. This matters because it demonstrates that hybrid cooperation yields scalable, interpretable performance gains for distributed edge-fog-cloud architectures, enabling more efficient service placement in the computing continuum.

PDF

Ground-Side Mission Plan Compilation with Policy-as-Code Guardrails for Cloud-Native Satellite Platforms

Hsiu-Chi Tsai, Chia-Tung Chung 2026-07-18
Runtime Architecture Compiler Design × GPU Scheduling Accelerator AI

The problem is that cloud-native satellite runtimes lack an open-source ground-side toolchain to compile mission plans into executable artifacts. The method introduces Satellite Mission Compiler, a four-stage pipeline that parses plans against a Pydantic schema, evaluates them with OPA/Rego policy-as-code guardrails, compiles into a WorkflowIntent IR, and renders Argo Workflow DAGs and Kueue Job manifests with DRA support. Experimental evidence includes golden translation evaluations, argo lint, in-process OPA decision reproduction, and live single-node cluster submission with DRA-backed GPU admission on Kueue v0.17.3 and v0.18.3, plus a unified GPU+CPU quota with scheduler-level accelerator fallback. This matters because it provides the first open-source, defense-in-depth validated pipeline for pre-uplink mission plan compilation, bridging the gap between human-authored plans and cloud-native satellite runtimes.

PDF