English
Related papers

Related papers: Dynamically Reprogrammable Runtime Monitors for Bo…

200 papers

We experimentally demonstrate a hybrid reservoir computing system consisting of an electro-optic modulator and field programmable gate array (FPGA). It implements delay lines and filters digitally for flexible dynamics and high…

Signal Processing · Electrical Eng. & Systems 2021-02-19 Prajnesh Kumar , Mingwei Jin , Ting Bu , Santosh Kumar , Yu-Ping Huang

Vision based control of Unmanned Aerial Vehicles (UAVs) has been adopted by a wide range of applications due to the availability of low-cost on-board sensors and computers. Tuning such systems to work properly requires extensive domain…

Finding tracks downstream of the magnet at the earliest LHCb trigger level is not part of the baseline plan of the upgrade trigger, on account of the significant CPU time required to execute the search. Many long-lived particles, such as…

Instrumentation and Detectors · Physics 2020-08-26 Riccardo Cenci , Andrea Di Luca , Federico Lazzari , Michael J. Morello , Giovanni Punzi

Emerging real-time multi-model ML (RTMM) workloads such as AR/VR and drone control involve dynamic behaviors in various granularity; task, model, and layers within a model. Such dynamic behaviors introduce new challenges to the system…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-09-22 Seah Kim , Hyoukjun Kwon , Jinook Song , Jihyuck Jo , Yu-Hsin Chen , Liangzhen Lai , Vikas Chandra

Parameter efficient transfer learning (PETL) is an emerging research spot that aims to adapt large-scale pre-trained models to downstream tasks. Recent advances have achieved great success in saving storage and computation costs. However,…

Computer Vision and Pattern Recognition · Computer Science 2023-09-13 Chunqing Ruan , Hongjian Wang

Heterogeneous computing is one of the most important computational solutions to meet rapidly increasing demands on system performance. It typically allows the main flow of applications to be executed on a CPU while the most computationally…

Software Engineering · Computer Science 2020-12-11 Hugo Andrade , Ola Benderius , Christian Berger , Ivica Crnkovic , Jan Bosch

Neural certificates have emerged as a powerful tool in cyber-physical systems control, providing witnesses of correctness. These certificates, such as barrier functions, often learned alongside control policies, once verified, serve as…

Symbolic Computation · Computer Science 2025-07-17 Thomas A. Henzinger , Konstantin Kueffner , Emily Yu

Autonomous systems that rely on Machine Learning (ML) utilize online fault tolerance mechanisms, such as runtime monitors, to detect ML prediction errors and maintain safety during operation. However, the lack of human-interpretable…

Machine Learning · Computer Science 2025-05-21 Aniket Salvi , Gereon Weiss , Mario Trapp

The growing use of FPGAs in reconfigurable systems introducessecurity risks through malicious bitstreams that could cause denial-of-service (DoS), data leakage, or covert attacks. We investigated chip-level hardware malicious payload in…

Cryptography and Security · Computer Science 2025-09-03 Rye Stahle-Smith , Rasha Karakchi

If a Micro Processor Unit (MPU) receives an external electric signal as noise, the system function will freeze or malfunction easily. A new resilience strategy is implemented in order to reset the MPU automatically and stop the MPU from…

Software Engineering · Computer Science 2014-05-08 Ling Fang , Yoriyuki Yamagata , Yutaka Oiwa

Monitoring software systems at runtime is key for understanding workloads, debugging, and self-adaptation. It typically involves collecting and storing observable software data, which can be analyzed online or offline. Despite the…

Software Engineering · Computer Science 2023-05-03 Jhonny Mertz , Ingrid Nunes

Modern embedded computing platforms consist of a high amount of heterogeneous resources, which allows executing multiple applications on a single device. The number of running application on the system varies with time and so does the…

Systems and Control · Electrical Eng. & Systems 2020-02-19 Robert Khasanov , Jeronimo Castrillon

Deep Reinforcement Learning (RL) can yield capable agents and control policies in several domains but is commonly plagued by prohibitively long training times. Additionally, in the case of continuous control problems, the applicability of…

Machine Learning · Computer Science 2024-11-20 Jonas Eschmann , Dario Albani , Giuseppe Loianno

An intelligent optical performance monitor using multi-task learning based artificial neural network (MTL-ANN) is designed for simultaneous OSNR monitoring and modulation format identification (MFI). Signals' amplitude histograms (AHs)…

Signal Processing · Electrical Eng. & Systems 2023-10-18 Zhiquan Wan , Zhenming Yu , Liang Shu , Yilun Zhao , Haojie Zhang , Kun Xu

A machine learning (ML) design framework is proposed for adaptively adjusting clock frequency based on propagation delay of individual instructions. A random forest model is trained to classify propagation delays in real time, utilizing…

Hardware Architecture · Computer Science 2020-07-06 Arash Fouman Ajirlou , Inna Partin-Vaisband

Deep learning (DL) is becoming the cornerstone of numerous applications both in datacenters and at the edge. Specialized hardware is often necessary to meet the performance requirements of state-of-the-art DL models, but the rapid pace of…

Hardware Architecture · Computer Science 2025-12-16 Andrew Boutros , Aman Arora , Vaughn Betz

Accurate simulations of various physical processes on digital computers requires huge computing performance, therefore accelerating these scientific and engineering applications has a great importance. Density of programmable logic devices…

Performance · Computer Science 2014-08-26 Zoltan Nagy , Csaba Nemes , Antal Hiba , Arpad Csik , Andras Kiss , Miklos Ruszinko , Peter Szolgay

We propose a distributed system based on lowpower embedded FPGAs designed for edge computing applications focused on exploring distributing scheduling optimizations for Deep Learning (DL) workloads to obtain the best performance regarding…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-05-31 Hans Johnson , Tianyang Fang , Alejandro Perez-Vicente , Jafar Saniie

Real-time track tracking in high energy physics experiments at colliders running at high luminosity is very challenging for trigger systems. To perform pattern-recognition and track fitting in online trigger system, the artificial Retina…

Instrumentation and Detectors · Physics 2021-09-01 W. Deng , Z. Song , G. Huang , G. De Lentdecker , F. Robert , Y. Yang

We study the problem of monitoring at runtime whether a system fulfills a specification defined by a hyperproperty, such as linearizability or variants of non-interference. For this purpose, we introduce specifications with both passive and…

Logic in Computer Science · Computer Science 2025-08-05 Marek Chalupa , Thomas A. Henzinger , Ana Oliveira da Costa
‹ Prev 1 8 9 10 Next ›