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. 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.
- 2016. Modeling inheritance when building an object-oriented program model in terms of Petri nets.
- 2018.
- 2016. Formalization of the hierarchy of names in object-oriented programming languages.
- 2018.
- 2018.
- 2018.
- 2014. Modeling function calls in program control flow in terms of Petri Nets
- 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
- 2018.
- 2018.
- 2013. The method of automatic generation of scripts in DBMS.
- 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
- 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.
- 2013. Analyzing memory performance in NUMA nodes of a computational cluster.
- 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.
- 2011. On a representation of a function in the model of an imperative program in terms of Petri nets.
- 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).
- 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.
- 2015. One approach to store program source code in a database.
- 2012. Extension of the C ++ language for the specification of objects, class interfaces, and the principles of geometric decomposition.
- 2012. The WBS system as an advanced tool for managing the computing environment.
- 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)
- 2014. Analysis of control systems for running jobs on a cluster.