• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • An SDVRP Platform Verification Method for Microprocessor-Based Systems Software
  • 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
  • еще
Тематика
Новости
15 мая 2026 г.
В НИУ ВШЭ разрабатывают нейросеть для сферы науки и инноваций
Исследователи НИУ ВШЭ учат большие языковые модели понимать русскоязычную научную терминологию, увеличивая при этом их энергоэффективность. Адаптированная модель работает в 2,7 раза быстрее и требует на 73% меньше памяти, чем исходная открытая модель, что позволяет запускать ее на более доступном оборудовании. Программа прошла государственную регистрацию.
15 мая 2026 г.
Стартовал совместный спецпроект бренд-медиа Вышки IQ Media и iFORA ИСИЭЗ
В мае 2026 года стартовал научно-популярный проект «Искусственный интеллект: технологии, данные и будущее», который стал результатом работы двух команд — проекта iFORA Института статистических исследований и экономики знаний НИУ ВШЭ и редакции бренд-медиа IQMedia. Медийно-аналитический спецпроект посвящен современному развитию искусственного интеллекта и аналитике больших данных.
14 мая 2026 г.
<a>Ученые ФКН ВШЭ представили работы в сфере ИИ и биоинформатики на ICLR 2026
Ученые Института искусственного интеллекта и цифровых наук факультета компьютерных наук ВШЭи студенты трека «ИИ360: Инженерия искусственного интеллекта» бакалаврской программы «Прикладная математика и информатика» приняли участие в международной конференции ICLR — одном из самых авторитетных мировых форумов в области машинного обучения и представления данных. В этом году конференция состоялась в Рио-де-Жанейро (Бразилия).

 

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

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

?

An SDVRP Platform Verification Method for Microprocessor-Based Systems Software

P. 79–84.
Sergey Shershakov, Irina Lomazova
Язык: английский
Ключевые слова: Static VerificationSLAMSDVRPSLICEmbedded SystemsARM MicroprocessorThermal Printer

