Зображення обкладинки

Algebra-dynamic models for program parallelization

We propose algebra-dynamic models and a method for checking correctness of optimizing transformations for multithread programs and programs for graphical processing units. Proposed models are used together with rewriting rules technique to prove correctness of transformations and increase effectiven...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2025
Випуск:1
Сторінки:39-55
ISSN:1727-4907
Автори та афіліації:
  • A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
  • K.A. Zhe­reb — Institute of Software Systems NAS of Ukraine
Автори: Doroshenko, A.Yu., Zhe­reb, K.A.
Формат: Стаття
Мова:Російська
Опубліковано: PROBLEMS IN PROGRAMMING 2025
Теми:
UDC 681.3
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/845
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Схожі ресурси

Схожі ресурси