• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Distributed analysis of the BMC kind: Making it fit the tornado supercomputer
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
20 августа 2026 г.
<a>Исследователи НИУ ВШЭ и Сбера научили нейросети лучше угадывать предпочтения пользователей
Институт искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ и Сбер представили новую архитектуру для рекомендательных систем: благодаря объединению двух классов моделей алгоритмы лучше угадывают интересы и потребности пользователей. Препринт работы опубликован на сайте arxiv.org и представлен на летнем фестивале «Урбан ML».
19 августа 2026 г.
Ученые ВШЭ разработали алгоритм, позволяющий производить более надежные процессоры для ЦОД
Ученые из МИЭМ ВШЭ и Самарского университета создали алгоритм LRF-3D для автоматического обхода неработающих узлов в трехмерных сетях на кристалле. Благодаря своей иерархической организации он превосходит аналоги по быстродействию и точности пути, повышая надежность процессоров для использования в ЦОД, суперкомпьютерах и ИИ-вычислениях. Исходные коды алгоритмов и тестов опубликованы в открытом доступе.
13 августа 2026 г.
Социальная интеграция: на перекрестках знаний и ценностей
Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Distributed analysis of the BMC kind: Making it fit the tornado supercomputer

P. 1–10.
Abdullin A., Stepanov D., Ахин М. Х.
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: distributed computinghigh performance computingsupercomputingbounded model checking

В книге

