2025-01-02

cs.AR - Architecture

标题	作者	发布日期	PDF	摘要
Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification	Tobias Strauch	2025-01-02	下载	We demonstrate how dynamic verification (e.g. simulation) can be replaced by deductive formal verification and how to benefit from the advantages of symbolic verification and the reuse of verification...
TreeLUT: An Efficient Alternative to Deep Neural Networks for Inference Acceleration Using Gradient Boosted Decision Trees	Alireza Khataei, Kia Bazargan	2025-01-02	下载	Accelerating machine learning inference has been an active research area in recent years. In this context, field-programmable gate arrays (FPGAs) have demonstrated compelling performance by providing ...
Adaptive Hybrid FFT: A Novel Pipeline and Memory-Based Architecture for Radix-$2^k$ FFT in Large Size Processing	Fangyu Zhao, Chunhua Xiao, Zhiguo Wang, Xiaohua Du, Bo Dong	2025-01-02	下载	In the field of digital signal processing, the fast Fourier transform (FFT) is a fundamental algorithm, with its processors being implemented using either the pipelined architecture, well-known for hi...
Integrated AHB to APB Bridge Using Raspberry Pi and Artix-7 FPGA	Gopi Chand Ananthu, Riadul Islam	2025-01-02	下载	This project focuses on the design and implementation of an AHB to APB Bridge for efficient communication in System-on-Chip (SoC) architectures.

cs.DC - Distributed, Parallel, and Cluster Computing

标题	作者	发布日期	PDF	摘要
LEISA: A Scalable Microservice-based System for Efficient Livestock Data Sharing	Mahir Habib, Muhammad Ashad Kabir, Lihong Zheng	2025-01-02	下载	In the livestock sector, the fragmented data landscape across isolated systems presents a significant challenge, necessitating interoperability and integration.
Optimising Virtual Resource Mapping in Multi-Level NUMA Disaggregated Systems	Ewnetu Bayuh Lakew, Petter Svärd, Erik Elmroth, Johan Tordsson	2025-01-02	下载	Disaggregated systems have a novel architecture motivated by the requirements of resource intensive applications such as social networking, search, and in-memory databases.
Computational Grids	Ian Foster, Carl Kesselman	2025-01-02	下载	In this introductory chapter, we lay the groundwork for the rest of the book by providing a more detailed picture of the expected purpose, shape, and architecture of future grid systems.
LEO-Split: A Semi-Supervised Split Learning Framework over LEO Satellite Networks	Zheng Lin, Yuxin Zhang, Zhe Chen, Zihan Fang, Cong Wu, Xianhao Chen, Yue Gao, Jun Luo	2025-01-02	下载	Recently, the increasing deployment of LEO satellite systems has enabled various space analytics (e.g., crop and climate monitoring), which heavily relies on the advancements in deep learning (DL).
NET-SA: An Efficient Secure Aggregation Architecture Based on In-Network Computing	Qingqing Ren, Wen Wang, Shuyong Zhu, Zhiyuan Wu, Yujun Zhang	2025-01-02	下载	Privacy-preserving machine learning (PPML) enables clients to collaboratively train deep learning models without sharing private datasets, but faces privacy leakage risks due to gradient leakage attac...
Communication-and-Computation Efficient Split Federated Learning: Gradient Aggregation and Resource Management	Yipeng Liang, Qimei Chen, Guangxu Zhu, Muhammad Kaleem Awan, Hao Jiang	2025-01-02	下载	With the prevalence of Large Learning Models (LLM), Split Federated Learning (SFL), which divides a learning model into server-side and client-side models, has emerged as an appealing technology to de...
Fides: Secure and Scalable Asynchronous DAG Consensus via Trusted Components	Shaokang Xie, Dakai Kang, Hanzheng Lyu, Jianyu Niu, Mohammad Sadoghi	2025-01-02	下载	DAG-based BFT consensus has attracted growing interest in distributed data management systems for consistent replication in untrusted settings due to its high throughput and resilience to asynchrony.
Deep Reinforcement Learning for Job Scheduling and Resource Management in Cloud Computing: An Algorithm-Level Review	Yan Gu, Zhaoze Liu, Shuhong Dai, Cong Liu, Ying Wang, Shen Wang, Georgios Theodoropoulos, Long Cheng	2025-01-02	下载	Cloud computing has revolutionized the provisioning of computing resources, offering scalable, flexible, and on-demand services to meet the diverse requirements of modern applications.
FlashInfer: Efficient and Customizable Attention Engine for LLM Inference Serving	Zihao Ye, Lequn Chen, Ruihang Lai, Wuwei Lin, Yineng Zhang, Stephanie Wang, Tianqi Chen, Baris Kasikci, Vinod Grover, Arvind Krishnamurthy, Luis Ceze	2025-01-02	下载	Transformers, driven by attention mechanisms, form the foundation of large language models (LLMs). As these models scale up, efficient GPU attention kernels become essential for high-throughput and lo...

cs.NI - Networking and Internet Architecture

标题	作者	发布日期	PDF	摘要
Securing Wi-Fi 6 Connection Establishment Against Relay and Spoofing Threats	Naureen Hoque, Hanif Rahbari	2025-01-02	下载	Wireless local area networks remain vulnerable to attacks initiated during the connection establishment (CE) phase. Current Wi-Fi security protocols fail to fully mitigate attacks like man-in-the-midd...
A Proof of Concept Resource Management Scheme for Augmented Reality Applications in 5G Systems	Panagiotis Nikolaidis, Samie Mostafavi, James Gross, John Baras	2025-01-02	下载	Augmented reality applications are bitrate intensive, delay-sensitive, and computationally demanding. To support them, mobile edge computing systems need to carefully manage both their networking and ...
LEO-Split: A Semi-Supervised Split Learning Framework over LEO Satellite Networks	Zheng Lin, Yuxin Zhang, Zhe Chen, Zihan Fang, Cong Wu, Xianhao Chen, Yue Gao, Jun Luo	2025-01-02	下载	Recently, the increasing deployment of LEO satellite systems has enabled various space analytics (e.g., crop and climate monitoring), which heavily relies on the advancements in deep learning (DL).
Energy-and Spectral-Efficiency Trade-off in Distributed Massive-MIMO Networks	Mohd Saif Ali Khan, Karthik RM, Samar Agnihotri	2025-01-02	下载	This paper investigates the energy efficiency (EE) and spectral efficiency (SE) trade-off in uplink distributed massive multiple-input multiple-output (D-mMIMO) systems.
A Survey and Tutorial of Redundancy Mitigation for Vehicular Cooperative Perception: Standards, Strategies and Open Issues	Tengfei Lyu, Md Noor-A-Rahim, Dirk Pesch, Aisling O'Driscoll	2025-01-02	下载	This paper provides an in-depth review and discussion of the state of the art in redundancy mitigation for the vehicular Collective Perception Service (CPS).
NET-SA: An Efficient Secure Aggregation Architecture Based on In-Network Computing	Qingqing Ren, Wen Wang, Shuyong Zhu, Zhiyuan Wu, Yujun Zhang	2025-01-02	下载	Privacy-preserving machine learning (PPML) enables clients to collaboratively train deep learning models without sharing private datasets, but faces privacy leakage risks due to gradient leakage attac...
Automated monitoring of bee colony movement in the hive during winter season	Rostyslav Koroliuk, Vyacheslav Nykytyuk, Vitaliy Tymoshchuk, Veronika Soyka, Dmytro Tymoshchuk	2025-01-02	下载	In this study, we have experimentally modelled the movement of a bee colony in a hive during the winter season and developed a monitoring system that allows tracking the movement of the bee colony and...
Embodied AI-Enhanced Vehicular Networks: An Integrated Large Language Models and Reinforcement Learning Method	Ruichen Zhang, Changyuan Zhao, Hongyang Du, Dusit Niyato, Jiacheng Wang, Suttinee Sawadsitang, Xuemin Shen, Dong In Kim	2025-01-02	下载	This paper investigates adaptive transmission strategies in embodied AI-enhanced vehicular networks by integrating large language models (LLMs) for semantic information extraction and deep reinforceme...
Energy-Efficient and Intelligent ISAC in V2X Networks with Spiking Neural Networks-Driven DRL	Chen Shang, Jiadong Yu, Dinh Thai Hoang	2025-01-02	下载	Integrated sensing and communication (ISAC) is emerging as a key enabler for vehicle-to-everything (V2X) systems. However, designing efficient beamforming schemes for ISAC signals to achieve accurate ...
RealTime Health Monitoring Using 5G Networks: A Deep Learning-Based Architecture for Remote Patient Care	Iqra Batool	2025-01-02	下载	Remote patient monitoring is crucial in modern healthcare, but current systems struggle with real-time analysis and prediction of vital signs.

cs.OS - Operating Systems

标题	作者	发布日期	PDF	摘要
Analysis of Security in OS-Level Virtualization	Krishna Sai Ketha, Guanqun Song, Ting Zhu	2025-01-02	下载	Virtualization is a technique that allows multiple instances typically running different guest operating systems on top of single physical hardware.
Exploiting Application-to-Architecture Dependencies for Designing Scalable OS	Yao Xiao, Nikos Kanakaris, Anzhe Cheng, Chenzhong Yin, Nesreen K. Ahmed, Shahin Nazarian, Andrei Irimia, Paul Bogdan	2025-01-02	下载	With the advent of hundreds of cores on a chip to accelerate applications, the operating system (OS) needs to exploit the existing parallelism provided by the underlying hardware resources to determin...

cs.PF - Performance

标题	作者	发布日期	PDF	摘要
Bridging Simplicity and Sophistication using GLinear: A Novel Architecture for Enhanced Time Series Prediction	Syed Tahir Hussain Rizvi, Neel Kanwal, Muddasar Naeem	2025-01-02	下载	Time Series Forecasting (TSF) is an important application across many fields. There is a debate about whether Transformers, despite being good at understanding long sequences, struggle with preserving...
A Quantum Genetic Algorithm Framework for the MaxCut Problem	Paulo A. Viana, Fernando M. de Paula Neto	2025-01-02	下载	The MaxCut problem is a fundamental problem in Combinatorial Optimization, with significant implications across diverse domains such as logistics, network design, and statistical physics.
HPC Application Parameter Autotuning on Edge Devices: A Bandit Learning Approach	Abrar Hossain, Abdel-Hameed A. Badawy, Mohammad A. Islam, Tapasya Patki, Kishwar Ahmed	2025-01-02	下载	The growing necessity for enhanced processing capabilities in edge devices with limited resources has led us to develop effective methods for improving high-performance computing (HPC) applications.