English
Related papers

Related papers: Systematic Hardware Integration Testing for Smart …

200 papers

New testing and development procedures and methods are needed to address topics like power system stability, operation and control in the context of grid integration of rapidly developing smart grid technologies. In this context, individual…

Demands on more transparency of the backbox nature of machine learning models have led to the recent rise of human-in-the-loop in machine learning, i.e. processes that integrate humans in the training and application of machine learning…

Human-Computer Interaction · Computer Science 2020-03-12 Chaehan So

Cycle-accurate simulators are widely used to study systolic accelerators, yet their accuracy and usability are often limited by weak validation against real hardware and poor integration with modern ML compiler stacks. This paper presents…

Hardware Architecture · Computer Science 2026-03-25 Jingtian Dang , Ritik Raj , Changhai Man , Jianming Tong , Tushar Krishna

Modern experiments with fundamental quantum systems - like ultracold atoms, trapped ions, single photons - are managed by a control system formed by a number of input/output electronic channels governed by a computer. In hybrid quantum…

Instrumentation and Detectors · Physics 2019-01-16 Elia Perego , Marco Pomponio , Amelia Detti , Lucia Duca , Carlo Sias , Claudio E. Calosso

Nowadays, more effective control of hand hygiene (HH) by healthcare teams has become essential. HH control is crucial to prevent cross-contamination and healthcare-associated infections (HAI), according to Brazilian regulatory standards and…

Hardware Architecture · Computer Science 2025-05-09 Rafael Castro , Alexandre dos Santos Roque

Haptic training simulators generally consist of three major components, namely a human operator, a haptic interface, and a virtual environment. Appropriate dynamic modeling of each of these components can have far-reaching implications for…

This paper presents a simple framework of low cost Kit which can be used in control education and training courses to support hardware in the loop simulation. The kit shows the student or control engineer the effect of delays, noise, and…

Systems and Control · Computer Science 2014-10-07 O. M. Abdalla , Sherif A. Hammad , H. Ahmed Yousef

Abstract: Bionic learning with fused sensing, memory and processing functions outperforms artificial neural networks running on silicon chips in terms of efficiency and footprint. However, digital hardware implementation of bionic learning…

Emerging Technologies · Computer Science 2022-02-22 Shijie Wang , Xi Chen , Chao Zhao , Yuxin Kong , Baojun Lin , Yongyi Wu , Zhaozhao Bi , Ziyi Xuan , Tao Li , Yuxiang Li , Wei Zhang , En Ma , Zhongrui Wang , Wei Ma

Trust in digital systems depends on secure hardware, often assured through Hardware Reverse Engineering (HRE). This work develops methods for investigating human problem-solving processes in HRE, an underexplored yet critical aspect. Since…

Human-Computer Interaction · Computer Science 2024-02-26 René Walendy , Markus Weber , Jingjie Li , Steffen Becker , Carina Wiesen , Malte Elson , Younghyun Kim , Kassem Fawaz , Nikol Rummel , Christof Paar

Pick-and-place robots are commonly used in modern industrial manufacturing. For complex devices/parts like camera modules used in smartphones, which contain optical parts, electrical components and interfacing connectors, the placement…

The correct use of a Hardware Abstraction Layer (HAL) interface in embedded applications is crucial to prevent malfunctions, crashes, or even hardware damage. Software model checking has been successfully applied to check interface…

Logic in Computer Science · Computer Science 2025-12-19 Manuel Bentele , Onur Altinordu , Jan Körner , Andreas Podelski , Axel Sikora

We explore the idea of integrating machine learning (ML) with high performance computing (HPC)-driven simulations to address challenges in using simulations to teach computational science and engineering courses. We demonstrate that a ML…

Physics Education · Physics 2020-09-01 Vikram Jadhao , JCS Kadupitiya

Particle-in-Cell (PIC) Monte Carlo (MC) simulations are central to plasma physics but face increasing challenges on heterogeneous HPC systems due to excessive data movement, synchronization overheads, and inefficient utilization of multiple…

We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis techniques so that a trajectory is enclosed sharply within a…

Logic in Computer Science · Computer Science 2017-12-05 Daisuke Ishii , Alexandre Goldsztejn

Non-linearities in simulation arise from the time variance in wireless mobile networks when integrated with human in the loop, human in the plant (HIL-HIP) physical systems under dynamic contexts, leading to simulation slowdown. Time…

Systems and Control · Electrical Eng. & Systems 2023-09-14 Ayan Banerjee , Payal Kamboj , Aranyak Maity , Riya Sudhakar Salian , Sandeep K. S. Gupta

The ever-increasing complexity of HW/SW systems presents a persistent challenge, particularly in safety-critical domains like automotive, where extensive testing is imperative. However, the availability of hardware often lags behind,…

Software Engineering · Computer Science 2025-06-13 Lukas Jünger , Jan Henrik Weinstock , Tim Kraus

Human-Robot Collaboration (HRC) is rapidly replacing the traditional application of robotics in the manufacturing industry. Robots and human operators no longer have to perform their tasks in segregated areas and are capable of working in…

Robotics · Computer Science 2020-07-24 Mehrnoosh Askarpour , Matteo Rossi , Omer Tiryakiler

Wireless Capsule Endoscopy (WCE) is being increasingly used as an alternative imaging modality for complete and non-invasive screening of the gastrointestinal tract. Although this is advantageous in reducing unnecessary hospital admissions,…

Image and Video Processing · Electrical Eng. & Systems 2024-05-07 Anuja Vats , Marius Pedersen , Ahmed Mohammed , Øistein Hovde

Mainly due to their outstanding performance the position sensitive silicon detectors are widely used in the tracking systems of High Energy Physics experiments such as the ALICE, ATLAS, CMS and LHCb at LHC, the world's largest particle…

Instrumentation and Detectors · Physics 2017-11-16 Timo Peltola

The aim of this paper consists in defining the hardware and software architecture of an embedded system, based on RFID technology, in order to identify patients and to achieve real time information concerning the patients biometric data,…

Computers and Society · Computer Science 2015-03-16 Ioan Ungureanu , Cristina Elena Turcu , Cornel Turcu , Vasile Gheorghita Gaitan