Сортировать по:
| Выпуск | Название | |
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... . Расширенные конечные автоматы (extended finite state machines, EFSM) - удобный формализм для моделирования ..." | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) похожие документы |
| Светлана Прокопенко | ||
| "... мы решаем эту проблему для бинарной сети из расширенных автоматов. Для каждой из компонент строится ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... (High-Level Decision Diagrams, HLDD) и расширенные конечные автоматы (Extended Finite-State Machines ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... -формул, определяющих условия достижимости переходов расширенного конечного автомата, описывающего систему ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... на основе древовидных автоматов. Эффективность предложенного подхода иллюстрируется на примере протокола TCP ..." | ||
| Том 32, № 2 (2020) | О минимизации инициальных автоматов с таймаутами | Аннотация похожие документы |
| Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО | ||
| "... дискретных систем, и минимизация конечных автоматов является известной проблемой оптимизации, которая ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... , разработанных на языках семейства HDL (Hardware Description Language). Методы извлечения моделей используются ..." | ||
| Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... зависит от времени, классическая модель конечного автомата расширяется введением временных переменных ..." | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
| Том 37, № 4: часть 1. июль-август | HOREC: компилятор специализированных регулярных выражений для проектирования программируемой и ресурсоэффективной аппаратной архитектуры | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... детерминированного конечного автомата, позволяющее компактно описывать интервальные квантификаторы с большим числом ..." | ||
| 1 - 12 из 12 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
