Search Results - "Trompouki, Matina Maria"

Formal Methods for High Integrity GPU Software Development and Verification

Authors: Aspetakis, Dimitrios Trompouki, Matina Maria Kosmidis, Leonidas et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Formal verification, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Ada SPARK, Embedded GPGPUs, Safety critical systems

File Description: application/pdf

Towards a qualifiable space cloud approach

Authors: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors Barcelona Supercomputing Center Kosmidis, Leonidas et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Radiocomunicació i exploració electromagnètica::Satèl·lits i ràdioenllaços, Space cloud, High performance, Qualification, COTS, Space hardware, Space software, Real-time systems, Conference report

URL: https://hdl.handle.net/2117/433642
https://ieeexplore.ieee.org/document/10795072
https://ieeexplore.ieee.org/document/10795072
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII
info:eu-repo/grantAgreement/AEI//IJC-2020-045931-I

Evaluation of the multicore performance capabilities of the next generation flight computers

Authors: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors Barcelona Supercomputing Center Solé i Bonet, Marc et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Parallel processing (Electronic computers), Real-time data processing, Operating systems (Computers), Multicore, Performance, Interference, Homogeneous parallel processing, OpenMP, RTOS, RTEMS-SMP, Processament en paral·lel (Ordinadors), Temps real (Informàtica), Sistemes operatius (Ordinadors), Conference report

URL: http://hdl.handle.net/2117/399784
https://ieeexplore.ieee.org/document/10311151
https://ieeexplore.ieee.org/document/10311151
info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII

METASAT: Modular model-based design and testing for applications in satellites

Authors: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors Barcelona Supercomputing Center Kosmidis, Leonidas et al.

Index Terms: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Radiocomunicació i exploració electromagnètica::Satèl·lits i ràdioenllaços, Artificial satellites -- Design and construction, Model-based design, Digital twin, Hypervisor, Satellite, Open hardware, High-performance, Modularity, Reusability, Satèl·lits artificials -- Disseny i construcció, Conference report

URL: http://hdl.handle.net/2117/402185
https://link.springer.com/chapter/10.1007/978-3-031-46077-7_23
https://link.springer.com/chapter/10.1007/978-3-031-46077-7_23
info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT

Evaluating the computational capabilities of embedded multicore and GPU platforms for on-board image processing

Authors: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors Barcelona Supercomputing Center Rodríguez Ferrández, Iván et al.

Index Terms: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Processament del senyal::Processament de la imatge i del senyal vídeo, Àrees temàtiques de la UPC::Aeronàutica i espai::Astronàutica, Graphics processing units, Image processing, Astronautics, Multicore, GPU, On-board image processing, Unitats de processament gràfic, Imatges -- Processament, Astronàutica, Conference report

URL: http://hdl.handle.net/2117/405883
https://ieeexplore.ieee.org/document/10395928
https://ieeexplore.ieee.org/document/10395928
info:eu-repo/grantAgreement/EC/H2020/772773/EU/Sustainable Performance for High-Performance Embedded Computing Systems/SuPerCom
info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII

The METASAT hardware platform: A high-performance multicore, AI SIMD and GPU RISC-V platform for on-board processing

Authors: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors Barcelona Supercomputing Center Kosmidis, Leonidas et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Àrees temàtiques de la UPC::Aeronàutica i espai::Astronàutica, Graphics processing units, Field programmable gate arrays, Astronautics, Multicore, SIMD, GPU, AI accelerator, RISC-V, Unitats de processament gràfic, Matrius de portes programables per l'usuari, Astronàutica, Conference report

URL: http://hdl.handle.net/2117/405888
https://ieeexplore.ieee.org/document/10396370
https://ieeexplore.ieee.org/document/10396370
info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII

Worst case execution time and power estimation of multicore and GPU software: a pedestrian detection use case

