Author of the publication

Towards an OpenMP Specification for Critical Real-Time Systems.

, , and . IWOMP, volume 11128 of Lecture Notes in Computer Science, page 143-159. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Functional Safety OpenMP ^* for Critical Real-Time Embedded Systems., , , , and . IWOMP, volume 10468 of Lecture Notes in Computer Science, page 231-245. Springer, (2017)High-level compiler analysis for OpenMP.. Polytechnic University of Catalonia, Spain, (2018)Framework for the Analysis and Configuration of Real-Time OpenMP Applications., , , , , and . INDIN, page 1-8. IEEE, (2023)A lightweight OpenMP4 run-time for embedded systems., , , , and . ASP-DAC, page 43-49. IEEE, (2016)Compiler analysis for OpenMP tasks correctness., , , and . Conf. Computing Frontiers, page 7:1-7:8. ACM, (2015)The Cooperative Parallel: A Discussion About Run-Time Schedulers for Nested Parallelism., , , , , and . IWOMP, volume 11718 of Lecture Notes in Computer Science, page 171-185. Springer, (2019)OpenMP Tasking Model for Ada: Safety and Correctness., , , and . Ada-Europe, volume 10300 of Lecture Notes in Computer Science, page 184-200. Springer, (2017)A Toolchain to Verify the Parallelization of OmpSs-2 Applications., , , and . Euro-Par, volume 12247 of Lecture Notes in Computer Science, page 18-33. Springer, (2020)Heuristic-based Task-to-Thread Mapping in Multi-Core Processors., , , , and . ETFA, page 1-4. IEEE, (2022)Compiler Automatic Discovery of OmpSs Task Dependencies., , and . LCPC, volume 7760 of Lecture Notes in Computer Science, page 234-248. Springer, (2012)