Alexander I. Legalov

According to our database, Alexander I. Legalov authored at least 18 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Methods for Changing Parallelism in the Process of High-Level VLSI Synthesis.

Igor N. Ryzhenko, Oleg V. Nepomnyaschy, Alexander Ivanovich Legalov, V. V. Shaidurov

Autom. Control. Comput. Sci., December, 2023

Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language.

Alexander Ivanovich Legalov, Yegor G. Bugayenko, Nikolay K. Chuykin, Maksim V. Shipitsin, Yaroslav I. Riabtsev, Andrey N. Kamenskiy

Autom. Control. Comput. Sci., December, 2023

2022

Transformation of Functional Dataflow Parallel Programs into Imperative Programs.

Vladimir S. Vasilev, Alexander I. Legalov, Sergey V. Zykov

Autom. Control. Comput. Sci., December, 2022

2021

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows.

Alexander Ivanovich Legalov, Ivan V. Matkovskii, Mariya S. Ushakova, Darya S. Romanova

Autom. Control. Comput. Sci., 2021

Eolang: Toward a New Java-Based Object-Oriented Programming Language.

Hadi M. Saleh, Sergey V. Zykov, Alexander I. Legalov

Proceedings of the Intelligent Decision Technologies, 2021

Exploring the Eolang-Java Integration and Interoperability.

Hadi M. Saleh, Joseph Afriyie Attakorah, Sergey V. Zykov, Alexander I. Legalov

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

2020

Evolution of Visualization Methods for Research Publication Collections.

Alexander I. Legalov, Igor A. Legalov, Ivan V. Matkovsky

Russ. Digit. Libr. J., 2020

Asynchronous-streamed model for describing dynamically changing parallelism.

Alexander I. Legalov, Darya Romanova

Proceedings of the 2nd International Workshop on Information, 2020

2019

Specifics of Semantics of a Statically Typed Language of Functional and Dataflow Parallel Programming.

Alexander I. Legalov, Igor A. Legalov, Ivan V. Matkovsky

Proceedings of the 21st Conference on Scientific Services & Internet (SSI-2019), 2019

2018

Loop-invariant Optimization in the Pifagor Language.

Vladimir S. Vasilev, Alexander I. Legalov

Autom. Control. Comput. Sci., 2018

Verification of Programs with Mutual Recursion in Pifagor Language.

Mariya S. Ushakova, Alexander I. Legalov

Autom. Control. Comput. Sci., 2018

2017

Associative synthesis of finite state automata model of a controlled object with hyperdimensional computing.

Evgeny Osipov, Denis Kleyko, Alexander I. Legalov

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

2016

Application of numerical optimization methods to molecular docking on graphics processing units.

M. A. Farkov, Alexander Ivanovich Legalov

Autom. Control. Comput. Sci., 2016

2013

Tail recursion transformation in functional dataflow parallel programs.

Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva

Autom. Control. Comput. Sci., 2013

Formal verification of programs in the functional data-flow parallel language.

Mariya S. Kropacheva, Alexander I. Legalov

Autom. Control. Comput. Sci., 2013

Formal Verification of Programs in the Pifagor Language.

Mariya S. Kropacheva, Alexander I. Legalov

Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013

2009

Solution of Large-Scale Problems of Global Optimization on the Basis of Parallel Algorithms and Cluster Implementation of Computing Processes.

Vladimir Dmitrievich Koshur, Dmitriy Kuzmin, Aleksandr Ivanovich Legalov, Kirill Pushkaryov

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

2003

Protective Laminar Composites Design Optimisation Using Genetic Algorithm and Parallel Processing.

Mikhail Alexandrovich Vishnevsky, Vladimir Dmitrievich Koshur, Alexander Ivanovich Legalov, Eugenij Moiseevich Mirkes

Proceedings of the Parallel Computing Technologies, 2003