Authors: Universitat Politècnica de Catalunya. Doctorat en Arquitectura de Computadors Barcelona Supercomputing Center Rodríguez Ferrández, Iván et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Pattern recognition systems, Embedded computer systems, Graphics processing units, Automotive electronics, Multiprocessing systems, Object detection, Parallel processing, Pedestrians, Power consumption, Probability, Program diagnostics, Real-time systems, Reconeixement de formes (Informàtica), Ordinadors immersos, Sistemes d', Unitats de processament gràfic, Conference lecture

URL: http://hdl.handle.net/2117/402182
https://dl.acm.org/doi/abs/10.1145/3631483.3631502
https://dl.acm.org/doi/abs/10.1145/3631483.3631502
info:eu-repo/grantAgreement/EC/H2020/772773/EU/Sustainable Performance for High-Performance Embedded Computing Systems/SuPerCom
info:eu-repo/grantAgreement/EC/H2020/871465/EU/Intelligent software-UPDATE technologies for safe and secure mixed-criticality and high performance cyber physical systems/UP2DATE
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII

Evaluation of SYCL’s suitability for high-performance critical systems

Authors: Barcelona Supercomputing Center Peralta Quesada, Cristina Trompouki, Matina Maria et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Embedded computer systems, Application program interfaces (Computer software), Multiprocessors, Safety critical systems, Embedded multicores, Embedded GPUs, SYCL, Ordinadors immersos, Sistemes d', Interfícies de programació d'aplicacions (Programari), Multiprocessadors, Conference report

URL: http://hdl.handle.net/2117/402628
https://dl.acm.org/doi/abs/10.1145/3585341.3585378
https://dl.acm.org/doi/abs/10.1145/3585341.3585378
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII
info:eu-repo/grantAgreement/EC/H2020/871465/EU/Intelligent software-UPDATE technologies for safe and secure mixed-criticality and high performance cyber physical systems/UP2DATE

Evaluating the computational capabilities of embedded multicore and GPU platforms for on-board image processing

Authors: Rodríguez Ferrández, Iván Kosmidis, Leonidas Trompouki, Matina Maria et al.

Contributors: Rodríguez Ferrández, Iván Kosmidis, Leonidas Trompouki, Matina Maria et al.

Subject Terms: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació::Processament del senyal::Processament de la imatge i del senyal vídeo, Àrees temàtiques de la UPC::Aeronàutica i espai::Astronàutica, Graphics processing units, Image processing, Astronautics, Multicore, GPU, On-board image processing, Unitats de processament gràfic, Imatges -- Processament, Astronàutica

File Description: 7 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/10395928; info:eu-repo/grantAgreement/EC/H2020/772773/EU/Sustainable Performance for High-Performance Embedded Computing Systems/SuPerCom; info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII/; http://hdl.handle.net/2117/405883

Availability: http://hdl.handle.net/2117/405883
https://doi.org/10.23919/EDHPC59100.2023.10395928

The METASAT hardware platform: A high-performance multicore, AI SIMD and GPU RISC-V platform for on-board processing

Authors: Kosmidis, Leonidas Solé i Bonet, Marc Rodríguez Ferrández, Iván et al.

Contributors: Kosmidis, Leonidas Solé i Bonet, Marc Rodríguez Ferrández, Iván et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Àrees temàtiques de la UPC::Aeronàutica i espai::Astronàutica, Graphics processing units, Field programmable gate arrays, Astronautics, Multicore, SIMD, GPU, AI accelerator, RISC-V, Unitats de processament gràfic, Matrius de portes programables per l'usuari, Astronàutica

File Description: 6 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/10396370; info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII/; http://hdl.handle.net/2117/405888

Availability: http://hdl.handle.net/2117/405888
https://doi.org/10.23919/EDHPC59100.2023.10396370

Worst case execution time and power estimation of multicore and GPU software: a pedestrian detection use case

Authors: Rodríguez Ferrández, Iván Jover Álvarez, Álvaro Trompouki, Matina Maria et al.

Contributors: Rodríguez Ferrández, Iván Jover Álvarez, Álvaro Trompouki, Matina Maria et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Pattern recognition systems, Embedded computer systems, Graphics processing units, Automotive electronics, Multiprocessing systems, Object detection, Parallel processing, Pedestrians, Power consumption, Probability, Program diagnostics, Real-time systems, Reconeixement de formes (Informàtica), Ordinadors immersos, Sistemes d', Unitats de processament gràfic

