Zobrazeno 1 - 10 of 15 pro vyhledávání: '"Legalov, A. I."'
1
Akademický článek
Transformation of C Programming Language Memory Model into Object-Oriented Representation of EO Language.
Autor: Legalov, A. I., Bugayenko, Y. G., Chuykin, N. K., Shipitsin, M. V., Riabtsev, Y. I., Kamenskiy, A. N.
Publikováno v: Automatic Control & Computer Sciences; Dec2023, Vol. 57 Issue 7, p803-816, 14p
Zobrazit plný text záznamu
2
Akademický článek
Methods for Changing Parallelism in the Process of High-Level VLSI Synthesis.
Autor: Ryzhenko, I. N., Nepomnyaschy, O. V., Legalov, A. I., Shaidurov, V. V.
Publikováno v: Automatic Control & Computer Sciences; Dec2023, Vol. 57 Issue 7, p696-705, 10p
Zobrazit plný text záznamu
3
Akademický článek
Dynamically Changing Parallelism with Asynchronous Sequential Data Flows.
Autor: Legalov, A. I., Matkovskii, I. V., Ushakova, M. S., Romanova, D. S.
Publikováno v: Automatic Control & Computer Sciences; Dec2021, Vol. 55 Issue 7, p636-646, 11p
Zobrazit plný text záznamu
4
A toolkit for supporting formal verification of programs in the functional data-flow parallel programming language
Autor: Ushakova, M. S., Legalov, A. I.
Работа посвящена разработке архитектуры инструментальных средств для поддержки формальной верификации функционально-потоковых парал
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2425::7482a87792f46d7e2dcd408625bfd1e1
http://dspace.susu.ac.ru/xmlui/handle/0001.74/6500
Zobrazit plný text záznamu
5
Маршруты высокоуровневого синтеза сверхбольших интегральных схем
Autor: Nepomnyashchy, Oleg V., Legalov, Alexander I., Sirotinina, Natalia J.
Design flows for very-large-scale integration circuit are considered. The problems arising from the realization of the project using top-down and system design methods are highlighted. The technology of an architecture-independent design for computer
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::83985bc9cae311c7718af99935ce83f0
https://openrepository.ru/article?id=764954
Zobrazit plný text záznamu
6
Integration Automated Storage into Information System of Electronic Factory
Autor: Kazantcev, Mikhail А., Legalov, Alexander I., Chemidov, Igor V.
Рассмотрено комплексное решение, обеспечивающее автоматизацию подготовки комплектующих для организации производства с применением а
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9cf9180a0cb702af1a8ed691a8cccd4a
https://openrepository.ru/article?id=762266
Zobrazit plný text záznamu
7
Akademický článek
Verification of Programs with Mutual Recursion in Pifagor Language.
Autor: Ushakova, M. S., Legalov, A. I.
Publikováno v: Automatic Control & Computer Sciences; Dec2018, Vol. 52 Issue 7, p850-866, 17p
Zobrazit plný text záznamu
8
Akademický článek
Loop-invariant Optimization in the Pifagor Language.
Autor: Vasilev, V. S., Legalov, A. I.
Publikováno v: Automatic Control & Computer Sciences; Dec2018, Vol. 52 Issue 7, p843-849, 7p
Zobrazit plný text záznamu
9
Design of Environment for Multicriterial Analysis of Complex Engineering Systems
Autor: Legalov, Alexander I., Ledyaev, Dmitry N., Ankudinov, Alexander V.
Предлагаются инструментальные программные средства, обеспечивающие конструирование среды многокритериального анализа сложных систе
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::02c2c5810b6e68f6331fb858211e57d1
https://openrepository.ru/article?id=755807
Zobrazit plný text záznamu
10
Debug and Verification of Function-Stream Parallel Programs
Autor: Udalova, Julia V., Legalov, Alexander I., Sirotinina, Natalie U.
В статье предлагаются методы отладки функционально-потоковых параллельных программ, обеспечивающие гибкий анализ параллельных процес
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2325b406b559fe418e91aafba3294259
https://openrepository.ru/article?id=764372
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje