В книге
Ottawa: International ASET Inc, 2012.
Maksim Popov, Романов А. Ю., INTERNATIONAL JOURNAL OF RECONFIGURABLE AND EMBEDDED SYSTEMS 2025 Vol. 14 No. 3 P. 696–704
Добавлено: 11 декабря 2025 г.
Kirill Muravyev, Яковлев К. С., IEEE Access 2023 Vol. 11 P. 132683–132698
Добавлено: 19 марта 2024 г.
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 г.
Zakiev A., Lavrenov R., Магид Е. А. и др., Journal of Advanced Research in Dynamical and Control Systems 2019 Vol. 11 No. 8 P. 1743–1753
Добавлено: 10 октября 2021 г.
Bokovoy A., Muravyev K., Яковлев К. С., , in: Artificial Intelligence. RCAI 2020.: Switzerland: Springer, 2020. P. 46–60.
Добавлено: 2 ноября 2020 г.
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 г.
Austin: IEEE Computer Society, 2018.
Добавлено: 3 июля 2019 г.
Кринкин К. В., Huletski A., Kartashov D., , in: EEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2017.: [б.и.], 2017. P. 6770–6776.
Добавлено: 4 февраля 2019 г.
[б.и.], 2017.
Добавлено: 4 февраля 2019 г.
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 г.
Подкопаев А. В., Lahav O., Vafeiadis V., , in: 31st European Conference on Object-Oriented Programming, {ECOOP} 2017Vol. 74.: Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017. Ch. 22 P. 1–28.
Добавлено: 24 декабря 2018 г.
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 г.
Mallachiev K. A., Пакулин Н. В., Хорошилов А. В. и др., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 283–294
Добавлено: 11 августа 2018 г.
IEEE, 2015.
Добавлено: 18 июля 2018 г.
IEEE, 2017.
Добавлено: 18 июля 2018 г.
Татарников А. Д., Камкин А. С., Чупилко М. М. и др., Труды Института системного программирования РАН 2014 Т. 26 № 1 С. 149–200
Обеспечение корректности микропроцессоров и другой микроэлектронной аппаратуры является фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В отличие от программ, ошибки в которых исправляются сравнительно просто, дефекты в интегральных схемах (конструктивные и производственные) не могут быть устранены. Несмотря на то, что постоянно совершенствуются системы автоматизированного проектирования (САПР), инструменты генерации тестов и методы анализа ...
Добавлено: 11 декабря 2017 г.
Татарников А. Д., Камкин А. С., Проценко А. С., Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 125–138
Подсистема памяти является одним из ключевых компонентов микропроцессора. Она включает в себя набор запоминающих устройств различного назначения, объединенных в сложную иерархическую структуру. При этом количество возможных состояний подсистемы крайне велико. По этой причине верификация ее функциональной корректности представляет собой нетривиальную задачу. В настоящее время наиболее часто применяемым на практике подходом к функциональной верификации микропроцессоров является ...
Добавлено: 10 декабря 2017 г.
Татарников А. Д., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 4 P. 77–98
Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача решается при помощи специальных автоматизированных средств, называемых генераторами тестовых программ. Высокая сложность современных электронных устройств создает потребность в автоматизированных средствах, способных генерировать тестовые программы, покрывающие нетривиальные ситуации в их работе. Большинство таких ...
Добавлено: 26 ноября 2017 г.
Татарников А. Д., Камкин А. С., Проценко А. С. и др., Труды Института системного программирования РАН 2016 Т. 28 № 6 С. 87–102
ARM — это семейство микропроцессорных архитектур, разработанных в одноименной компании. Новейшая архитектура этого семейства, ARMv8, содержит большое число команд разных типов и отличается сложной организацией виртуальной памяти (включающей аппаратную поддержку многоуровневой трансляции адресов и виртуализации); все это делает функциональную верификацию микропроцессоров этой архитектуры крайне трудной технической задачей. Неотъемлемой частью верификации микропроцессора является генерация тестовых программ ...
Добавлено: 24 ноября 2017 г.
Никольский В. П., Вечер В. С., Стегайлов В. В., , in: Supercomputing. RuSCDays 2016. Communications in Computer and Information Science. Revised Selected Papers.Vol. 687.: Springer, 2016. P. 199–211.
In this paper we consider the efficiency of hybrid systemson-a-chip for high-performance calculations. Firstly, we build Roofline performance models for the systems considered using Empirical Roofline Toolkit and compare the results with the theoretical estimates. Secondly, we use LAMMPS as an example of the molecular dynamic package to demonstrate its performance and efficiency in various ...
Добавлено: 31 мая 2017 г.
Яковлев К. С., 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 г.
В статье обосновывается актуальность разработки энергоэффективного серверного оборудования, оптимизированного под решение типовых задач ЦОД, описываются основные характеристики унифицированного многопроцессорного аппаратно-программного серверного комплекса, разрабатываемого сотрудниками Национального исследовательского университета «Высшая школа экономики» ...
Добавлено: 10 февраля 2014 г.
Santander: IEEE Computer Society Conference Publishing Services (CPS), 2013.
Европейская конференция по проектированию цифровых систем касается всех аспектов ( включая встроенные и высоскоростные системы) разработки цифровых систем и смешанных программно-аппаратных систем, вплоть до микроархитектуры, цифровых схем, вопросов СБМС. Это- дискуссионый форум для исследователей и разработчиков из академических заведений и промышленности, работающих в области исследований, разработки и применений.
В фокусе конференции - вопросы проектирования схем, автоматизации, ...
Добавлено: 15 октября 2013 г.