File Description: 7 p.; application/pdf

Relation: info:eu-repo/grantAgreement/EC/H2020/772773/EU/Sustainable Performance for High-Performance Embedded Computing Systems/SuPerCom; info:eu-repo/grantAgreement/EC/H2020/871465/EU/Intelligent software-UPDATE technologies for safe and secure mixed-criticality and high performance cyber physical systems/UP2DATE; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII/; http://hdl.handle.net/2117/402182

Availability: http://hdl.handle.net/2117/402182
https://doi.org/10.1145/3631483.3631502

Evaluation of SYCL’s suitability for high-performance critical systems

Authors: Peralta Quesada, Cristina Trompouki, Matina Maria Kosmidis, Leonidas et al.

Contributors: Peralta Quesada, Cristina Trompouki, Matina Maria Kosmidis, Leonidas et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Embedded computer systems, Application program interfaces (Computer software), Multiprocessors, Safety critical systems, Embedded multicores, Embedded GPUs, SYCL, Ordinadors immersos, Sistemes d', Interfícies de programació d'aplicacions (Programari), Multiprocessadors

File Description: 11 p.; application/pdf

Relation: info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII/; info:eu-repo/grantAgreement/EC/H2020/871465/EU/Intelligent software-UPDATE technologies for safe and secure mixed-criticality and high performance cyber physical systems/UP2DATE; http://hdl.handle.net/2117/402628

Availability: http://hdl.handle.net/2117/402628
https://doi.org/10.1145/3585341.3585378

Evaluation of the multicore performance capabilities of the next generation flight computers

Authors: Solé i Bonet, Marc Wolf, Jannis Rodríguez Ferrández, Iván et al.

Contributors: Solé i Bonet, Marc Wolf, Jannis Rodríguez Ferrández, Iván et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Parallel processing (Electronic computers), Real-time data processing, Operating systems (Computers), Multicore, Performance, Interference, Homogeneous parallel processing, OpenMP, RTOS, RTEMS-SMP, Processament en paral·lel (Ordinadors), Temps real (Informàtica), Sistemes operatius (Ordinadors)

File Description: 10 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/10311151; info:eu-repo/grantAgreement/EC/HE/101082622/EU/MODULAR MODEL-BASED DESIGN AND TESTING FOR APPLICATIONS IN SATELLITES/METASAT; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C21/ES/BSC - COMPUTACION DE ALTAS PRESTACIONES VIII/; http://hdl.handle.net/2117/399784

Availability: http://hdl.handle.net/2117/399784
https://doi.org/10.1109/DASC58513.2023.10311151

DO-178C certification of general-purpose GPU software: review of existing methods and future directions

Authors: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors Barcelona Supercomputing Center Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Digital avionics, Avionics, Software architecture, Avionics -- Certification, Productivity, Graphics, Costs, Codes, Graphics processing units, Aerospace electronics, Software, Aviònica digital, Aviònica, Enginyeria de programari, Conference report

URL: http://hdl.handle.net/2117/366309
https://ieeexplore.ieee.org/document/9594412
https://ieeexplore.ieee.org/document/9594412
info:eu-repo/grantAgreement/HiPEAC (NoE - Unión Europea)/IST-2003-004408
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C22/ES/UPC-COMPUTACION DE ALTAS PRESTACIONES VIII

Comparison of GPU computing methodologies for safety-critical systems: an avionics case study

Authors: Barcelona Supercomputing Center Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions Benito Bermúdez, Marc et al.

Index Terms: Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Avionics, Computer software -- Development, Computer software -- Reliability, Safety-critical systems, OpenGL SC 2.0, Brook Auto/BRASIL, State-of-the art, Aviònica, Programari -- Desenvolupament, Programari -- Fiabilitat, Conference report

URL: http://hdl.handle.net/2117/348962
https://ieeexplore.ieee.org/document/9474060
https://ieeexplore.ieee.org/document/9474060
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C22/ES/UPC-COMPUTACION DE ALTAS PRESTACIONES VIII

