Models of concurrent program running in resource constrained environment

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...

Ausführliche Beschreibung

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

Ähnliche Einträge