Models of concurrent program running in resource constrained environment
The paper considers concurrent program modeling using resource constrained automatons. Several software samples are considered: real time operational systems, video processing including object recognition, neural network inference, common linear systems solving methods for physical processes model...
Збережено в:
| Дата: | 2020 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут програмних систем НАН України
2020
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/180460 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Models of concurrent program running in resource constrained environment / D. Rahozin // Проблеми програмування. — 2020. — № 2-3. — С. 149-156. — Бібліогр.: 11 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-180460 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1804602021-09-30T01:26:20Z Models of concurrent program running in resource constrained environment Rahozin, D. Прикладне програмне забезпечення The paper considers concurrent program modeling using resource constrained automatons. Several software samples are considered: real time operational systems, video processing including object recognition, neural network inference, common linear systems solving methods for physical processes modeling. The source code annotating and automatic extraction of program resource constraints with the help of profiling software are considered, this enables the modeling for concurrent software behavior with minimal user assistance. В работе рассмотрено моделирование параллельных программ с помощью автоматов с ресурсными ограничениями. Рассмотрен ряд примеров программ: операционные системы реального времени, обработка видео и распознавание образоив в видеопотоке, вывод в нейросетях, типовые методы решения систем линейных уравнений для моделирования физических процессов. Рассмотрено аннотирование исходного кода и автоматическое получение ресурсных ограничений программы с помощью программ-профилировщиков, что позволяет моделировать поведение параллельно программы с минимальной помощью пользователя. У роботі розглянуто моделювання паралельних програм за допомогою автоматів з ресурсними обмеженнями. Розглянуто певні приклади програм: операційні системи реального часу, обробка відео та розпізнавання образів у відеопотоці, вивід у нейромережах, типові методи розв’язку систем лінійних рівнянь для моделювання фізичних процесів. Розглянуто анотування вихідного коду та автоматичне отримання ресурсних обмежень програми за допомогою програм-профайлерів, що дозволяє моделювати поведінку паралельної програми з мінімальною допомогою користувача. 2020 Article Models of concurrent program running in resource constrained environment / D. Rahozin // Проблеми програмування. — 2020. — № 2-3. — С. 149-156. — Бібліогр.: 11 назв. — англ. 1727-4907 DOI: https://doi.org/10.15407/pp2020.02-03.149 http://dspace.nbuv.gov.ua/handle/123456789/180460 681.3 en Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Прикладне програмне забезпечення Прикладне програмне забезпечення |
| spellingShingle |
Прикладне програмне забезпечення Прикладне програмне забезпечення Rahozin, D. Models of concurrent program running in resource constrained environment Проблеми програмування |
| description |
The paper considers concurrent program modeling using resource constrained automatons. Several software samples are considered: real time operational systems, video processing including object recognition, neural network inference, common linear systems solving methods for physical processes modeling. The source code annotating and automatic extraction of program resource constraints with the help of profiling software are considered, this enables the modeling for concurrent software behavior with minimal user assistance. |
| format |
Article |
| author |
Rahozin, D. |
| author_facet |
Rahozin, D. |
| author_sort |
Rahozin, D. |
| title |
Models of concurrent program running in resource constrained environment |
| title_short |
Models of concurrent program running in resource constrained environment |
| title_full |
Models of concurrent program running in resource constrained environment |
| title_fullStr |
Models of concurrent program running in resource constrained environment |
| title_full_unstemmed |
Models of concurrent program running in resource constrained environment |
| title_sort |
models of concurrent program running in resource constrained environment |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2020 |
| topic_facet |
Прикладне програмне забезпечення |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/180460 |
| citation_txt |
Models of concurrent program running in resource constrained environment / D. Rahozin // Проблеми програмування. — 2020. — № 2-3. — С. 149-156. — Бібліогр.: 11 назв. — англ. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT rahozind modelsofconcurrentprogramrunninginresourceconstrainedenvironment |
| first_indexed |
2023-10-18T22:50:03Z |
| last_indexed |
2023-10-18T22:50:03Z |
| _version_ |
1796156555925651456 |