Сортировать по:
| Выпуск | Название | |
| Том 30, № 3 (2018) | Верификация контроллеров связи в системах на кристалле | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, Д. И. Шпагилев | ||
| "... This article presents an approach used to verify communication controllers developed for Systems ..." | ||
| Том 29, № 4 (2017) | Верификация контроллеров 10 гигабитного Ethernet | Аннотация похожие документы |
| М. В. Петроченков, Р. Е. Муштаков, И. А. Стотланд | ||
| "... This article proposes approaches used to verify 10 Gigabit Ethernet controllers developed by MCST ..." | ||
| Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
| М. М. Чупилко, Е. А. Дроздова | ||
| "... . The core idea is to verify bus controllers and supporting interface parts connected to a reference model ..." | ||
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... device, a device as a part of controllers block or a device as a part of the whole SoC. For system-level ..." | ||
| Том 30, № 3 (2018) | Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи | Аннотация похожие документы |
| Д. А. Лебедев, И. А. Стотланд | ||
| "... controllers based on developing layered UVM (Universal Verification Methodology) test systems. In modern ..." | ||
| Том 28, № 2 (2016) | Устройство и архитектура операционной системы реального времени | Аннотация похожие документы |
| К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов | ||
| "... is a specialized application with extended capabilities, such as access to hardware (network card, PCI controller ..." | ||
| Том 27, № 3 (2015) | Подход к верификации модуля прямого доступа к памяти | Аннотация PDF (Rus) похожие документы |
| В. Н. Куцевол, А. Н. Мешков, М. П. Рыжов, П. В. Фролов | ||
| "... has been described. A peripheral controller imitator has been developed in order to reduce ..." | ||
| Том 31, № 4 (2019) | Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации | Аннотация похожие документы |
| Сергей Михайлович Старолетов, Максим Станиславович Амосов, Кирилл Михайлович Шульга | ||
| "... for the flight controller with high-reliability requirements, which will meet avionics software standards using ..." | ||
| Том 31, № 3 (2019) | Графический DSL для разработки мобильных приложений | Аннотация похожие документы |
| Артур Владимирович Гудиев, Александра Сергеевна Гражевская | ||
| "... of various controllers connected among themselves through ports and corresponding to some complete fragments ..." | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
| А. C. Камкин, М. M. Чупилко | ||
| "... переиспользование тестовых систем, созданных в начале проектирования, для верификации аналогичных компонентов, но на ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..." | ||
| Том 31, № 4 (2019) | Средства трассировки ОС РВ семейства «Багет» | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Годунов, Федор Николаевич Чемерев | ||
| Том 20 (2011) | Транзакционные параллельные СУБД: новая волна | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... обеспечения в своих системах традиционных свойств ACID в транзакциях баз данных. В этой статье обсуждается ..." | ||
| Том 28, № 3 (2016) | Подходы к автономной верификации кэш-памятей многоядерных микропроцессоров | Аннотация похожие документы |
| М. В. Петроченков, И. А. Стотланд, Р. Е. Муштаков | ||
| "... корректных тестовых воздействий и проверке правильности поведения тестируемого устройства. Предложены ..." | ||
| Том 19 (2010) | Год эпохи перемен в технологии баз данных | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов | ||
| "... , анализа данных, оперативной обработки транзакций и т.д. В 2008 г. эти тенденции были подтверждены в ..." | ||
| Том 32, № 1 (2020) | В ожидании нативных архитектур СУБД на основе энергонезависимой основной памяти | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Кузнецов | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... тестовый набор считается полным, если он обеспечивает определенное покрытие кода. На данный момент ..." | ||
| Том 26, № 1 (2014) | Развитие подхода к разработке тестов UniTESK | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, А. К. Петренко | ||
| "... создания тестов на основе формальных моделей. Суммируется опыт использования UniTESK в крупных проектах по ..." | ||
| Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация похожие документы |
| Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
| "... эксперименты с различными методами генерации тестов для цифровых схем, для проверки различных идей. Вторая ..." | ||
| Том 25 (2013) | Моделирование окружения драйверов устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... При статической верификации драйверов устройств операционной системы Linux необходимо учитывать ..." | ||
| Том 31, № 5 (2019) | Интроспекция конфигурации периферийных устройств эмулятора QEMU | Аннотация PDF (Rus) похожие документы |
| Наталья Игоревна Фурсова, Павел Михайлович Довгалюк | ||
| "... систем. Эмуляция системы предполагает настройку виртуальных устройств, которые в большом количестве ..." | ||
| Том 29, № 2 (2017) | Турбулентная конвекция термоэлектричеством в охладительно-нагревательном устройстве | Аннотация похожие документы |
| Х. М. Редондо, Дж. Д. Теллес-Альварес, Х. М. Санчес | ||
| "... поток, при использовании массива термоэлектрических устройств (элементы Peltier/Seebeck), которые ..." | ||
| Том 34, № 4 (2022) | Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений | Аннотация PDF (Rus) похожие документы |
| Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ | ||
| "... В результате работы по направлению анализа IoT-устройств авторами был создан инструмент ELF ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... Разработка методов автоматической генерации тестов составляет перспективное направление в области ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... интегральные схемы в процессе производства. Для оценки качества таких тестов используют две основные метрики ..." | ||
| Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| А. В. Когтенков | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| Том 23 (2012) | Комбинаторная генерация программных конфигураций ОС | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин | ||
| "... В статье представлен метод генерации тестов для конфигурационного тестирования на основе ..." | ||
| Том 21 (2011) | Оценка производительности программного обеспечения в виртуализованном окружении на основе атомарных тестов | Аннотация PDF (Rus) похожие документы |
| П. А. Клеменков | ||
| "... виде комбинации простых задач и замены этих простых задач на синтетические атомарные тесты. Оценка ..." | ||
| Том 27, № 2 (2015) | Об особенностях детерминированного воспроизведения при минимальном наборе устройств | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, К. А. Батузов, В. А. Падарян | ||
| "... устройств. Подробно рассмотрено устройство эмулятора QEMU и обоснованы технические приемы, использованные ..." | ||
| Том 31, № 3 (2019) | Разработка программной среды для управления интеллектуальными устройствами в реальном времени | Аннотация похожие документы |
| Тамара Наумович, Лука Баляк, Лазар Живоинович, Филип Филипович | ||
| "... устройствами в режиме реального времени. Платформа обеспечивает интеллектуальное управление устройствами ..." | ||
| Том 29, № 6 (2017) | Автоматизация разработки моделей устройств и вычислительных машин для QEMU | Аннотация PDF (Rus) похожие документы |
| В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян | ||
| "... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..." | ||
| Том 30, № 5 (2018) | Численное моделирование качки судна с шахтным устройством на встречном волнении | Аннотация PDF (Rus) похожие документы |
| К. Д. Овчинников | ||
| "... гидромеханики для определения характеристик качки судна с шахтным устройством и колебаний жидкости в шахте на ..." | ||
| Том 32, № 3 (2020) | Подход к трансляции таблицы потоков коммутатора программно-конфигурируемой сети в язык ассемблера сетевого процессора | Аннотация похожие документы |
| Андрей Александрович МАРКОБОРОДОВ, Юлия Александровна СКОБЦОВА, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... .3. Коммутатор работает на базе программируемого сетевого процессорного устройства (СПУ). Для классификации ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... исходного кода драйверов устройств операционных систем и описаны существующие системы верификации драйверов ..." | ||
| Том 33, № 4 (2021) | Исследование применимости алгоритмов сжатия данных для таблиц потоков в сетевом процессоре RuNPU | Аннотация похожие документы |
| Никита Игоревич НИКИФОРОВ, Дмитрий Юрьевич ВОЛКАНОВ | ||
| "... устройства (СПУ) без выделенного ассоциативного устройства. Под классификацией мы понимаем процесс ..." | ||
| Том 30, № 6 (2018) | Тестирование правил настройки сетевого коммутатора программно конфигурируемой сети | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, Н. В. Евтушенко, А. С. Косачев | ||
| "... with one switch. Switches operate based on rule tables that are configured by a controller that operates ..." | ||
| Том 24 (2013) | Прямая передача данных между ПЛИС Virtex-7 по шине PCI Express | Аннотация PDF (Rus) похожие документы |
| Ю. А. Румянцев | ||
| "... ) оконечных устройств (PCIe endpoints) ПЛИС запускается одновременно несколько транзакций передачи данных двух ..." | ||
| Том 34, № 1 (2022) | Алгоритмы обработки естественного языка для понимания семантики текста | Аннотация PDF (Rus) похожие документы |
| Дархан Оракбаевич ЖАКСЫБАЕВ, Гулбаршын Нурлановна МИЗАМОВА | ||
| 1 - 39 из 171 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
