Browsing by Author "Aspetakis, Dimitrios"
Now showing items 1-1 of 1
-
Evaluation of the Ada-SPARK Language Effectiveness in Graphics Processing Units for Safety Critical Systems
Aspetakis, Dimitrios (Universitat Politècnica de Catalunya, 2023-05-15)
Bachelor thesis
Open AccessModern safety critical systems require high levels of performance for the implementation of advanced functionalities, which are not possible with the simple conventional architectures currently used in them. Embedded General ...