?
Functional reactive programming: from natural user interface to natural robotics behavior
.
Сошников Д. В., Kirilenko I.
В книге
M.: Association for Computing Machinery (ACM), 2014.
Мыльников Л. А., Салтыкова А. Д., Научно-техническая информация. Серия 2: Информационные процессы и системы 2024 № 12 С. 1–8
Рассматривается необходимость получения объективных оценок эффективности организации процессной деятельности на основе цифровых двойников. Описана методика установления соответствия между структурно-функциональными моделями в нотации EPM (Event-driven Process Methodology) и знаково-символьным описанием, которое может быть переведено на язык программирования на основе группы правил. Приведены примеры получения знаково-символьного описания и программ на языке R по заданной структурно-функциональной модели, а ...
Добавлено: 15 марта 2025 г.
Ryzhenko I. N., Nepomnyaschy O. V., A. I. Legalov и др., Automatic Control and Computer Sciences 2023 Vol. 57 No. 7 P. 696–705
Добавлено: 27 февраля 2024 г.
Зыков С. В., Ай Пи Ар Медиа, 2022.
Данное учебное пособие базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной архитектурной платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования в различных парадигмах. Целью издания является формирование адекватного взгляда на современное программирование. Первая часть книги посвящена основам функционального подхода к программированию на основе языка ...
Добавлено: 5 июня 2023 г.
Зыков С. В., Юрайт, 2023.
Основной задачей данного курса является формирование точки зрения на современную теорию и практику программирования. Курс базируется на творческом синтезе избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft .NET. Первый раздел курса посвящен основам функционального подхода к программированию на основе языка F#, второй — основам объектно-ориентированного подхода на примере ...
Добавлено: 5 июня 2023 г.
Петренко А. А., Суворов А. О., Шаякбаров Н. Ф., Пермь: Издательство Пермского национального исследовательского политехнического университета, 2022.
Рассмотрены вопросы, касающиеся языков функционального программирования: особенности применения, синтаксис, функции. Приведено большое количество содержательных примеров решения задач, демонстрирующих возможности языков функционального программирования.
Предназначено студентам образовательных учреждений высшего образования, обучающимся по специальностям направлений «Информатика и вычислительная техника», «Программная инженерия», а также лицам, самостоятельно изучающим функциональное программирование. ...
Добавлено: 25 октября 2022 г.
Рыженко И. Н., Непомнящий О. В., Легалов А. И. и др., Моделирование и анализ информационных систем 2022 Т. 29 № 1 С. 60–72
Предложены методы повышения эффективности разработки СБИС на основе метода архитектурно-независимого проектирования. Рассмотрен маршрут высокоуровневого синтеза СБИС. Изложен принцип построения аппаратной модели СБИС на основе функционально-потоковой парадигмы программирования.
Представлены результаты разработки методов и алгоритмов трансформации, функционально-потоковых параллельных программ в программы на языках описания аппаратуры, обеспечивающих поддержку процесса проектирования цифровых однокристальных систем. Рассмотрены принципы оценки и выделены классы ...
Добавлено: 18 марта 2022 г.
Салех Х. М., Зыков С. В., Legalov A., , in: Intelligent Decision Technologies: Proceedings of the 13th KES-IDT 2021 ConferenceТ. 238.: Сингапур: Springer, 2021. P. 355–363.
Добавлено: 5 августа 2021 г.
Буздалов Д. В., Петренко А. К., Хорошилов А. В., Programming and Computer Software 2019 Vol. 45 No. 8 P. 485–496
Добавлено: 22 июня 2021 г.
Поспелов И. Г., Жукова А. А., , in: 2020 European Control Conference (ECC).: Institute of Electrical and Electronics Engineers Inc., 2020. P. 1129–1134.
Добавлено: 8 декабря 2020 г.
Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 2018 Т. 202 № 8 С. 38–47
Одним из актуальных направлений развития технологий проектирования сверхбольших интегральных схем и вычислительных систем на их основе является высокоуровневый синтез. При описании проекта на верхних уровнях закладываются концепции общесистемного взгляда на организацию всего процесса проектирования. Поэтому на первый план выходит развитие маршрутов и технологий, базирующихся на принципах высокоуровневого, архитектурно независимого проектирования, позволяющих осуществлять формирование комплексного подхода ...
Добавлено: 29 октября 2020 г.
Зыков С. В., Соболев А. С., , in: Intelligent Decision Technologies 2019 (Vol.1)Vol. 1.: Springer, 2020. P. 299–312.
Добавлено: 3 ноября 2019 г.
Springer, 2018.
Добавлено: 31 октября 2018 г.
Зыков С. В., Юрайт, 2017.
Информационные технологии сегодня пронизывают практически все сферы деятельности современного общества, проникают в жизнь каждого человека. Преемственность поколений электронных технологий и устройств обеспечивается с помощью специализированных сред их разработки, или программно-аппаратных платформ, а также средств, координирующих их взаимодействие, включая, прежде всего, языки программирования. Основной задачей учебника является формирование точки зрения на современную теорию и практику программирования. ...
Добавлено: 21 марта 2018 г.
M.: Association for Computing Machinery (ACM), 2014.
Добавлено: 17 августа 2017 г.