Image test libraries for the on-line self-test of functional units in gpus running cnns

A Ruospo, G Gavarini, A Porsia… - 2023 IEEE European …, 2023‏ - ieeexplore.ieee.org
The widespread use of artificial intelligence (AI)-based systems has raised several concerns
about their deployment in safety-critical systems. Industry standards, such as ISO26262 for …

Uncovering hidden vulnerabilities in CNNs through evolutionary-based Image Test Libraries

V Turco, A Ruospo, G Gavarini… - … on Defect and Fault …, 2023‏ - ieeexplore.ieee.org
Over the past years, Convolutional Neural Networks (CNNs) have become highly prominent
in diverse artificial intelligence applications, proving remarkable performance across …

Risc-v-based platforms for hpc: analyzing non-functional properties for future hpc and big-data clusters

W Fornaciari, F Reghenzani, F Terraneo… - … on Embedded Computer …, 2023‏ - Springer
Abstract High-Performance Computing (HPC) have evolved to be used to perform
simulations of systems where physical experimentation is prohibitively impractical …

Enhancing the effectiveness of STLs for GPUs via bounded model checking

N Deligiannis, T Faller, JE Rodriguez Condia… - ACM Transactions on …, 2025‏ - dl.acm.org
Graphics Processing Units (GPUs) are becoming widespread, even in safety-critical
applications. In that case, it is imperative to guarantee that the probability of producing …

STLs for GPUs: using high-level language approaches

JD Guerrero-Balaguera, JER Condia… - IEEE Design & …, 2023‏ - ieeexplore.ieee.org
Self-test libraries (STLs) that are widely used for in-field fault detection in processor-based
systems can also be used in graphics processing units (GPUs). This work describes a …

Functional Testing with STLs: A Step Towards Reliable RISC-V-based HPC Commodity Clusters

JER Condia, NI Deligiannis, J Sini, R Cantoro… - … Conference on High …, 2023‏ - Springer
Abstract The reliability of High-Performance Computing (HPC) systems is an essential
concern due to their massive size and the complexity of their operation. Thus, functional …

[PDF][PDF] Formal Methods for Test and Reliability

N Deligiannis - 2024‏ - tesidottorato.depositolegale.it
In the rapidly evolving landscape of nanotechnology, where innovations promise
groundbreaking advancements in various industries, ensuring the reliability and safety of …

[PDF][PDF] Reliability Enhancement in GPU Architectures

JD GUERRERO BALAGUERA - 2024‏ - tesidottorato.depositolegale.it
GPUs are important hardware accelerators for modern applications, particularly AI-based
ones. They offer a high degree of parallelism, allowing multiple data to be processed …

Software-based test images for in-field fault detection of hardware accelerators

G Perlo - 2024‏ - webthesis.biblio.polito.it
The increasing adoption of artificial intelligence (AI)-based systems has led to growing
concerns about their deployment in safety-critical environments. Industry standards, such as …

Image Test Libraries for the on-line self-test of functional units in GPUs running CNNs

A Porsia - 2023‏ - webthesis.biblio.polito.it
The widespread use of artificial intelligence (AI)-based systems brings with it several
questions about the deployment of such systems in safety-critical contexts. Several industry …