English
Related papers

Related papers: Menes: Towards a Generic, Fully-Automated Test and…

200 papers

Next-generation wireless networks must support ultra-reliable, low-latency communication and intelligently manage a massive number of Internet of Things (IoT) devices in real-time, within a highly dynamic environment. This need for…

Information Theory · Computer Science 2019-07-02 Mingzhe Chen , Ursula Challita , Walid Saad , Changchuan Yin , Mérouane Debbah

We deploy BT node (sensor) that offers passive and active sensing capability to save energy. BT node works in passive mode for outdoor communication and active for indoor communication. The BT node is supported with novel automatic energy…

Networking and Internet Architecture · Computer Science 2013-09-19 Abdul Razaque , Khaled Elleithy

Digital twins are becoming an important tool for designing, developing, testing, and optimizing next-generation wireless communication systems. Over the past decade, system softwarization has become a reality, and wireless communication…

Signal Processing · Electrical Eng. & Systems 2026-04-07 Anil Gurses , Mihail L. Sichitiu

While many deep learning (DL)-based networking systems have demonstrated superior performance, the underlying Deep Neural Networks (DNNs) remain blackboxes and stay uninterpretable for network operators. The lack of interpretability makes…

Networking and Internet Architecture · Computer Science 2020-07-03 Zili Meng , Minhu Wang , Jiasong Bai , Mingwei Xu , Hongzi Mao , Hongxin Hu

A key question in evaluation of computer models is Does the computer model adequately represent reality? A six-step process for computer model validation is set out in Bayarri et al. [Technometrics 49 (2007) 138--154] (and briefly…

Network change validation remains a critical yet predominantly manual, time-consuming, and error-prone process in modern network operations. While formal network verification has made substantial progress in proving correctness properties,…

Multiagent Systems · Computer Science 2026-04-21 Jordan Auge , Sam Betts , Giovanna Carofiglio , Giulio Grassi , Martin Gysi , John Kenneth d'Souza

Across domains, metrics and measurements are fundamental to identifying challenges, informing decisions, and resolving conflicts. Despite the abundance of data available in this information age, not only can it be challenging for a single…

Software Engineering · Computer Science 2024-10-02 Ti-Chung Cheng , Carmen Badea , Christian Bird , Thomas Zimmermann , Robert DeLine , Nicole Forsgren , Denae Ford

The miniaturization process of various sensing devices has become a reality by enormous research and advancements accomplished in Micro Electro-Mechanical Systems (MEMS) and Very Large Scale Integration (VLSI) lithography. Regardless of…

Networking and Internet Architecture · Computer Science 2016-11-18 Al-Sakib Khan Pathan , Choong Seon Hong , Hyung-Woo Lee

This paper introduces Large Execution Models (LEMs), a novel deep learning framework that extends transformer-based architectures to address complex execution problems with flexible time boundaries and multiple execution constraints.…

Machine Learning · Computer Science 2025-10-01 Remi Genet , Hugo Inzirillo

Full-system simulation of computer systems is critical to capture the complex interplay between various hardware and software components in future systems. Modeling the network subsystem is indispensable to the fidelity of the full-system…

Hardware Architecture · Computer Science 2023-01-31 Siddharth Agarwal , Minwoo Lee , Ren Wang , Mohammad Alian

Deep learning-based approaches have been developed to solve challenging problems in wireless communications, leading to promising results. Early attempts adopted neural network architectures inherited from applications such as computer…

Information Theory · Computer Science 2022-11-07 Yifei Shen , Jun Zhang , S. H. Song , Khaled B. Letaief

The success of neural networks across most machine learning tasks and the persistence of adversarial examples have made the verification of such models an important quest. Several techniques have been successfully developed to verify…

Machine Learning · Computer Science 2019-10-14 Nathanaël Fijalkow , Mohit Kumar Gupta

Dense stereo matching with deep neural networks is of great interest to the research community. Existing stereo matching networks typically use slow and computationally expensive 3D convolutions to improve the performance, which is not…

Computer Vision and Pattern Recognition · Computer Science 2021-03-09 Zhengyu Huang , Theodore B. Norris , Panqu Wang

Reconfigurable electromagnetic structures (REMSs), such as reconfigurable reflectarrays (RRAs) or reconfigurable intelligent surfaces (RISs), hold significant potential to improve the spectral efficiency of wireless communication systems…

Signal Processing · Electrical Eng. & Systems 2025-12-16 Alexander Stutz-Tirri , Georg Schwan , Christoph Studer

Recently the use of neural networks has been introduced in the context of the signed particle formulation of quantum mechanics to rapidly and reliably compute the Wigner kernel of any provided potential. This new technique has introduced…

Computational Physics · Physics 2018-06-04 Jean Michel Sellier , Jacob Leygonie , Gaetan Marceau Caron

The quality and accuracy of power system models is critical for simulation-based studies, especially for studying actual stability issues in large-scale systems. With the deployment of wide-area monitoring systems (WAMSs), the…

Systems and Control · Electrical Eng. & Systems 2021-04-13 Shutang You , Yilu Liu

Understanding structural controllability of a complex network requires to identify a Minimum Input nodes Set (MIS) of the network. It has been suggested that finding an MIS is equivalent to computing a maximum matching of the network, where…

Discrete Mathematics · Computer Science 2022-06-02 Xizhe Zhang , Jianfei Han , Weixiong Zhang

As quantum networking hardware remains costly and not yet widely accessible, simulation tools are essential for the design and evaluation of quantum network architectures and protocols. However, designing a scalable and computationally…

Quantum Physics · Physics 2026-04-23 Adam Pearson , Francesco Mazza , Marcello Caleffi , Angela Sara Cacciapuoti

The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and…

Future mobile networks supporting Internet of Things are expected to provide both high throughput and low latency to user-specific services. One way to overcome this challenge is to adopt Network Function Virtualization (NFV) and…

Networking and Internet Architecture · Computer Science 2019-06-26 Emmanouil Fountoulakis , Qi Liao , Nikolaos Pappas