Kharitonov Dmitry Ivanovich
PhD (Tech.)
senior scientific employee
Отдел поддержки научных сервисов и высокопроизводительных вычислений (ОПНСиВВ)
403
2-320-702
2-60
demiurg@iacp.dvo.ru
Senior Researcher
Head of Shared Resource Center «Far Eastern Computing Resource» (cc.dvo.ru, http://iacp.dvo.ru/structure/collective/centr3)
Fields of interest: Software Engineering, Programming Languages, Formal Verification, Petri Nets, Program Analysis, Petri Nets Modeling, Applied mathematics, Parallel and Distributed Computing, Information systems design and development, Distributed systems, Supercomputing.
- 2018.
- 2018.
- 2014. Modeling function calls in program control flow in terms of Petri Nets
- 2018.
- 2018.
- 2018.
- 2010. Kharitonov D.I., Odiakova D.S., Tarasov G.V., Golenkov E.A. Two-level formation of missions for autonomous underwater robots // Underwater Research and Robotics. 2010. N1(9). Pp. 14-22. (in Russian)
- 2017. On construction of MPI library simplified model in terms of Petri nets
- 2011. Lucenko N.A., Miroshnichenko T.P., Odyakova D.S., Kharitonov D.I., Parallel implementation of the algorithm for calculating two-dimensional unsteady gas flows through porous objects with heat sources.// Computational technologies - Volume 16, № 2, 2011. (in Russian)
- 2010. Lutsenko N.A., Miroshnichenko T.P., Odyakova D.S., Kharitonov D.I. Implementation of Algorithm for Calculation of Gas Flow through Porous Media with Heat Sources. First Russia and Pacific Conference on Computer Technology and Applications (RPC 2010), Vladivostok, September 6-9, 2010., pp. 198-201
- 2011. On a representation of a function in the model of an imperative program in terms of Petri nets.
- 2015. Kharitonov D.I., Golenkov E.A., Tarasov G.V., Leontyev D.V. A Method of Sample Models of Program Construction in Terms of Petri Nets // Modeling and Analysis of Information Systems. - 2015. - Vol. 22, N 4 - P. 563-577.
- 2017. Kharitonov D.I., Tarasov G.V., Leontiev D.V., Parakhin R.V., Gribova V.V. Development prospects of the Shared Resources Center "Far Eastern Computing Resource" / / all-Russian conference "centers for collective use and unique scientific installations of organizations subordinate to the FANO of Russia", October 25-27, 2017. Moscow, FANO, 2017. 5 p.
- 2013. Analyzing memory performance in NUMA nodes of a computational cluster.
- 2018.
- 2014. Analysis of control systems for running jobs on a cluster.
- 2015. One approach to store program source code in a database.
- 2018. D. Kharitonov, G. Tarasov, E. Golenkov. Modeling of Object-Oriented Programs with Petri Net Structured Objects // Computing and Informatics. - 2017. - No. 5, Vol. 36. - P. 1063-1087. doi: 10.4149/cai_2017_5_1063.
- 2012. The WBS system as an advanced tool for managing the computing environment.
- 2016. Formalization of the hierarchy of names in object-oriented programming languages.
- 2022. Leontyev D.V., Kharitonov D.I. Constructing of the brief reachability tree for program models in terms of Petri nets // Systems and Means of Informatics. 2022. Vol. 32, no 2. Pp. 23-35. https://doi.org/10.14357/08696527220203. (in Russian).
- 2018.
- 2018.
- 2016. Kharitonov D. I., Tarasov G. V., Leontyev D. V., Parakhin R. V., Gribova V. V. Current status and development perspectives of the Shared Resources Center "Far Eastern Computing Resource" // Software systems: theory and applications. 2016. Vol. 7. No. 4 (31). C. 197-208.
- 2018.
- 2013. The method of automatic generation of scripts in DBMS.
- 2016. Modeling inheritance when building an object-oriented program model in terms of Petri nets.
- 2012. Extension of the C ++ language for the specification of objects, class interfaces, and the principles of geometric decomposition.
- 2018.