Comparison of GPU computing methodologies for safety-critical systems: an avionics case study

Authors: Benito Bermúdez, Marc Trompouki, Matina Maria Kosmidis, Leonidas et al.

Contributors: Benito Bermúdez, Marc Trompouki, Matina Maria Kosmidis, Leonidas et al.

Subject Terms: Àrees temàtiques de la UPC::Aeronàutica i espai::Aviònica, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Avionics, Computer software -- Development, Computer software -- Reliability, Safety-critical systems, OpenGL SC 2.0, Brook Auto/BRASIL, State-of-the art, Aviònica, Programari -- Desenvolupament, Programari -- Fiabilitat

File Description: 2 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/9474060; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-107255GB-C22/ES/UPC-COMPUTACION DE ALTAS PRESTACIONES VIII/; http://hdl.handle.net/2117/348962

Availability: http://hdl.handle.net/2117/348962
https://doi.org/10.23919/DATE51398.2021.9474060

BRASIL: A high-integrity GPGPU toolchain for automotive systems

Authors: Barcelona Supercomputing Center Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions Trompouki, Matina Maria et al.

Index Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Graphics processing units, Autonomous vehicles, GPGPU, Tool qualification, ISO 26262, Toolchain, Automotive systems, High integrity, Functional safety, Unitats de processament gràfic, Vehicles autònoms, Conference report

URL: https://hdl.handle.net/2117/334976
https://ieeexplore.ieee.org/document/8988679
https://ieeexplore.ieee.org/document/8988679
info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII

BRASIL: A high-integrity GPGPU toolchain for automotive systems

Authors: Trompouki, Matina Maria Kosmidis, Leonidas Barcelona Supercomputing Center et al.

Contributors: Trompouki, Matina Maria Kosmidis, Leonidas Barcelona Supercomputing Center et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Graphics processing units, Autonomous vehicles, GPGPU, Tool qualification, ISO 26262, Toolchain, Automotive systems, High integrity, Functional safety, Unitats de processament gràfic, Vehicles autònoms

File Description: 4 p.; application/pdf

Relation: https://ieeexplore.ieee.org/document/8988679; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; http://hdl.handle.net/2117/334976

Availability: http://hdl.handle.net/2117/334976
https://doi.org/10.1109/ICCD46524.2019.00094

Brook GLES Pi: democratising accelerator programming

Authors: Barcelona Supercomputing Center Trompouki, Matina Maria Kosmidis, Leonidas

Index Terms: Àrees temàtiques de la UPC::Informàtica, GPU, Graphics processors, Heterogeneous (hybrid) systems, Parallel programming languages, GPGPU, OpenGL ES 2, Embedded GPUs, Accelerator Programming, Gestió de memòria (Informàtica), Conference lecture

URL: http://hdl.handle.net/2117/125336
https://dl.acm.org/citation.cfm?id=3231578.3231582
https://dl.acm.org/citation.cfm?id=3231578.3231582
info:eu-repo/grantAgreement/EC/H2020/687698/EU/High Performance and Embedded Architecture and Compilation/HiPEAC
info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII

Brook GLES Pi: democratising accelerator programming

Authors: Trompouki, Matina Maria Kosmidis, Leonidas Barcelona Supercomputing Center

Contributors: Trompouki, Matina Maria Kosmidis, Leonidas Barcelona Supercomputing Center

Subject Terms: Àrees temàtiques de la UPC::Informàtica, GPU, Graphics processors, Heterogeneous (hybrid) systems, Parallel programming languages, GPGPU, OpenGL ES 2, Embedded GPUs, Accelerator Programming, Gestió de memòria (Informàtica)

File Description: 5 p.; application/pdf

Relation: https://dl.acm.org/citation.cfm?id=3231578.3231582; info:eu-repo/grantAgreement/EC/H2020/687698/EU/High Performance and Embedded Architecture and Compilation/HiPEAC; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; http://hdl.handle.net/2117/125336

Availability: http://hdl.handle.net/2117/125336
https://doi.org/10.1145/3231578.3231582