Abstract
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.
Publisher
National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka)
Reference11 articles.
1. 1. Prusow V.A., Doroshenko A.Yu. Modeling natural and technogenic processes in atmosphere. Kyiv: Naukova dumka, 2006. 541 p.
2. Model-Based implementation of Parallel Real-Time Systems;Triki;Verimag Research Report TR-,2013
3. 3. Rahozin D. A resource limited parallel program model. Problems in Programming. 2008. N 4. P. 3-10.
4. 4. Kaynar D., Lynch N., Segala R., Vaandrager F. The Theory of Timed I/O Automata. Morgan&Claypool. 2011. 137 p.
5. A formal model for Real-time Parallel computations;Hui;In Proc Of FTSCS-2012,2012
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Performance Model for Convolutional Neural Networks;Mathematical Modeling and Simulation of Systems;2022