В книге
Ottawa : International ASET Inc, 2012
Sergey Shershakov, Irina Lomazova, , in : Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012. : Perm : -, 2012. P. 79-84.
Добавлено: 14 марта 2013 г.
Santander : IEEE Computer Society Conference Publishing Services (CPS), 2013
Европейская конференция по проектированию цифровых систем касается всех аспектов ( включая встроенные и высоскоростные системы) разработки цифровых систем и смешанных программно-аппаратных систем, вплоть до микроархитектуры, цифровых схем, вопросов СБМС. Это- дискуссионый форум для исследователей и разработчиков из академических заведений и промышленности, работающих в области исследований, разработки и применений.
В фокусе конференции - вопросы проектирования схем, автоматизации, ...
Добавлено: 15 октября 2013 г.
Кринкин К. В., Huletski A., Kartashov D., , in : EEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2017. : [б.и.], 2017. P. 6770-6776.
Добавлено: 4 февраля 2019 г.
Никольский В. П., Вечер В. С., Стегайлов В. В., , 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 г.
Татарников А. Д., Proceedings of the Institute for System Programming of the RAS 2016 Vol. 28 No. 4 P. 77-98
Генерация тестовых программ на языке ассемблера и проверка корректности результатов их выполнения является наиболее широко применяемым подходом к функциональной верификации микропроцессоров. Данная задача решается при помощи специальных автоматизированных средств, называемых генераторами тестовых программ. Высокая сложность современных электронных устройств создает потребность в автоматизированных средствах, способных генерировать тестовые программы, покрывающие нетривиальные ситуации в их работе. Большинство таких ...
Добавлено: 26 ноября 2017 г.
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 г.
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 г.
Mallachiev K. A., Пакулин Н. В., Хорошилов А. В. и др., Proceedings of the Institute for System Programming of the RAS 2017 Vol. 29 No. 4 P. 283-294
Добавлено: 11 августа 2018 г.
Bokovoy A., Muravyev K., Яковлев К. С., , in : Artificial Intelligence. RCAI 2020. : Switzerland : Springer, 2020. P. 46-60.
Добавлено: 2 ноября 2020 г.
IEEE, 2017
Добавлено: 18 июля 2018 г.
Яковлев К. С., 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 г.
Kirill Muravyev, Яковлев К. С., IEEE Access 2023 Vol. 11 P. 132683-132698
Добавлено: 19 марта 2024 г.
Татарников А. Д., Камкин А. С., Чупилко М. М. и др., Труды Института системного программирования РАН 2014 Т. 26 № 1 С. 149-200
Обеспечение корректности микропроцессоров и другой микроэлектронной аппаратуры является фундаментальной проблемой, для решения которой применяют разнообразные средства функциональной верификации. В отличие от программ, ошибки в которых исправляются сравнительно просто, дефекты в интегральных схемах (конструктивные и производственные) не могут быть устранены. Несмотря на то, что постоянно совершенствуются системы автоматизированного проектирования (САПР), инструменты генерации тестов и методы анализа ...
Добавлено: 11 декабря 2017 г.
Подкопаев А. В., Lahav O., Vafeiadis V., , in : 31st European Conference on Object-Oriented Programming, {ECOOP} 2017. Vol. 74.: Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017. Ch. 22. P. 1-28.
Добавлено: 24 декабря 2018 г.
Татарников А. Д., Камкин А. С., Проценко А. С., Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 125-138
Подсистема памяти является одним из ключевых компонентов микропроцессора. Она включает в себя набор запоминающих устройств различного назначения, объединенных в сложную иерархическую структуру. При этом количество возможных состояний подсистемы крайне велико. По этой причине верификация ее функциональной корректности представляет собой нетривиальную задачу. В настоящее время наиболее часто применяемым на практике подходом к функциональной верификации микропроцессоров является ...
Добавлено: 10 декабря 2017 г.
В статье обосновывается актуальность разработки энергоэффективного серверного оборудования, оптимизированного под решение типовых задач ЦОД, описываются основные характеристики унифицированного многопроцессорного аппаратно-программного серверного комплекса, разрабатываемого сотрудниками Национального исследовательского университета «Высшая школа экономики» ...
Добавлено: 10 февраля 2014 г.
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 г.
[б.и.], 2017
Добавлено: 4 февраля 2019 г.
IEEE, 2015
Добавлено: 18 июля 2018 г.
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 г.
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., Яковлев К. С., , in : Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Revised Selected Papers. Vol. 10716.: Cham : Springer, 2018. P. 210-220.
Добавлено: 28 сентября 2018 г.
Татарников А. Д., Камкин А. С., Проценко А. С. и др., Труды Института системного программирования РАН 2016 Т. 28 № 6 С. 87-102
ARM — это семейство микропроцессорных архитектур, разработанных в одноименной компании. Новейшая архитектура этого семейства, ARMv8, содержит большое число команд разных типов и отличается сложной организацией виртуальной памяти (включающей аппаратную поддержку многоуровневой трансляции адресов и виртуализации); все это делает функциональную верификацию микропроцессоров этой архитектуры крайне трудной технической задачей. Неотъемлемой частью верификации микропроцессора является генерация тестовых программ ...
Добавлено: 24 ноября 2017 г.
Austin : IEEE Computer Society, 2018
Добавлено: 3 июля 2019 г.