English
Related papers

Related papers: Systematic Hardware Integration Testing for Smart …

200 papers

Efficient and effective testing for simulation-based hardware verification is challenging. Using constrained random test generation, several millions of tests may be required to achieve coverage goals. The vast majority of tests do not…

Hardware Architecture · Computer Science 2022-10-18 Nyasha Masamba , Kerstin Eder , Tim Blackmore

Embedded applications often use a Hardware Abstraction Layer (HAL) to access hardware. Improper use of the HAL can lead to incorrect hardware operations, resulting in system failure and potentially serious damage to the hardware. The…

Logic in Computer Science · Computer Science 2025-12-17 Manuel Bentele , Andreas Podelski , Axel Sikora , Bernd Westphal

This paper presents a novel Cyber-Hardware-in-the-Loop (Cyber-HIL) platform for assessing control operation in ship cyber-physical systems. The proposed platform employs cutting-edge technologies, including Docker containers, real-time…

Systems and Control · Electrical Eng. & Systems 2024-03-25 Linh Vu , Lam Nguyen , Mahmoud Abdelaal , Tuyen Vu , Osama Mohammed

Despite the promise of superior efficiency and scalability, real-world deployment of emerging nanoelectronic platforms for brain-inspired computing have been limited thus far, primarily because of inter-device variations and intrinsic…

Emerging Technologies · Computer Science 2024-03-25 A N M Nafiul Islam , Kezhou Yang , Amit K. Shukla , Pravin Khanal , Bowei Zhou , Wei-Gang Wang , Abhronil Sengupta

SystemC-based Virtual Prototypes (VPs) at the Electronic System Level (ESL) are increasingly adopted by the semiconductor industry. The main reason is that VPs are much earlier available, and their simulation is orders of magnitude faster…

Hardware Architecture · Computer Science 2022-02-17 Mehran Goli , Rolf Drechsler

The importance of embedded applications on image and video processing,communication and cryptography domain has been taking a larger space in current research era. Improvement of pictorial information for betterment of human perception like…

Hardware Architecture · Computer Science 2013-01-14 Sangeet Saha , Chandrajit pal , Rourab paul , Satyabrata Maity , Suman Sau

Simulated training platforms offer a suitable avenue for surgical students and professionals to build and improve upon their skills, without the hassle of traditional training methods. To enhance the degree of realistic interaction…

Robotics · Computer Science 2023-08-16 Soroush Sadeghnejad , Mojtaba Esfandiari , Farshad Khadivar

The scientific community increasingly relies on machine learning (ML) for near-sensor processing, leveraging its strengths in tasks such as pattern recognition, anomaly detection, and real-time decision-making. These deployments demand…

Hardware Architecture · Computer Science 2026-03-30 G Abarajithan , Zhenghua Ma , Ravidu Munasinghe , Francesco Restuccia , Ryan Kastner

We apply recently proposed regional predictive control approaches to several examples to evaluate their efficiency. We present numerical results as well as hardware-in-the-loop (HIL) results.

Optimization and Control · Mathematics 2020-09-18 Kai König , Martin Mönnigmann

Performing a large volume of experiments in Chemistry labs creates repetitive actions costing researchers time, automating these routines is highly desirable. Previous experiments in robotic chemistry have performed high numbers of…

Robotics · Computer Science 2023-07-04 Aaron Butterworth , Gabriella Pizzuto , Leszek Pecyna , Andrew I. Cooper , Shan Luo

In-Space Servicing, Assembly, and Manufacturing (ISAM) is a set of emerging operations that provides several benefits to improve the longevity, capacity, mo- bility, and expandability of existing and future space assets. Serial robotic ma-…

Robotics · Computer Science 2025-10-21 Robert Muldrow , Channing Ludden , Christopher Petersen

Human-in-the-loop optimization (HILO) is a promising approach for personalizing visual prostheses by iteratively refining stimulus parameters based on user feedback. Previous work demonstrated HILO's efficacy in simulation, but its…

Machine Learning · Computer Science 2025-04-29 Eirini Schoinas , Adyah Rastogi , Anissa Carter , Jacob Granley , Michael Beyeler

This work proposes dedicated hardware for an intelligent control system on Field Programmable Gate Array (FPGA). The intelligent system is represented as Takagi-Sugeno Fuzzy-PI controller. The implementation uses a fully parallel strategy…

Signal Processing · Electrical Eng. & Systems 2020-04-06 Sérgio N. Silva , Felipe F. Lopes , Carlos Valderrama , Marcelo A. C. Fernandes

For many real-world applications involving low-power sensor edge devices deep neural networks used for image classification might not be suitable. This is due to their typically large model size and require- ment of operations often…

Image and Video Processing · Electrical Eng. & Systems 2026-01-21 Oliver Bause , Julia Werner , Paul Palomero Bernardo , Oliver Bringmann

The demand of transparency of clinical research results, the need of accelerating the process of transferring innovation in the daily medical practice as well as assuring patient safety and product efficacy make it necessary to extend the…

Software Engineering · Computer Science 2013-01-10 Daniela Luzi , Fabrizio Pecoraro

Intraoperative segmentation and tracking of minimally invasive instruments is a prerequisite for computer- and robotic-assisted surgery. Since additional hardware like tracking systems or the robot encoders are cumbersome and lack accuracy,…

Virtual models are important for training and teaching tools used in medical imaging research. We introduce a workflow that can be used to convert volumetric medical imaging data (as generated by Computer Tomography (CT)) to computer-based…

Medical Physics · Physics 2024-02-05 Kaustav Bora , Adarsh Mishra , CS Kumar

As the rapid development of computer vision and the emergence of powerful network backbones and architectures, the application of deep learning in medical imaging has become increasingly significant. Unlike natural images, medical images…

Image and Video Processing · Electrical Eng. & Systems 2026-04-10 Guoqing Zhang , Jingyun Yang , Yang Li

The development of user-friendly embedded prototyping systems like Arduino has made creating interactive devices more accessible. However, debugging these systems is challenging due to the intertwined nature of software and hardware issues.…

Human-Computer Interaction · Computer Science 2026-03-05 Andrea Bianchi , Zhi Lin Yap , Punn Lertjaturaphat , Austin Z. Henley , Kongpyung Justin Moon , Yoonji Kim

Conway's Game of Life (GOL) is a cellular automaton that has captured the interest of hobbyists and mathematicians alike for more than 50 years. The Game of Life is Turing complete, and people have been building increasingly sophisticated…

Formal Languages and Automata Theory · Computer Science 2025-04-02 Magnus O. Myreen , Mario Carneiro