Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)

Автор: AdaCore

Загружено: 2023-06-27

Просмотров: 606

Описание:

Prof. Luis Miguel Pinho - Polytechnic Institute of Porto & INESC TEC, Porto, Portugal

Developing real-time systems applications requires programming paradigms that can effectively handle the specification of concurrent activities and timing constraints, as well as controlling their execution on a particular platform. This difficult task is increasingly more complex due to the prevailing trend for high performance, and the use of fine-grained parallel execution. This talk will analyze the state-of-the-art and challenges for the development of real-time parallel applications, discussing how the parallel capabilities foreseen in the Ada 2022 standard support real-time parallel programming, and which open issues still remain, comparing with competing initiatives for real-time parallel support, such as the ones proposed for OpenMP.

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)

SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)

Вебинар «Безопасность памяти с формальным доказательством»

Вебинар «Безопасность памяти с формальным доказательством»

Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)

Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)

How to run Ada and SPARK code on NVIDIA GPUs and CUDA

How to run Ada and SPARK code on NVIDIA GPUs and CUDA

Scaling Latent Reasoning via Looped Language Model (in Chinese)

Scaling Latent Reasoning via Looped Language Model (in Chinese)

AdaCore GAP Workshop, June 21, 2023

AdaCore GAP Workshop, June 21, 2023

Признаки свержения автократий. S09E20

Признаки свержения автократий. S09E20

Навигация по Марсу с Rust: испытание Rust с помощью марсохода M.A.R.S.

Навигация по Марсу с Rust: испытание Rust с помощью марсохода M.A.R.S.

Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)

Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)

Webinar | Introduction to Formal Verification with SPARK

Webinar | Introduction to Formal Verification with SPARK

Про болезнь Рамзана, аварию Адама Кадырова и агентов в Европе🎙️ Честное слово с Тумсо Абдурахмановым

Про болезнь Рамзана, аварию Адама Кадырова и агентов в Европе🎙️ Честное слово с Тумсо Абдурахмановым

«Когда мы что-то видим, мы всегда что-то не видим» // «Скажи Гордеевой»

«Когда мы что-то видим, мы всегда что-то не видим» // «Скажи Гордеевой»

Компания Salesforce признала свою ошибку.

Компания Salesforce признала свою ошибку.

Изучите Microsoft Active Directory (ADDS) за 30 минут

Изучите Microsoft Active Directory (ADDS) за 30 минут

🔵LIVE! Отдадут ли Гренландию Трампу в Давосе? Что будет с НАТО, Европой и Украиной?

🔵LIVE! Отдадут ли Гренландию Трампу в Давосе? Что будет с НАТО, Европой и Украиной?

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)

Основы ПЛК: структурированный текст

Основы ПЛК: структурированный текст

Webinar | SPARK Pro for Embedded and Systems Programming

Webinar | SPARK Pro for Embedded and Systems Programming

Лавров осудил Трампа. Камчатка просит о помощи из-за снежного коллапса. Скандал с семьей Бэкхемов

Лавров осудил Трампа. Камчатка просит о помощи из-за снежного коллапса. Скандал с семьей Бэкхемов

Ray Kurzweil: The Singularity Has Started, Merging with AI, Humanity 1000x Smarter by 2045

Ray Kurzweil: The Singularity Has Started, Merging with AI, Humanity 1000x Smarter by 2045

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: infodtube@gmail.com