English
Related papers

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

200 papers

Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be…

Software Engineering · Computer Science 2021-11-17 Per Erik Strandberg

World models (WMs) represent the frontier of sample-efficient reinforcement learning, but their complexity leaves many promising improvements unrealized due to the significant expertise and effort required to identify and integrate them.…

Machine Learning · Computer Science 2026-05-12 Lior Cohen , Kaixin Wang , Bingyi Kang , Uri Gadot , Shie Mannor

In recent times, wireless access technology is becoming increasingly commonplace due to the ease of operation and installation of untethered wireless media. The design of wireless networking is challenging due to the highly dynamic…

Networking and Internet Architecture · Computer Science 2014-11-20 Usama Mehboob , Junaid Qadir , Salman Ali , Athanasios Vasilakos

Traditional approaches to training agents have generally involved a single, deterministic environment of minimal complexity to solve various tasks such as robot locomotion or computer vision. However, agents trained in static environments…

Robotics · Computer Science 2025-10-01 Kevin Godin-Dubois , Karine Miras , Anna V. Kononova

Complex phenomena in engineering and the sciences are often modeled with computationally intensive feed-forward simulations for which a tractable analytic likelihood does not exist. In these cases, it is sometimes necessary to estimate an…

Methodology · Statistics 2020-06-18 Niccolò Dalmasso , Ann B. Lee , Rafael Izbicki , Taylor Pospisil , Ilmun Kim , Chieh-An Lin

The drive toward automating cellular network operations has grown with the increasing complexity of these systems. Despite advancements, full autonomy currently remains out of reach due to reliance on human intervention for modeling network…

Artificial Intelligence · Computer Science 2024-11-12 Fadhel Ayed , Ali Maatouk , Nicola Piovesan , Antonio De Domenico , Merouane Debbah , Zhi-Quan Luo

A mobile ad hoc network (MANET) is a collection of mobile nodes that communicate with each other by forming a multi-hop radio network. Security remains a major challenge for these networks due to their features of open medium, dynamically…

Cryptography and Security · Computer Science 2021-09-07 Jaydip Sen

End-to-end performance estimation and measurement of deep neural network (DNN) systems become more important with increasing complexity of DNN systems consisting of hardware and software components. The methodology proposed in this paper…

Machine Learning · Computer Science 2019-11-19 Michael J. Klaiber , Sebastian Vogel , Axel Acosta , Robert Korn , Leonardo Ecco , Kristine Back , Andre Guntoro , Ingo Feldner

Modern day Language Models see extensive use in text classification, yet this comes at significant computational cost. Compute-effective classification models are needed for low-resource environments, most notably on edge devices. We…

Machine Learning · Computer Science 2024-11-22 Stan Loosmore , Alexander Titus

Developing complex engineered systems (CES) poses significant challenges for engineers, managers, designers, and businesspeople alike due to the inherent complexity of the systems and contexts involved. Furthermore, experts have expressed…

Multiagent Systems · Computer Science 2021-03-26 John Meluso , Jesse Austin-Breneman , James P. Bagrow , Laurent Hébert-Dufresne

An Intrusion Detection System (IDS) detects malicious and selfish nodes in a network. Ad hoc networks are often secured by using either intrusion detection or by secure routing. Designing efficient IDS for wireless ad-hoc networks that…

Cryptography and Security · Computer Science 2011-08-31 Novarun Deb , Manali Chakraborty , Nabendu Chaki

This paper discusses the implementation of a tactical network simulation tool. The tool is called Tactical Network Modeller (TNM). TNM uses some novel techniques to simplify the building of the network model using graph theory constrained…

Networking and Internet Architecture · Computer Science 2015-08-25 Stuart Marsden , Jouko Vankka

Emergency departments (ED) face challenges in patient care and resource management. We propose to explore optimization strategies in a realistic and flexible model and develop a hybrid Discrete Event Simulation (DES) and Agent-Based Model…

Artificial Intelligence · Computer Science 2026-05-14 Markus Wenzel , Tobias Strapatsas , Jessika Kress , Dorothea Sauer , Nele Gessler , Horst K. Hahn

Mobile (cellular) networks enable innovation, but can also stifle it and lead to user frustration when network performance falls below expectations. As mobile networks become the predominant method of Internet access, developer, research,…

Networking and Internet Architecture · Computer Science 2016-11-17 Utkarsh Goel , Mike P. Wittie , Kimberly C. Claffy , Andrew Le

This paper presents Mathematical Execution (ME), a new, unified approach for testing numerical code. The key idea is to (1) capture the desired testing objective via a representing function and (2) transform the automated testing problem to…

Programming Languages · Computer Science 2016-10-05 Zhoulai Fu , Zhendong Su

We propose MESA and DMESA as novel feature matching methods, which utilize Segment Anything Model (SAM) to effectively mitigate matching redundancy. The key insight of our methods is to establish implicit-semantic area matching prior to…

Computer Vision and Pattern Recognition · Computer Science 2025-03-28 Yesheng Zhang , Shuhan Shen , Xu Zhao

Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented degree of distributed and mobile control. However, the…

Networking and Internet Architecture · Computer Science 2008-12-18 Feng Xia , Yu-Chu Tian , Yanjun Li , Youxian Sun

Merging mobile edge computing (MEC) functionality with the dense deployment of base stations (BSs) provides enormous benefits such as a real proximity, low latency access to computing resources. However, the envisioned integration creates…

Information Theory · Computer Science 2017-09-11 Yuxuan Sun , Sheng Zhou , Jie Xu

The metrology field has been progressed with the appearance of the wireless intelligent sensor systems providing more capabilities such as signal processing, remote multi-sensing fusion etc. This kind of devices is rapidly making their way…

Networking and Internet Architecture · Computer Science 2014-09-26 Saad Chakkor , El Ahmadi Cheikh , Mostafa Baghouri , Abderrahmane Hajraoui

In-memory computing technology is used extensively in artificial intelligence devices due to lower power consumption and fast calculation of matrix-based functions. The development of such a device and its integration in a system takes a…