?
Using Parallel Computations in Deductive Synthesis of Functional Programs
P. 67–72.
Корухова Ю. С., Fastovets N.
Язык:
английский
В книге
Waterford: Waterford Institute of Technology, 2014.
Недомолкин И. Э., Коников М. П., Федоров И. Д. и др., , in: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891)Vol. 2891.: Springer, 2026. P. 513–531.
Добавлено: 19 мая 2026 г.
Mikhail Y. Romashikhin, Aleksandr Y. Romanov, IEEE Access 2026 Vol. 14 P. 7921–7931
Добавлено: 22 января 2026 г.
Чой Е. Р., Malkovsky S., Стегайлов В. В., , in: 11th Russian Supercomputing Days, RuSCDays 2025, Moscow, Russia, September 29–30, 2025, Revised Selected Papers.: Springer, 2026. Ch. 3 P. 32–47.
Добавлено: 3 января 2026 г.
Воронова К. Д., Плаксин М. А., В кн.: Актуальные проблемы математики, механики и информатики 2022: Сборник статей по материалам студенческой конференции (г. Пермь, ПГНИУ, 25 мая – 10 июня 2022 г.).: Пермь: ПГНИУ, 2022. С. 25–29.
Бурное развитие параллельных вычислительных технологий делает актуальным включение пропедевтики параллельных вычислений в школьный курс информатики. Поскольку эта тема еще не вошла в школьную программу, сделать это можно через внеурочную деятельность, в частности, через Интернет-конкурсы. С 2013 г. задания на параллельные вычисления стали обязательной частью конкурса «ТРИЗформашка». Среди них всегда есть задания на исполнение и составление ...
Добавлено: 29 февраля 2024 г.
Ryzhenko I. N., Nepomnyaschy O. V., A. I. Legalov и др., Automatic Control and Computer Sciences 2023 Vol. 57 No. 7 P. 696–705
Добавлено: 27 февраля 2024 г.
Чой Е. Р., Стегайлов В. В., , in: Supercomputing: 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part I.: Springer, 2023. P. 100–113.
Добавлено: 26 января 2024 г.
Чой Е. Р., Стегайлов В. В., , in: 22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers.: Springer, 2022. Ch. 23 P. 281–292.
Добавлено: 26 декабря 2022 г.
Воронова К. Д., Плаксин М. А., В кн.: Дистанционное обучение – образовательная среда XXI века : материалы XII Междунар. науч.-метод. конф. (Республика Беларусь, Минск, 26 мая 2022 года).: Мн.: БГУИР, 2022. С. 163–163.
Предлагается познакомить школьников и студентов с основами параллельных вычислений с помощью дистанционного конкурса «ТРИЗформашка». Для конкурса «ТРИЗформашка-2022» была специально разработана компьютерная игра «Строитель» для обучения построению параллельных алгоритмов. Дано описание игры и ссылка на скачивание. ...
Добавлено: 31 октября 2022 г.
Springer, 2021.
Добавлено: 19 октября 2022 г.
Чой Е. Р., Никольский В. П., Стегайлов В. В., , in: Parallel Computational Technologies: 16th International Conference, PCT 2022, Dubna, Russia, March 29–31, 2022, Revised Selected Papers.: Springer, 2022. Ch. 12 P. 158–171.
Добавлено: 11 августа 2022 г.
Рыженко И. Н., Непомнящий О. В., Легалов А. И. и др., Моделирование и анализ информационных систем 2022 Т. 29 № 1 С. 60–72
Предложены методы повышения эффективности разработки СБИС на основе метода архитектурно-независимого проектирования. Рассмотрен маршрут высокоуровневого синтеза СБИС. Изложен принцип построения аппаратной модели СБИС на основе функционально-потоковой парадигмы программирования.
Представлены результаты разработки методов и алгоритмов трансформации, функционально-потоковых параллельных программ в программы на языках описания аппаратуры, обеспечивающих поддержку процесса проектирования цифровых однокристальных систем. Рассмотрены принципы оценки и выделены классы ...
Добавлено: 18 марта 2022 г.
Switzerland: Springer, 2020.
Добавлено: 10 декабря 2020 г.
Чой Е. Р., Никольский В. П., Стегайлов В. В., , in: 2020 Global Smart Industry Conference (GloSIC).: IEEE, 2020. P. 354–361.
Добавлено: 3 декабря 2020 г.
Легалов А. И., Непомнящий О. В., Рыженко И. Н., Известия ЮФУ. Технические науки 2018 Т. 202 № 8 С. 38–47
Одним из актуальных направлений развития технологий проектирования сверхбольших интегральных схем и вычислительных систем на их основе является высокоуровневый синтез. При описании проекта на верхних уровнях закладываются концепции общесистемного взгляда на организацию всего процесса проектирования. Поэтому на первый план выходит развитие маршрутов и технологий, базирующихся на принципах высокоуровневого, архитектурно независимого проектирования, позволяющих осуществлять формирование комплексного подхода ...
Добавлено: 29 октября 2020 г.
Chelyabinsk: ., 2020.
Добавлено: 23 октября 2020 г.
Springer, 2020.
Добавлено: 14 октября 2020 г.
Springer, 2019.
Добавлено: 19 октября 2019 г.
Cham: Springer, 2018.
Добавлено: 11 марта 2019 г.
Плаксин М. А., Щелкунов А. А., Современные информационные технологии и ИТ-образование 2018 Т. 14 № 4 С. 1000–1011
Статья содержит методические материалы для включения в школьный курс информатики темы «Параллельные вычисления», а именно описание компьютерных игр «Танковый экипаж», «Рой роботов», «Пожарные танки». Две первые были представлены на предыдущих конференциях, поэтому описаны кратко. В первой игре требуется запрограммировать совместные действия членов танкового экипажа по уничтожению огневых точек противника. Сюжет второй игры – снаряжение космической ...
Добавлено: 7 января 2019 г.