2026-07-11
cs.AR - Architecture
| 标题 | 作者 | 发布日期 | 摘要 | |
|---|---|---|---|---|
| K-ESBMC: An Executable Formal Semantics of IEC 61131-3 Ladder Diagram for Validating Verifier Translations | Pierre Dantas, Lucas Cordeiro, Waldir Junior | 2026-07-11 | 下载 | Automated verifiers for IEC 61131-3 ladder diagrams enhance safety by translating diagrams into model-checker inputs. Still, their unverified front-end translations risk silently returning incorrect r... |
| Dynamic Rowhammer Threshold Management:Temperature-Aware Threshold Degradation for In-DRAM Defenses | Aziz Alajmi, Hoeseok Yang | 2026-07-11 | 下载 | In-DRAM Rowhammer defenses pin the mitigation threshold at manufacture time, yet the true Rowhammer Threshold (TRHD) varies with runtime temperature. |
| When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification | Kun Wang, Cangyuan Li, Kaiyan Chang, Siyang Cai, Yinhe Han, Ying Wang | 2026-07-11 | 下载 | The growing complexity of modern chips poses significant challenges to hardware verification. In recent years, coverage-guided fuzzing has emerged as a promising approach for improving verification ef... |
| FlashAccel: Leveraging High-Bandwidth Flash for High-Throughput LLM Inference | Xinyu Wang, Yalong Xue, Xiaotian Sun, Xiaoyu Zhang, Chunmeng Dou, Xueqi Li, Xiaoming Chen | 2026-07-11 | 下载 | Large language model (LLM) inference is increasingly limited by the capacity of High-Bandwidth Memory (HBM) in GPUs, as model weights and KV cache grow rapidly. |
| Adaptive Model Compression (AMC): Saliency-Driven Resource Allocation for Ultra-Low-Power Transformer Inference | Jiayin Hu, Kai Yuan, Vanessa Hu, Xuetao Yin, Jianhua Li, Sean Suchter | 2026-07-11 | 下载 | Deploying large-scale transformer models on resource-constrained edge devices remains a challenge due to the high energy and memory overhead inherent in static inference, which processes simple and co... |
cs.DC - Distributed, Parallel, and Cluster Computing
| 标题 | 作者 | 发布日期 | 摘要 | |
|---|---|---|---|---|
| CloudMicroHaskell: Direct-Style Distributed Haskell via Runtime Graph Serialisation | Robert Krook, Lennart Augustsson | 2026-07-11 | 下载 | Cloud Haskell brings Erlang-style distributed programming to Haskell, but its treatment of mobile code exposes a difficult boundary in the source-level API. |
| Stateful Worlds, Stateless Elasticity: Exact-State Serving for Interactive World Models | Jin Li, Jiawei Chen | 2026-07-11 | 下载 | A persistent interactive world model keeps its running state resident on the GPU that serves it: a multi-gigabyte attention cache, almost all of it rewritten at every generation step. |
| Byzantine Accountability Without Consensus: Strong Eventual Consistency for Non-Associative, Stochastic, Robust Aggregation | Ryan Gillespie | 2026-07-11 | 下载 | Byzantine-robust aggregation rules such as multi-Krum assume a central coordinator, and decentralising them is obstructed by the rules themselves: they are globally coupled, non-associative, and disco... |
| Automated Tensor Scheduling for Hybrid CPU-GPU LLM Inference on Consumer Devices | Yangyijian Liu, Hongyi Ye, Mingyang Li, Wu-jun Li | 2026-07-11 | 下载 | Running large language models on consumer devices such as laptops and desktops is challenging because model weights often exceed GPU memory capacity, making offloading inference necessary to extend ef... |
| Consensus as Collapse Policy: Communication Evidence, Horizons, and Prefix Decisions | Tomislav Grospić | 2026-07-11 | 下载 | Consensus protocols are usually specified by their terminal artifact: a decided value, replicated log, or finalized prefix. This output-first view hides the communication-derived evidence that makes s... |
| Descriptive Execution of HPC Applications and Workflows | Vanessa Sochat, Daniel Milroy | 2026-07-11 | 下载 | The means to execute and orchestrate software components has changed from human-written code to descriptive prose. In high performance computing, this transition is represented in application orchestr... |
cs.NI - Networking and Internet Architecture
| 标题 | 作者 | 发布日期 | 摘要 | |
|---|---|---|---|---|
| Large Language Model Enhanced Differentiable Trajectory Planning for IoT-Enabled Autonomous Driving | Shihao Zhang, Jing Yang, Ziyu Song, Zheng Lin, Sunil Prajapat, Zhaochen Xia, Hemant Ghayvat, Haitao Ding, Lip Yee Por, Ashok Kumar Das | 2026-07-11 | 下载 | Autonomous driving planning is a key component of IoT-enabled intelligent transportation systems, requiring vehicles to generate safe, efficient, and executable trajectories in complex urban environme... |
| CSI-Assisted Edge SLAM Testbed Platform for 5G Connected Unmanned Autonomous Vehicles | Boris Radovanovic, Sasa Talosi, Srdjan Sobot, Dejan Vukobratovic | 2026-07-11 | 下载 | The evolution from 5G towards 6G reinforces interest in connected robotics, where mobile robots offload compute-intensive tasks to edge servers over ultra-reliable low-latency communication (URLLC) li... |
| Model-Driven Digital Twin Framework for Quantum Networks | Amal Elsokary, Hayato Ishida, Ran Wei, Michael J. de C. Henshaw, Siyuan Ji | 2026-07-11 | 下载 | Quantum networks are advancing towards larger and more operational infrastructures, yet their evaluation remains fragmented across heterogeneous physical platforms, simulators, protocols, and architec... |
| Federated Cybersecurity Testbed as a Service (FCTaaS): A framework to federate cybersecurity testbeds | Josh Dean, Yu-Zheng Lin, John Paul Martin Encinas, Ibrahim Almazyad, Qinxuan Shi, Zhanglong Yang, Shalaka Satam, Tingjun Lei, Jielun Zhang, Sicong Shao, Salim Hariri, Pratik Satam | 2026-07-11 | 下载 | Rapid technological change is reshaping society through emerging domains such as autonomous vehicles and smart manufacturing, creating new research challenges in system design, operation, security, an... |