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...
Gespeichert in:
| Veröffentlicht in: | Проблеми програмування |
|---|---|
| Datum: | 2020 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2020
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/180460 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Models of concurrent program running in resource constrained environment / D. Rahozin // Проблеми програмування. — 2020. — № 2-3. — С. 149-156. — Бібліогр.: 11 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862718751439323136 |
|---|---|
| author | Rahozin, D. |
| author_facet | Rahozin, D. |
| citation_txt | Models of concurrent program running in resource constrained environment / D. Rahozin // Проблеми програмування. — 2020. — № 2-3. — С. 149-156. — Бібліогр.: 11 назв. — англ. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| 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.
В работе рассмотрено моделирование параллельных программ с помощью автоматов с ресурсными ограничениями. Рассмотрен ряд примеров программ: операционные системы реального времени, обработка видео и распознавание образоив в видеопотоке, вывод в нейросетях, типовые методы решения систем линейных уравнений для моделирования физических процессов. Рассмотрено аннотирование исходного кода и автоматическое получение ресурсных ограничений программы с помощью программ-профилировщиков, что позволяет моделировать поведение параллельно программы с минимальной помощью пользователя.
У роботі розглянуто моделювання паралельних програм за допомогою автоматів з ресурсними обмеженнями. Розглянуто певні приклади програм: операційні системи реального часу, обробка відео та розпізнавання образів у відеопотоці, вивід у нейромережах, типові методи розв’язку систем лінійних рівнянь для моделювання фізичних процесів. Розглянуто анотування вихідного коду та автоматичне отримання ресурсних обмежень програми за допомогою програм-профайлерів, що дозволяє моделювати поведінку паралельної програми з мінімальною допомогою користувача.
|
| first_indexed | 2025-12-07T18:16:34Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180460 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | English |
| last_indexed | 2025-12-07T18:16:34Z |
| publishDate | 2020 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Rahozin, D. 2021-09-29T15:54:11Z 2021-09-29T15:54:11Z 2020 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 https://nasplib.isofts.kiev.ua/handle/123456789/180460 681.3 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. В работе рассмотрено моделирование параллельных программ с помощью автоматов с ресурсными ограничениями. Рассмотрен ряд примеров программ: операционные системы реального времени, обработка видео и распознавание образоив в видеопотоке, вывод в нейросетях, типовые методы решения систем линейных уравнений для моделирования физических процессов. Рассмотрено аннотирование исходного кода и автоматическое получение ресурсных ограничений программы с помощью программ-профилировщиков, что позволяет моделировать поведение параллельно программы с минимальной помощью пользователя. У роботі розглянуто моделювання паралельних програм за допомогою автоматів з ресурсними обмеженнями. Розглянуто певні приклади програм: операційні системи реального часу, обробка відео та розпізнавання образів у відеопотоці, вивід у нейромережах, типові методи розв’язку систем лінійних рівнянь для моделювання фізичних процесів. Розглянуто анотування вихідного коду та автоматичне отримання ресурсних обмежень програми за допомогою програм-профайлерів, що дозволяє моделювати поведінку паралельної програми з мінімальною допомогою користувача. en Інститут програмних систем НАН України Проблеми програмування Прикладне програмне забезпечення Models of concurrent program running in resource constrained environment Модели параллельной программы, работающей в среде, ограниченном ресурсами Моделі паралельної програми, що працює в середовищі, обмеженому ресурсами Article published earlier |
| spellingShingle | Models of concurrent program running in resource constrained environment Rahozin, D. Прикладне програмне забезпечення |
| title | Models of concurrent program running in resource constrained environment |
| title_alt | Модели параллельной программы, работающей в среде, ограниченном ресурсами Моделі паралельної програми, що працює в середовищі, обмеженому ресурсами |
| 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_short | Models of concurrent program running in resource constrained environment |
| title_sort | models of concurrent program running in resource constrained environment |
| topic | Прикладне програмне забезпечення |
| topic_facet | Прикладне програмне забезпечення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180460 |
| work_keys_str_mv | AT rahozind modelsofconcurrentprogramrunninginresourceconstrainedenvironment AT rahozind modeliparallelʹnoiprogrammyrabotaûŝeivsredeograničennomresursami AT rahozind modelíparalelʹnoíprogramiŝopracûêvseredoviŝíobmeženomuresursami |