Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... Ensuring the correctness of microprocessors and other microelectronic equipment is a fundamental ..." | ||
| Том 33, № 6 (2021) | Обзор методов функционального онлайн-тестирования микропроцессоров | Аннотация PDF (Rus) похожие документы |
| Никита Дмитриевич ЧЕРТОК, Михаил Михайлович ЧУПИЛКО | ||
| "... Online testing is a process of functional verification of microprocessors produced in silicon ..." | ||
| Том 34, № 2 (2022) | Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» | Аннотация похожие документы |
| Владимир Андреевич АГАФОНОВ, Павел Викторович ФРОЛОВ, Алексей Николаевич МЕШКОВ | ||
| "... program generation for memory coherence verification of “Elbrus” microprocessors. Requirements for memory ..." | ||
| Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин | ||
| "... generation for memory management units of MIPS64-compatible microprocessors. ..." | ||
| Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
| А. Д. Татарников | ||
| "... Test program generation and simulation is the most widely used approach to functional verification ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... for microprocessors. Test program generation and analysis of their execution traces is the main approach to functional ..." | ||
| Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
| А. С. Камкин, А. М. Коцыняк | ||
| "... test program generation core and MIPS64 memory subsystem specifications. Such separation is not a new ..." | ||
| Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
| Д. Н. Воробьев, А. С. Камкин | ||
| "... In this work, a method for the automated test programs generation aimed at the verification ..." | ||
| Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
| "... management units of microprocessors is proposed. The approach is based on formal specification of memory ..." | ||
| Том 28, № 6 (2016) | Генератор тестовых программ для архитектуры ARMv8 на основе инструмента MicroTESK | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, А. С. Проценко, А. Д. Татарников, М. М. Чупилко | ||
| "... ARM is a family of microprocessor instruction set architectures developed in a company ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... microprocessors caches. Common properties of memory subsystem devices and those specific to caches are described ..." | ||
| Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин | ||
| "... verification of branch units of microprocessors are considered. Problems appearing when creating such programs ..." | ||
| Том 31, № 3 (2019) | Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы | Аннотация похожие документы |
| Дмитрий Алексеевич Лебедев, Михаил Владимирович Петроченков | ||
| "... State of the art microprocessor systems usually include complex hierarchy of a cache memory ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... A method of direct memory access subsystem verification used for “Elbrus” series microprocessors ..." | ||
| Том 27, № 3 (2015) | Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей | Аннотация PDF (Rus) похожие документы |
| Александр Камкин, Михаил Петроченков | ||
| "... microprocessors. The method is based on using nondeterministic reference models of systems under test. The key ..." | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... parameters values. The method combines known optimal algorithm for binary pairwise coverage array generation ..." | ||
| Том 32, № 2 (2020) | Тестовое окружение для верификации многопроцессорной системы прерываний с поддержкой виртуализации | Аннотация похожие документы |
| Дмитрий Алексеевич ЛЕБЕДЕВ, Виталий Николаевич КУЦЕВОЛ | ||
| "... Interrupt system is an important part of microprocessors. Interrupts are widely used ..." | ||
| Том 32, № 2 (2020) | Реализация подсистемы памяти в рамках потактово-точного симулятора уровня приложений микропроцессоров архитектуры «Эльбрус» | Аннотация похожие документы |
| Павел Алексеевич ПОРОШИН, Дмитрий Валерьевич ЗНАМЕНСКИЙ, Алексей Николаевич МЕШКОВ | ||
| "... Performance characteristics of any modern microprocessor largely depend on its memory subsystem ..." | ||
| Том 34, № 6 (2022) | Математические и программные модели задач технического зрения робототехнических комплексов на основе микропроцессоров “Эльбрус” | Аннотация PDF (Rus) похожие документы |
| Никита Алексеевич БОЧАРОВ, Николай Борисович ПАРАМОНОВ, Олег Анатольевич СЛАВИН, Константин Александрович СУМИНОВ | ||
| "... The creation of new generations of autonomous robotic complexes, recognition systems and vision ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... Automated test generation is a promising direction in hardware verification research area ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... application time (test length). Many algorithms have been suggested for test generation; however, no scalable ..." | ||
| Том 33, № 6 (2021) | Сравнение открытых маршрутов проектирования цифровой аппаратуры: qFlow, OpenLANE, Coriolis, SymbiFlow | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич КАМКИН, Сергей Александрович СМОЛОВ, Михаил Михайлович ЧУПИЛКО | ||
| "... analysis and topology generation hardware design stages. The following tools have been described: qFlow ..." | ||
| Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
| "... . Automata models were also implemented to support generation of complicated test sequences. UniTESK ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... тестовый набор считается полным, если он обеспечивает определенное покрытие кода. На данный момент ..." | ||
| Том 36, № 2 (2024) | Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring | Аннотация похожие документы |
| Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ | ||
| "... This paper considers the automated unit tests generation for programs written in Java using ..." | ||
| Том 31, № 3 (2019) | Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров “Эльбрус” | Аннотация похожие документы |
| Павел Алексеевич Порошин, Алексей Николаевич Мешков | ||
| "... different approaches to pipeline simulation of “Elbrus” microprocessors, which let us reuse functionality ..." | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| "... автоматизированный тест должен повторно использовать функции, реализованные в тестовой среде. Представленное ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Model-based test generation is widely spread in functional verification of hardware designs ..." | ||
| Том 31, № 6 (2019) | Обзор методов автоматизированной генерации эксплойтов повторного использования кода | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов | ||
| "... This paper provides a survey of methods and tools for automated code-reuse exploit generation ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... of operating systems, microprocessor units. The paper provides a vision of the future technology development ..." | ||
| Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
| Александр Косачев | ||
| "... ней проблеме оптимизации тестов. Между ошибками имеется зависимость, если существует такое строгое ..." | ||
| Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... conformance are defined, as well as the generation of complete test suite from specification. The most common ..." | ||
| Том 34, № 4 (2022) | Большие трансформеры для генерации кода | Аннотация похожие документы |
| Герман Аренович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| "... ought to evolve as well. One of the key principles of new generation of instruments for software ..." | ||
| Том 30, № 2 (2018) | Автоматизированная генерация декодеров машинных команд | Аннотация PDF (Rus) похожие документы |
| Н. Ю. Фокина, М. А. Соловьев | ||
| "... This paper proposes a method of automated generation of machine instruction decoders for various ..." | ||
| Том 34, № 5 (2022) | Библиотека для разработки компиляторов | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович МИРОНОВ, Инна Александровна БАТРАЕВА, Павел Дмитриевич ДУНАЕВ | ||
| "... of the work, the generation of parsers using LR(1)-automata was studied and implemented, two auxiliary ..." | ||
| Том 33, № 5 (2021) | Автоматизация разработки на Vulkan: предметно-ориентированный подход | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ | ||
| "... generation by translating a C++ program into an optimized implementation in Vulkan, which includes automatic ..." | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков | ||
| Том 35, № 2 (2023) | Генерация изображений рукописного текста на русском языке | Аннотация PDF (Rus) похожие документы |
| Анастасия Олеговна БОГАТЕНКОВА, Оксана Владимировна БЕЛЯЕВА, Андрей Игоревич ПЕРМИНОВ | ||
| "... генерации дополнительных обучающих наборов данных на качество моделей распознавания: метод на основе ..." | ||
| 1 - 39 из 224 результатов | 1 2 3 4 5 6 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