Communications in Computer and Information Science
Vol. 779: Tools and Methods of Program Analysis. , Springer, 2018.
Похожие публикации
Scaling Up Molecular Hydrodynamics of Non-Laminar Flows with GPU-Aware MPI
Khnkoian G., Галигеров В. С., Grishichkin Y. и др., , 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. 532–545.
Добавлено: 19 мая 2026 г.
Parallel Processing and Applied Mathematics. 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8–11, 2024, Revised Selected Papers, Part I
Springer, 2025.
Добавлено: 26 декабря 2025 г.
Распределённые компьютерные и телекоммуникационные сети: управление, вычисление, связь (DCCN-2023)
-, 2023.
В научном электронном издании представлены материалы XXVI Международной научной конференции «Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь» по следующим направлениям: - Алгоритмы и протоколы телекоммуникационных сетей  - Управление в компьютерных и инфокоммуникационных системах - Анализ производительности, оценка QoS / QoE и эффективность сетей - Аналитическое и имитационное моделирование коммуникационных систем последующих поколений - Эволюция беспроводных сетей в направлении 5G; - Технологии сантиметрового и миллиметрового ...
Добавлено: 18 декабря 2025 г.
Supercomputing: 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25–26, 2023, Revised Selected Papers, Part II
Springer, 2023.
Добавлено: 11 ноября 2025 г.
Russian Supercomputing Days: Proceedings of the International Conference
M.: Max press, 2025.
Добавлено: 12 сентября 2025 г.
Выполнение распределенных вычислительных экспериментов на MLOps платформе НИУ ВШЭ
Хританков А. С., Полежаев В. А., Жуликов Г. А. и др., Вестник Южно-Уральского государственного университета. Серия: Вычислительная математика и информатика 2025 Т. 14 № 2 С. 42–66
Несмотря на распространение и успешные применения средств интеллектуального анализа и обработки данных для решения отдельных прикладных задач, все еще не решена проблема разработки технологии создания таких программных средств. В работе в контексте единого процесса MLOps создания технологий машинного обучения рассматриваются возникающие задачи автоматизации и выполнения распределенных вычислительных экспериментов на базе единой вычислительной платформы. Разрабатываемая в ...
Добавлено: 28 июля 2025 г.
Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part I
Springer, 2025.
Добавлено: 21 февраля 2025 г.
Supercomputing. 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II
Springer, 2025.
Добавлено: 21 февраля 2025 г.
Enhancement of the Data Analysis Subsystem in the Task-Efficiency Monitoring System HPC TaskMaster for the cHARISMa Supercomputer Complex at HSE University
Костенецкий П. С., Vyacheslav Kozyrev, Чулкевич Р. А. и др., , in: 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2–4, 2024, Revised Selected Papers. Parallel Computational Technologies. Communications in Computer and Information Science (CCIS, volume 2241)Vol. 2241.: Springer, 2024. P. 49–64.
Добавлено: 20 декабря 2024 г.
Graph based routing algorithm for torus topology and its evaluation for the Angara interconnect
Mukosey A., Семенов А. С., Tretiakov A., Journal of Parallel and Distributed Computing 2024 Vol. 183 Article 104765
Добавлено: 25 ноября 2023 г.
The Dataset for Optimal Circulant Topologies
Романов А. Ю., Big Data and Cognitive Computing 2023 Vol. 7 No. 2 Article 80
Добавлено: 4 июня 2023 г.
On Bipartite Circulant Graph Decompositions Based on Cartesian and Tensor Products with Novel Topologies and Deadlock-Free Routing
El-Mesady A., Романов А. Ю., Американов А. А. и др., Algorithms 2023 Vol. 16 No. 1 Article 10
Добавлено: 17 января 2023 г.
Experience in Organizing Flexible Access to Remote Computing Resources from JupyterLab Environment Using Technologies of Everest and Templet Projects
Vostokin S., Popov S., O. Sukhoroslov, , in: Proceedings of the 9th International Conference "Distributed Computing and Grid Technologies in Science and Education" (GRID'2021), Dubna, Russia, July 5-9, 2021.: CEUR Workshop Proceedings, 2021. P. 558–561.
Добавлено: 30 октября 2022 г.
Concurrently Employing Resources of Several Supercomputers With Parascip Solver By Everest Platform
Smirnov S., Voloshinov V., O.V. Sukhoroslov, , in: Proceedings of the 9th International Conference "Distributed Computing and Grid Technologies in Science and Education" (GRID'2021), Dubna, Russia, July 5-9, 2021.: CEUR Workshop Proceedings, 2021. P. 413–417.
Добавлено: 30 октября 2022 г.
Proceedings of the 9th International Conference "Distributed Computing and Grid Technologies in Science and Education" (GRID'2021), Dubna, Russia, July 5-9, 2021
CEUR Workshop Proceedings, 2021.
Добавлено: 30 октября 2022 г.
Training Transformers Together
Борзунов А. А., Рябинин М. К., Dettmers T. и др., , in: Proceedings of the NeurIPS 2021 Competitions and Demonstrations Track.: PMLR, 2022. P. 335–342.
Добавлено: 27 июля 2022 г.
Wave Spectrum of Flowing Drops
Maria Guskova, Щур Л. Н., , in: Supercomputing Book Subtitle 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers Series Title Communications in Computer and Information Science.: Springer, 2021.
Добавлено: 31 мая 2022 г.
Running Many-Task Applications Across Multiple Resources with Everest Platform
Сухорослов О. В., Voloshinov V., Smirnov S., , in: Supercomputing. RuSCDays 2020. Communications in Computer and Information ScienceVol. 1331: 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers.: Switzerland: Springer, 2020. P. 634–646.
Добавлено: 29 октября 2021 г.
Опыт использования VDI-системы «Персональный виртуальный компьютер» в ЮУрГУ
Козырев В. И., Костенецкий П. С., В кн.: Научный сервис в сети Интернет: поиск новых решений: Труды Международной суперкомпьютерной конференции (17-22 сентября 2012 г., г. Новороссийск).: М.: Издательство МГУ, 2012. С. 285–286.
В 2011 году на базе высокопроизводительного кластера ЮУрГУ «СКИФ Урал» [1.] был реализован проект «Персональный виртуальный компьютер». В рамках этого проекта для каждого студента первого курса создан персональный виртуальный компьютер, доступ к которому осуществляется с домашнего компьютера, ноутбука, нетбука и т.п. ...
Добавлено: 20 октября 2021 г.
Научный сервис в сети Интернет: поиск новых решений: Труды Международной суперкомпьютерной конференции (17-22 сентября 2012 г., г. Новороссийск)
М.: Издательство МГУ, 2012.
Данный сборник содержит доклады, включенные в программу Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: поиск новых решений» и Всероссийской конференции молодых ученых «Теория и практика параллельного программирования». Конференции проводятся с 17 по 22 сентября 2012 года. Подробную информацию о конференциях можно найти в сети Интернет по адресу http://agora.guru.ru/abrau2012 ...
Добавлено: 20 октября 2021 г.
Параллельные вычислительные технологии (ПаВТ’2015): труды международной научной конференции (г. Екатеринбург, 31 марта – 2 апреля 2015 г.)
Челябинск: Издательский центр ЮУрГУ, 2015.
Данный сборник содержит статьи, включенные в программу Международной научной конференции «Параллельные вычислительные технологии 2015». Конференция проходила с 31 марта по 2 апреля 2015 года в Уральском федеральном университете имени первого Президента России Б.Н. Ельцина и Институте математики и механики УрО РАН (г. Екатеринбург). Подробную информацию о конференции можно найти в сети Интернет по адресу http://agora.guru.ru/pavt. ...
Добавлено: 20 октября 2021 г.
Administration, Monitoring and Analysis of Supercomputers in Russia: a Survey of 10 HPC Centers
Voevodin V. V., Чулкевич Р. А., Костенецкий П. С. и др., Supercomputing Frontiers and Innovations 2021 Vol. 8 No. 3 P. 82–103
Добавлено: 20 октября 2021 г.
Использование системы «Персональный виртуальный компьютер» в качестве инженерного облака
Козырев В. И., Бородулин К. В., Мелёхин Ф. М., В кн.: Параллельные вычислительные технологии (ПаВТ-2017). XI международная научная конференция. Казань, 03-07 апреля 2017.: Челябинск: Издательский центр ЮУрГУ, 2017. С. 271–279.
Решение задачи в инженерном пакете состоит из нескольких шагов, которые могут быть представлены в виде отдельных, независимых сервисов в составе потока работ. Набор таких сервисов часто является очень специфичным для сферы производства. Сервисы требуют раз личных вычислительных ресурсов для оптимального выполнения моделей. Такие требования могут быть удовлетворены только вычислительными ресурсами, предоставляемыми обл ачной вычислительной системой. ...
Добавлено: 20 октября 2021 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору