Evaluation of the Ada-SPARK Language Effectiveness in Graphics Processing Units for Safety Critical Systems
D Aspetakis - 2023 - upcommons.upc.edu
Modern safety critical systems require high levels of performance for the implementation of
advanced functionalities, which are not possible with the simple conventional architectures …
advanced functionalities, which are not possible with the simple conventional architectures …
Evaluation of High-Level Programming Models for High-Performance Critical Systems
C Peralta Quesada - 2022 - upcommons.upc.edu
Upcoming safety critical systems require high performance processing, which can be
provided by multi-cores and embedded GPUs found in several Systems-on-chip (SoC) …
provided by multi-cores and embedded GPUs found in several Systems-on-chip (SoC) …