Сортировать по:
| Выпуск | Название | |
| Том 31, № 3 (2019) | Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров | Аннотация похожие документы |
| Павел Викторович Фролов | ||
| "... к разработке тестов для верификации программируемых контроллеров. Тесты разрабатываются на языке ..." | ||
| Том 20 (2011) | Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции | Аннотация PDF (Rus) похожие документы |
| А. C. Камкин, М. M. Чупилко | ||
| "... На разных этапах проектирования аппаратуры используются разные представления целевой системы (общее ..." | ||
| Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
| "... посвящена исследованиям по верификации аппаратуры, проводимым в ИСП РАН: подводятся итоги выполненных работ ..." | ||
| Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
| А. Д. Татарников | ||
| "... В работе дается обзор существующих методов и средств генерации тестовых программ для ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... верификации цифровой аппаратуры. На текущий момент большое распространение имеют методы генерации ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... Генерация тестов по моделям широко используется для функциональной верификации аппаратуры ..." | ||
| Том 31, № 3 (2019) | Поиск конфликтов доступа к данным в HDL-описаниях | Аннотация похожие документы |
| Александр Сергеевич Камкин, Михаил Сергеевич Лебедев, Сергей Александрович Смолов | ||
| "... При проектировании модулей цифровой аппаратуры могут возникать конфликты доступа к данным. Одним ..." | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... много, конфигураций установки, что обуславливается либо разным набором программно-аппаратного окружения ..." | ||
| Том 30, № 6 (2018) | Принципы построения межведомственного центра коллективного пользования общего назначения в модели программно-определяемого ЦОД | Аннотация PDF (Rus) похожие документы |
| Б. М. Шабанов, О. И. Самоваров | ||
| "... , обеспечивающих максимальное переиспользование аппаратуры, обеспечение поддержки выполнения программ разных ..." | ||
| Том 32, № 5 (2020) | Динамическая компиляция пользовательских функций на языке PL/pgSQL | Аннотация PDF (Rus) похожие документы |
| Владислав Муратович ДЖИДЖОЕВ, Рубен Артурович БУЧАЦКИЙ, Михаил Вячеславович ПАНТИЛИМОНОВ, Александр Николаевич ТОМИЛИН | ||
| "... выполнения SQL-запросов и процедурных расширений, как правило, применяются два разных движка-исполнителя ..." | ||
| 1 - 10 из 10 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