В книге

Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012
Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012
Камкин А., Петренко А., Терехов А. Perm: -, 2012.
Похожие публикации
Impact of Memory Hierarchy on Memory Encryption Performance
Прутьянов В. В., Ромашихин М. Ю., Vugenfirer Y. и др., IEEE Access 2024 Vol. 12 P. 144812–144817
Memory encryption with authentication protects critical applications from attackers with physical access. Memory encryption introduces memory access latency overhead due to the cryptographic computations and metadata accesses in DRAM. We propose using a metadata cache to reduce latency and report the results of an experimental and simulation evaluation of the impact of the DRAM and ...
Добавлено: 16 мая 2024 г.
Developing IoT Devices Empowered by Artificial Intelligence: Experimental Study
Прутьянов В. В., Melentev N., Lopatkin D. и др., , in: 2019 IEEE Global Internet of Things Summit (GIoTS) Proceedings.: IEEE, 2019. P. 1–6.
Добавлено: 16 мая 2024 г.
Evaluation of Topological Mapping Methods in Indoor Environments
Kirill Muravyev, Яковлев К. С., IEEE Access 2023 Vol. 11 P. 132683–132698
Добавлено: 19 марта 2024 г.
Архитектура встраиваемых систем: Разработка защищённых и подключённых устройств с примерами кода на С
Лакамера Д., М.: ДМК Пресс, 2023.
Данная книга посвящена разработке встраиваемых систем с использованием STM32 с процессорными ядрами ARM. Она будет интересна инженерам и программистам для изучения системного программирования и устройства встраиваемых систем, а также в качестве учебного пособия студентам соответствующих специальностей как продвинутое изучение С/С++ для его применения на низком уровне операционной системы и драйверов устройств. В первой главе рассказывается о ...
Добавлено: 4 ноября 2023 г.
Comparison of Monocular ROS-Based Visual SLAM Methods
Safarova L., Abbyasov B., Tsoy T. и др., , in: 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings.: Springer, 2022. P. 81–92.
Добавлено: 31 января 2023 г.
2021 IEEE Concurrent Processes Architectures and Embedded Systems Virtual Conference (COPA)
IEEE, 2022.
Добавлено: 31 октября 2022 г.
Partially unknown environment exploration algorithm for a mobile robot
Zakiev A., Lavrenov R., Магид Е. А. и др., Journal of Advanced Research in Dynamical and Control Systems 2019 Vol. 11 No. 8 P. 1743–1753
Добавлено: 10 октября 2021 г.
Map-Merging Algorithms for Visual SLAM: Feasibility Study and Empirical Evaluation
Bokovoy A., Muravyev K., Яковлев К. С., , in: Artificial Intelligence. RCAI 2020.: Switzerland: Springer, 2020. P. 46–60.
Добавлено: 2 ноября 2020 г.
Sparse 3D Point-cloud Map Upsampling and Noise Removal as a vSLAM Post-processing Step: Experimental Evaluation
Bokovoy A., Яковлев К. С., , in: Interactive Collaborative Robotics: Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings.: Springer, 2018. P. 23–33.
Добавлено: 13 августа 2019 г.
VinySLAM: An indoor SLAM method for low-cost platforms based on the Transferable Belief Model
Кринкин К. В., Huletski A., Kartashov D., , in: EEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2017.: [б.и.], 2017. P. 6770–6776.
Добавлено: 4 февраля 2019 г.
EEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2017
[б.и.], 2017.
Добавлено: 4 февраля 2019 г.
2D SLAM Quality Evaluation Methods
Filatov A., Filatov A., Кринкин К. В. и др., , in: Proceedings of the 21st Conference of Open Innovations Association FRUCT, University of Helsinki, Helsinki, Finland.: [б.и.], 2017. P. 120–126.
Добавлено: 4 февраля 2019 г.
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Cham: Springer, 2015.
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.  The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and ...
Добавлено: 29 января 2019 г.
Original Loop-closure Detection Algorithm for Monocular vSLAM
Bokovoy A., Яковлев К. С., , in: Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Revised Selected PapersVol. 10716.: Cham: Springer, 2018. P. 210–220.
Добавлено: 28 сентября 2018 г.
Proceedings of the 18th FRUCT & ISPIT Conference
St. Petersburg: University ITMO, 2016.
18–21 апреля в Технопарке Университета ИТМО (г. Санкт-Петербург) прошла 18 конференция Ассоциации открытых инноваций FRUCT (Open Innovations Association FRUCT). Конференция имеет давние традиции и является результатом академического сотрудничества университетов России и Финляндии. Кроме того, конференция проходит под эгидой IEEE, а подаваемые на нее доклады проходят строгий отбор и рецензирование не менее 3 независимых экспертов (в 2016 году ...
Добавлено: 5 июня 2016 г.
Configurable toolset for static verification of operating systems kernel modules
Хорошилов А. В., Мандрыкин М. У., Мутилин В. С. и др., Programming and Computer Software 2015 Vol. 41 No. 1 P. 49–64
Добавлено: 1 ноября 2015 г.
Distributed Control and Navigation System for Quadrotor UAVs in GPS-Denied Environments
Яковлев К. С., Khithov V., Loginov M. и др., , in: Intelligent Systems'2014 - Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24-26, 2014, Warsaw, Poland, Volume 2: Tools, Architectures, Systems, ApplicationsТ. 323.: Springer, 2015. P. 49–56.
The problem of developing distributed control and navigation system for quadrotor UAVs operating in GPS-denied environments is addressed in the paper. Cooperative navigation, marker detection and mapping task solved by a team of multiple unmanned aerial vehicles is chosen as demo example. Developed intelligent control system complies with on 4D\RCS reference model and its implementation ...
Добавлено: 27 апреля 2015 г.
Verification of MCU-Based Systems Software on an SDVRP Platform
Шершаков С. А., , in: Proceedings of the International Conference on Electrical and Computer Systems ICECS'12.: Ottawa: International ASET Inc, 2012. P. 207-1–207-8.
Добавлено: 14 марта 2013 г.
Proceedings of the International Conference on Electrical and Computer Systems ICECS'12
Ottawa: International ASET Inc, 2012.
The International Academy of Science, Engineering and Technology (International ASET Inc.) is pleased to organize the 2012 International Conference on Electrical and Computer Systems (ICECS'12). ICECS is a comprehensive conference covering all the various topics of Electrical Engineering, Electronics, Computer Sciences and Engineering, and Information Technologies. The aim of the ICECS 2012 is to gather scholars ...
Добавлено: 14 марта 2013 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору