Публикации: Легалов Александр Иванович

  1. Improve method for processing dental images with fast spatial filter and shearlet transform [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Cadena F., Legalov A.
    2019, Lecture Notes in Engineering and Computer Science
    присутствует в Scopus
  2. Verification of Programs with Mutual Recursion in Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
    присутствует в Web of Science, Scopus
  3. Loop-invariant Optimization in the Pifagor Language [статья из журнала]
    2018, AUTOMATIC CONTROL AND COMPUTER SCIENCES
    присутствует в Web of Science, Scopus
  4. Инструментальные средства конструирования среды многокритериального анализа, ориентированной на требуемую предметную область [статья из журнала]
    2018, Успехи современной радиоэлектроники
    присутствует в eLIBRARY.RU
  5. Особенности разработки и преобразования функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018
    присутствует в eLIBRARY.RU
  6. Инструментальная поддержка эволюционного расширения программ при инкрементальной разработке [статья из журнала]
    2018, Научный сервис в сети Интернет
    присутствует в eLIBRARY.RU
  7. МЕТОДЫ, АЛГОРИТМЫ И ПРОГРАММНЫЕ ИНСТРУМЕНТЫ АРХИТЕКТУРНО НЕЗАВИСИМОГО ВЫСОКОУРОВНЕВОГО СИНТЕЗА ОДНОКРИСТАЛЬНЫХ ЦИФРОВЫХ СИСТЕМ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Суперкомпьютерные технологии (СКТ-2018)
    присутствует в eLIBRARY.RU
  8. A toolkit for the development of data-driven functional parallel programmes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2018, Communications in Computer and Information Science
    присутствует в Scopus, eLIBRARY.RU
  9. Верификация программ со взаимной рекурсией на языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
    присутствует в eLIBRARY.RU
  10. Оптимизация инварианта цикла в языке Пифагор [статья из журнала]
    2018, Моделирование и анализ информационных систем
    присутствует в eLIBRARY.RU
  11. Associative Synthesis of Finite State Automata Model of a Controlled Object with Hyperdimensional Computing [доклад, тезисы доклада, статья из сборника материалов конференций]
    Osipov Evgeny, Kleyko Denis, Legalov Alexander
    2017, IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY
    присутствует в Web of Science (1 цит.), Scopus (1 цит.), eLIBRARY.RU
  12. Noise reduction techniques for processing of medical images [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Zotin A., Cadena F., Korneeva A., Legalov A., Morales B.
    2017, Lecture Notes in Engineering and Computer Science
    присутствует в Scopus (4 цит.), eLIBRARY.RU (1 цит.)
  13. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ [статья из журнала]
    2017, Труды Института системного программирования РАН
    присутствует в eLIBRARY.RU (4 цит.)
  14. Изменение стратегий управления вычислениями при архитектурно-независимом параллельном программировании [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Научный сервис в сети Интернет
    присутствует в eLIBRARY.RU
  15. Brain's tumor image processing using shearlet transform [доклад, тезисы доклада, статья из сборника материалов конференций]
    Cadena L., Espinosa N., Cadena F., Korneeva A., Kruglyakov A., Legalov A., Romanenko A., Zotin A.
    2017, Proceedings of SPIE - The International Society for Optical Engineering
    присутствует в Web of Science, Scopus (2 цит.), eLIBRARY.RU
  16. Эволюционная разработка программ с применением процедурно-параметрической парадигмы [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
    присутствует в eLIBRARY.RU
  17. Языковая поддержка архитектурно-независимого параллельного программирования [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Языки программирования и компиляторы - 2017
    присутствует в eLIBRARY.RU
  18. Methods and Algorithms for a High-Level Synthesis of the Very-Large-Scale Integration [статья из журнала]
    2016, WSEAS Transactions on Computers
    присутствует в eLIBRARY.RU
  19. Модель планирования на предприятии радиоэлектронной промышленности [статья из журнала]
    2016, Электронные средства и системы управления
    присутствует в eLIBRARY.RU
  20. Эволюционное расширение программ с использованием процедурно-параметрического подхода [статья из журнала]
    Легалов Александр Иванович, Косов Павел Владимирович
    2016, Вычислительные технологии
    присутствует в eLIBRARY.RU (2 цит.)
  21. Application of numerical optimization methods to molecular docking on graphics processing units [статья из журнала]
    Farkov M. A., Legalov A. I.
    2016, Australian Journal of Political Science
    присутствует в Web of Science, Scopus, eLIBRARY.RU
  22. Оптимизация хвостового вызова в языке «Пифагор» [доклад, тезисы доклада, статья из сборника материалов конференций]
    2015, Материалы 53-й Международной научной студенческой конференции МНСК-2015: Информационные технологии
  23. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    2015, Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика
    присутствует в eLIBRARY.RU
  24. ИСПОЛЬЗОВАНИЕ ПРОЦЕДУР С ОДИНАКОВОЙ СИГНАТУРОЙ ДЛЯ ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ [статья из журнала]
    2015, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (1 цит.)
  25. Разработка языка управления космическими аппаратами [статья из журнала]
    2015, Информационно-управляющие системы
    присутствует в eLIBRARY.RU (1 цит.)
  26. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭВОЛЮЦИОННОГО РАСШИРЕНИЯ ПРОГРАММ СРЕДСТВАМИ ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов А. И., Косов П. В.
    2015, Решетневские чтения
    присутствует в eLIBRARY.RU
  27. РАЗРАБОТКА СРЕДСТВ АВТОМАТИЗАЦИИ УПРАВЛЕНИЯ КОСМИЧЕСКИМИ АППАРАТАМИ [статья из журнала]
    Космынина Н. А., Лапин А. А., Легалов А. И.
    2015, Решетневские чтения
    присутствует в eLIBRARY.RU
  28. ВЗАИМОДЕЙСТВИЕ СИСТЕМ СКЛАДСКОГО УЧЕТА И КОМПЛЕКТАЦИИ С СИСТЕМОЙ ПЛАНИРОВАНИЯ И ДИСПЕТЧЕРИЗАЦИИ ПРОИЗВОДСТВА В ЕДИНОМ ИНФОРМАЦИОННОМ ПРОСТРАНСТВЕ ПРЕДПРИЯТИЯ РАДИОЭЛЕКТРОННОЙ ПРОМЫШЛЕННОСТИ [статья из журнала]
    2015, Электронные средства и системы управления
    присутствует в eLIBRARY.RU
  29. Улучшение реализации метода дифференциальной эволюции на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
    присутствует в eLIBRARY.RU
  30. ТЕХНОЛОГИЯ АРХИТЕКТУРНО-НЕЗАВИСИМОГО, ВЫСОКОУРОВНЕВОГО СИНТЕЗА СВЕРХБОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (1 цит.)
  31. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ МЕТОДОМ ИНДУКТИВНЫХ УТВЕРЖДЕНИЙ [статья из журнала]
    2014, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (1 цит.)
  32. Интеграция автоматизированных складских комплексов в информационную систему предприятия радиоэлектронной промышленности [статья из журнала]
    2014, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в eLIBRARY.RU (3 цит.)
  33. Применение методов оптимизации для выполнения молекулярного докинга на графических процессорах [статья из журнала]
    Фарков Михаил Александрович, Легалов Александр Иванович
    2014, Моделирование и анализ информационных систем
    присутствует в eLIBRARY.RU
  34. КОМПЛЕКСНАЯ АВТОМАТИЗАЦИЯ УПРАВЛЕНИЯ ПРОИЗВОДСТВОМ ОАО «НПП «РАДИОСВЯЗЬ» [статья из журнала]
    2014, Ползуновский вестник
    присутствует в eLIBRARY.RU
  35. Методология мутационного тестирования для наземных испытаний бортовой аппаратуры космических аппаратов [статья из журнала]
    НЕДОРЕЗОВ Дмитрий Александрович, ЛЕГАЛОВ Александр Иванович, НЕПОМНЯЩИЙ Олег Владимирович, КРАСНЕНКО Сергей Сергеевич, АНКУДИНОВ Александр Владимирович
    2014, Системы и средства информатики
    присутствует в eLIBRARY.RU (1 цит.)
  36. Оптимизация хвостовой рекурсии ФПЯП Пифагор [доклад, тезисы доклада, статья из сборника материалов конференций]
    2013, Молодёжь и наука
  37. ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ СОЗДАНИЯ, ПРЕОБРАЗОВАНИЯ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [доклад, тезисы доклада, статья из сборника материалов конференций]
    Легалов А. И., Матковский И. В., Кропачева М. С., Удалова Ю. В., Васильев В. М.
    2013, Научный сервис в сети Интернет: все грани параллелизма
    присутствует в eLIBRARY.RU (2 цит.)
  38. ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
    присутствует в eLIBRARY.RU (1 цит.)
  39. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ЭФФЕКТИВНОГО ИСПОЛЬЗОВАНИЯ ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ГЕТЕРОГЕННЫХ СИСТЕМ [статья из журнала]
    Гризан С. А., Легалов А. И.
    2013, Ползуновский вестник
    присутствует в eLIBRARY.RU
  40. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ТРАНСЛЯЦИИ И ВЫПОЛНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ [статья из журнала]
    2013, Ползуновский вестник
    присутствует в eLIBRARY.RU (1 цит.)
  41. ОТЛАДКА ПРОГРАММ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ПАРАЛЛЕЛЬНОМ ЯЗЫКЕ ПИФАГОР С ПОДСТАНОВКОЙ ИНТЕРВАЛЬНЫХ ЗНАЧЕНИЙ [статья из журнала]
    2013, Ползуновский вестник
    присутствует в eLIBRARY.RU (1 цит.)
  42. Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного программирования [статья из журнала]
    2013, Системы. Методы. Технологии
    присутствует в eLIBRARY.RU (1 цит.)
  43. Formal verification of programs in the functional data-flow parallel language [статья из журнала]
    Kropacheva M. S., Legalov A. I.
    2013, Automatic Control and Computer Sciences
    присутствует в Scopus (3 цит.), eLIBRARY.RU (3 цит.)
  44. Tail recursion transformation in functional dataflow parallel programs [статья из журнала]
    2013, Automatic Control and Computer Sciences
    присутствует в Scopus, eLIBRARY.RU (3 цит.)
  45. Formal Verification of Programs in the Pifagor Language [доклад, тезисы доклада, статья из сборника материалов конференций]
    Kropacheva Mariya, Legalov Alexander
    2013, PARALLEL COMPUTING TECHNOLOGIES (PACT 2013)
    присутствует в Web of Science (1 цит.), Scopus (2 цит.), eLIBRARY.RU (1 цит.)
  46. РАЗРАБОТКА ИНТЕРПРЕТАТОРА СКРИПТОВ УПРАВЛЕНИЯ КОСМИЧЕСКИМ АППАРАТОМ [статья из журнала]
    Космынина Н. А., Легалов А. И.
    2012, Решетневские чтения
    присутствует в eLIBRARY.RU
  47. Разработка интерпретатора командных скриптов для обеспечения автоматизированного управления космическим аппаратом [доклад, тезисы доклада, статья из сборника материалов конференций]
    Космынина Н. А., Легалов А. И.
    2012, Теоретические и прикладные проблемы науки и образования в 21 веке
    присутствует в eLIBRARY.RU
  48. Конструирование среды для многокритериального анализа сложных технических систем [статья из журнала]
    Легалов А. И., Ледяев Д. Н., Анкудинов А. В.
    2012, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в eLIBRARY.RU
  49. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования [статья из журнала]
    Кропачева Мария Сергеевна, Легалов Александр Иванович
    2012, Моделирование и анализ информационных систем
    присутствует в eLIBRARY.RU (4 цит.)
  50. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах [статья из журнала]
    2012, Моделирование и анализ информационных систем
    присутствует в eLIBRARY.RU (2 цит.)
  51. Событийная модель вычислений, поддерживающая выполнение функционально-потоковых параллельных программ [статья из журнала]
    2012, Системы. Методы. Технологии
    присутствует в eLIBRARY.RU (6 цит.)
  52. ОСОБЕННОСТИ ЯЗЫКА ПРОЦЕДУРНО-ПАРАМЕТРИЧЕСКОГО ПРОГРАММИРОВАНИЯ [статья из журнала]
    Легалов Александр Иванович, Солоха Арсений Федорович
    2011, Вестник Новосибирского государственного университета. Серия: Информационные технологии
    присутствует в eLIBRARY.RU (2 цит.)
  53. Методы отладки и верификации функционально-потоковых параллельных программ [статья из журнала]
    2011, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в eLIBRARY.RU (8 цит.)
  54. поддержка многокритериального анализа в сложных иерархических системах [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2010, Вестник Новосибирского государственного университета. Серия: Информационные технологии
    присутствует в eLIBRARY.RU
  55. Расширение модульной структуры программы за счет подключаемых модулей [статья из журнала]
    2010, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (5 цит.)
  56. Об отладке и верификации функционально-потоковых параллельных программ [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
    присутствует в eLIBRARY.RU (1 цит.)
  57. Функционально-потоковое параллельное программирование при асинхронно поступающих данных [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, Параллельные вычислительные технологии (ПаВТ'2009)
    присутствует в eLIBRARY.RU (1 цит.)
  58. ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА МНОГОКРИТЕРИАЛЬНОГО АНАЛИЗА ПРИ РАЗРАБОТКЕ СЛОЖНЫХ ТЕХНИЧЕСКИХ СИСТЕМ [статья из журнала]
    Легалов Александр Иванович, Ледяев Дмитрий Николаевич, Анкудинов Александр Владимирович
    2009, Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева
    присутствует в eLIBRARY.RU (2 цит.)
  59. Information Flow and Usage in an E-shop Operating within an Agent-based E-commerce System [статья из журнала]
    Drozdowicz Michaal, Ganzha Maria, Paprzycki Marcin, Gawinecki Maciej, Legalov Alexander
    2009, Журнал Сибирского федерального университета. Серия: Техника и технологии
    присутствует в eLIBRARY.RU (1 цит.)
  60. Инструментальная поддержка контрольно-проверочной аппаратуры испытаний узлов исполнительной автоматики космических аппаратов [статья из журнала]
    2009, Решетневские чтения
    присутствует в eLIBRARY.RU
  61. АНАЛИЗ И ИНСТРУМЕНТАЛЬНОЕ ОБЕСПЕЧЕНИЕ ВАРИАНТНОГО ПРОЕКТИРОВАНИЯ КОСМИЧЕСКИХ АППАРАТОВ [статья из журнала]
    Анкудинов А. В., Легалов А. И., Ледяев Д. Н., Тестоедов Н. А.
    2009, Решетневские чтения
    присутствует в eLIBRARY.RU
  62. Solution of Large-Scale Problems of Global Optimization on the Basis of Parallel Algorithms and Cluster Implementation of Computing Processes [доклад, тезисы доклада, статья из сборника материалов конференций]
    2009, PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS
    присутствует в Web of Science, Scopus (1 цит.), eLIBRARY.RU
  63. Средства отладки функционально-потоковых параллельных программ [статья из журнала]
    2008, Доклады Академии наук высшей школы Российской Федерации
    присутствует в eLIBRARY.RU (2 цит.)
  64. Событийное управление выполнением функционально-потоковых параллельных программ [статья из журнала]
    2008, Научный вестник Новосибирского государственного технического университета
    присутствует в eLIBRARY.RU (5 цит.)
  65. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ [диссертация]
    2005
    присутствует в eLIBRARY.RU
  66. Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ [автореферат диссертации]
    2005
    присутствует в eLIBRARY.RU
  67. Функциональный язык для создания архитектурно-независимых параллельных программ [статья из журнала]
    2005, Вычислительные технологии
    присутствует в eLIBRARY.RU (49 цит.)
  68. Методы поддержки параметрического полиморфизма [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
    присутствует в eLIBRARY.RU (2 цит.)
  69. Об управлении вычислениями в параллельных системах и языках программирования [статья из журнала]
    2004, Научный вестник Новосибирского государственного технического университета
    присутствует в eLIBRARY.RU (7 цит.)
  70. Процедурный язык с поддержкой эволюционного проектирования [статья из журнала]
    2003, Научный вестник Новосибирского государственного технического университета
    присутствует в eLIBRARY.RU (6 цит.)

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Там же сотрудники СФУ могут смотреть и редактировать списки своих публикаций. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.