English
Related papers

Related papers: AnTi-MiCS: Analytical Framework for Bounding Time …

200 papers

The ADAPT-VQE algorithm is a promising method for generating a compact ansatz based on derivatives of the underlying cost function, and it yields accurate predictions of electronic energies for molecules. In this work we report the…

KTA (KTH's timing analyzer) is a research tool for performing timing analysis of program code. The currently available toolchain can perform two different kinds of analyses: i) exhaustive fine-grained timing analysis, where timing…

Software Engineering · Computer Science 2017-12-15 David Broman

In Mobile Edge Computing (MEC), Internet of Things (IoT) devices offload computationally-intensive tasks to edge nodes, where they are executed within containers, reducing the reliance on centralized cloud infrastructure. Frequent upgrades…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-25 Hanshuai Cui , Zhiqing Tang , Jiong Lou , Weijia Jia

The design of mixed-criticality systems often involvespainful tradeoffs between safety guarantees and performance.However, the use of more detailed architectural modelsin the design and analysis of scheduling arrangements for…

Operating Systems · Computer Science 2017-05-01 Muhammad Ali Awan , Konstantinos Bletsas , Pedro F. Souto , Benny Akesson , Eduardo Tovar

With the development of 5G technology, mobile edge computing (MEC) is becoming a useful architecture, which is envisioned as a cloud computing extension version. Users within MEC system could deal with data processing at edge terminals,…

Networking and Internet Architecture · Computer Science 2022-05-10 Hangfan Li , Xiaoxiong Zhong , Xinghan Wang , Yun Ji , Sheng Zhang

Mobile edge computing (MEC) provides low-latency offloading solutions for computationally intensive tasks, effectively improving the computing efficiency and battery life of mobile devices. However, for data-intensive tasks or scenarios…

Networking and Internet Architecture · Computer Science 2026-02-13 Xuyang Chen , Daquan Feng , Wei Jiang , Qu Luo , Gaojie Chen , Yao Sun

In mobile edge computing (MEC) systems, the wireless channel condition is a critical factor affecting both the communication power consumption and computation rate of the offloading tasks. This paper exploits the idea of cooperative…

Information Theory · Computer Science 2024-03-25 Zhenrong Liu , Zongze Li , Yi Gong , Yik-Chung Wu

Trapped-ion computing is a leading architecture in the pursuit of scalable and high fidelity quantum systems. Modular quantum architectures based on photonic interconnects offer a promising path for scaling trapped ion devices. In this…

Quantum Physics · Physics 2025-10-01 Xian Wu , Chenghong Zhu , Jingbo Wang , Xin Wang

A critical approach for efficiently deploying Mixture-of-Experts (MoE) models with massive parameters is quantization. However, state-of-the-art MoE models suffer from non-negligible accuracy loss with extreme quantization, such as under 4…

Machine Learning · Computer Science 2025-04-08 Beichen Huang , Yueming Yuan , Zelei Shao , Minjia Zhang

In this paper, we consider cell-free communication systems with several access points (APs) serving terrestrial users (UEs) simultaneously. To enhance the uplink multi-user multiple-input multiple-output communications, we adopt a…

Information Theory · Computer Science 2024-12-05 Xuesong Pan , Zhong Zheng , Xueqing Huang , Zesong Fei

We present a framework to analyse the latency budget in wireless systems with Mobile Edge Computing (MEC). Our focus is on teleoperation and telerobotics, as use cases that are representative of mission-critical uplink-intensive IoT systems…

Systems and Control · Electrical Eng. & Systems 2022-01-28 Suraj Suman , Cedomir Stefanovic , Strahinja Došen , Petar Popovski

This paper addresses join wireless and computing resource allocation in mobile edge computing (MEC) systems with several access points and with the possibility that users connect to many access points, and utilize the computation capability…

Information Theory · Computer Science 2021-11-29 M. Zeng

Parallel Byzantine Fault Tolerant (BFT) protocols based on committee-based sharding improve scalability but weaken safety since smaller node groups are responsible for consensus. Recent approaches integrate trusted execution environments…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-03-17 Yifei Xie , Btissam Er-Rahmadi , Xiao Chen , Tiejun Ma , Jane Hillston

Modern Mixed-Criticality Systems (MCSs) rely on hardware heterogeneity to satisfy ever-increasing computational demands. However, most of the heterogeneous co-processors are designed to achieve high throughput, with their…

Hardware Architecture · Computer Science 2024-09-24 Jiapeng Guan , Ran Wei , Dean You , Yingquan Wang , Ruizhe Yang , Hui Wang , Zhe Jiang

The proliferation of cloud data center applications and network function virtualization (NFV) boosts dynamic and QoS dependent traffic into the data centers network. Currently, lots of network routing protocols are requirement agnostic,…

Model predictive control (MPC) has emerged as an effective strategy for water distribution systems (WDSs) management. However, it is hampered by the computational burden for large-scale WDSs due to the combinatorial growth of possible…

Systems and Control · Electrical Eng. & Systems 2024-06-11 Saskia Putri , Faegheh Moazeni , Javad Khazaei

Transport and security protocols are essential to ensure reliable and secure communication between two parties. For IoT applications, these protocols must be lightweight, since IoT devices are usually resource constrained. Unfortunately,…

Networking and Internet Architecture · Computer Science 2019-01-07 Puneet Kumar , Behnam Dezfouli

Reducing energy consumption is a pressing issue in low-power machine-type communication (MTC) networks. In this regard, the Wake-up Signal (WuS) technology, which aims to minimize the energy consumed by the radio interface of the…

Quantum error correction (QEC) is crucial for ensuring the reliability of quantum computers. However, implementing QEC often requires a significant number of qubits, leading to substantial overhead. One of the major challenges in quantum…

Quantum Physics · Physics 2024-11-26 Avimita Chatterjee , Archisman Ghosh , Swaroop Ghosh

In large scale dynamic wireless networks, the amount of overhead caused by channel estimation (CE) is becoming one of the main performance bottlenecks. This is due to the large number users whose channels should be estimated, the user…

Information Theory · Computer Science 2022-04-19 Mohanad Obeed , Yasser Al-Eryani , Anas Chaaban