On the Use of Probabilistic Worst-Case Execution Time Estimation for Parallel Applications in High Performance Systems
Fusi, Matteo, Mazzocchetti, Fabio, Farres, Albert, Kosmidis, Leonidas, Canal, Ramon, Cazorla, Francisco J., Abella, Jaume
Published in Mathematics (Basel) (01.03.2020)
Published in Mathematics (Basel) (01.03.2020)
Get full text
Journal Article
BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems
Trompouki, Matina Maria, Kosmidis, Leonidas
Published in 2019 IEEE 37th International Conference on Computer Design (ICCD) (01.11.2019)
Published in 2019 IEEE 37th International Conference on Computer Design (ICCD) (01.11.2019)
Get full text
Conference Proceeding
Safety-Related Challenges and Opportunities for GPUs in the Automotive Domain
Alcaide, Sergi, Kosmidis, Leonidas, Tabani, Hamid, Hernandez, Carles, Abella, Jaume, Cazorla, Francisco J.
Published in IEEE MICRO (01.11.2018)
Published in IEEE MICRO (01.11.2018)
Get full text
Journal Article
Publication
Achieving Diverse Redundancy for GPU Kernels
Alcaide, Sergi, Kosmidis, Leonidas, Hernandez, Carles, Abella, Jaume
Published in IEEE transactions on emerging topics in computing (01.04.2022)
Published in IEEE transactions on emerging topics in computing (01.04.2022)
Get full text
Journal Article
High-Integrity GPU Designs for Critical Real-Time Automotive Systems
Alcaide, Sergi, Kosmidis, Leonidas, Hernandez, Carles, Abella, Jaume
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Published in 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2019)
Get full text
Conference Proceeding
Timing of Autonomous Driving Software: Problem Analysis and Prospects for Future Solutions
Alcon, Miguel, Tabani, Hamid, Kosmidis, Leonidas, Mezzetti, Enrico, Abella, Jaume, Cazorla, Francisco J.
Published in 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.04.2020)
Published in 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.04.2020)
Get full text
Conference Proceeding
Software-only based Diverse Redundancy for ASIL-D Automotive Applications on Embedded HPC Platforms
Alcaide, Sergi, Kosmidis, Leonidas, Hernandez, Carles, Abella, Jaume
Published in 2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) (19.10.2020)
Published in 2020 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) (19.10.2020)
Get full text
Conference Proceeding
High-Integrity Performance Monitoring Units in Automotive Chips for Reliable Timing V&V
Mezzetti, Enrico, Kosmidis, Leonidas, Abella, Jaume, Cazorla, Francisco J.
Published in IEEE MICRO (01.01.2018)
Published in IEEE MICRO (01.01.2018)
Get full text
Journal Article
Publication
Formal Methods for High Integrity GPU Software Development and Verification
Aspetakis, Dimitris, Kosmidis, Leonidas, Trompouki, Matina Maria, Ruiz, Jose, Marosy, Gabor
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Get full text
Conference Proceeding
GPU4S: Major Project Outcomes, Lessons Learnt and Way Forward
Kosmidis, Leonidas, Rodriguez, Ivan, Jover-Alvarez, Alvaro, Alcaide, Sergi, Lachaize, Jerome, Notebaert, Olivier, Certain, Antoine, Steenari, David
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Get full text
Conference Proceeding
A cache design for probabilistically analysable real-time systems
Kosmidis, Leonidas, Abella, Jaume, Quinones, Eduardo, Cazorla, Francisco J.
Published in 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2013)
Published in 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2013)
Get full text
Conference Proceeding
GPU4S: Embedded GPUs in space - Latest project updates
Kosmidis, Leonidas, Rodriguez, Iván, Jover, Álvaro, Alcaide, Sergi, Lachaize, Jérôme, Abella, Jaume, Notebaert, Olivier, Cazorla, Francisco J., Steenari, David
Published in Microprocessors and microsystems (01.09.2020)
Published in Microprocessors and microsystems (01.09.2020)
Get full text
Journal Article
Contention Tracking in GPU Last-Level Cache
Barrera, Javier, Kosmidis, Leonidas, Tabani, Hamid, Abella, Jaume, Cazorla, Francisco J.
Published in 2022 IEEE 40th International Conference on Computer Design (ICCD) (01.10.2022)
Published in 2022 IEEE 40th International Conference on Computer Design (ICCD) (01.10.2022)
Get full text
Conference Proceeding
Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study
Benito, Marc, Trompouki, Matina Maria, Kosmidis, Leonidas, Garcia, Juan David, Carretero, Sergio, Wenger, Ken
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Published in 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.02.2021)
Get full text
Conference Proceeding
Assessing the Adherence of an Industrial Autonomous Driving Framework to ISO 26262 Software Guidelines
Tabani, Hamid, Kosmidis, Leonidas, Abella, Jaume, Cazorla, Francisco J., Bernat, Guillem
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Get full text
Conference Proceeding
The METASAT Model-Based Engineering Workflow and Digital Twin Concept
Calderon, Alejandro J., Yarza, Irune, Sinisi, Stefano, Lazzara, Lorenzo, Di Valerio, Valerio, Stazi, Giulia, Kosmidis, Leonidas, Trompouki, Matina M., Ulisse, Alessandro, Amonarriz, Aitor, Onaindia, Peio
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)
Get full text
Conference Proceeding
Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms
Alcaide Portet, Sergi, Kosmidis, Leonidas, Hernandez, Carles, Abella, Jaume
Published in 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S) (01.06.2020)
Published in 2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S) (01.06.2020)
Get full text
Conference Proceeding
Efficient Cache Designs for Probabilistically Analysable Real-Time Systems
Kosmidis, Leonidas, Abella, Jaume, Quinones, Eduardo, Cazorla, Francisco J.
Published in IEEE transactions on computers (01.12.2014)
Published in IEEE transactions on computers (01.12.2014)
Get full text
Journal Article