Models of concurrent program running in resource constrained environment

• Дата: 2020
• Автор: Rahozin, D.V.
• Формат: Стаття
• Мова: English
• Опубліковано: Інститут програмних систем НАН України 2020
• Теми: concurrent programs; program annotation; software modeling; automatons; UDC 681.3
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/406
• Назва журналу: Problems in programming

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