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 |
| Автори та афіліації: |
|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2025
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/845 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |