Сортировать по:
| Выпуск | Название | |
| Том 26, № 6 (2014) | К минимизации автоматов с таймаутами | Аннотация PDF (Rus) похожие документы |
| Александр Твардовский | ||
| "... is applied until the corresponding (input) timeout expires then the FSM can spontaneously move to another ..." | ||
| Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, А. В. Лапутенко | ||
| "... ), namely, FSMs with timeouts and FSMs with timed guards. These two TFSM types are not interchangeable ..." | ||
| Том 32, № 2 (2020) | О минимизации инициальных автоматов с таймаутами | Аннотация похожие документы |
| Александр Сергеевич ТВАРДОВСКИЙ, Нина Владимировна ЕВТУШЕНКО | ||
| "... aspects, classical FSMs are extended by clock variables including input and output timeouts ..." | ||
| Том 29, № 4 (2017) | Минимизация автоматов с таймаутами и временными ограничениями | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко, М. Л. Громов | ||
| "... of minimizing a FSM with timed guards and input and output timeouts (TFSM). The behavior of a TFSM can ..." | ||
| Том 26, № 6 (2014) | Решение автоматных уравнений для временных автоматов относительно параллельной композиции | Аннотация PDF (Rus) похожие документы |
| О. В. Кондратьева, Н. В. Евтушенко, А. Р. Кавалли | ||
| "... (TFSM). A TFSM is an FSM augmented with an input and an output timeout functions, prescribing the change ..." | ||
| Том 31, № 4 (2019) | Синтез тестов с гарантированной полнотой для недетерминированных автоматов с таймаутами и временными ограничениями на основе конечно автоматных абстракций | Аннотация похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... with timed guards and timeouts (TFSMs). We show that unlike classical FSM conformance relation, the check ..." | ||
| Том 26, № 6 (2014) | Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции | Аннотация PDF (Rus) похожие документы |
| Антон Ермаков | ||
| "... Most FSM based methods for test derivation are developed for initialized Finite State Machines (FSM ..." | ||
| Том 27, № 6 (2015) | Проверяющие эксперименты с ненаблюдаемым древовидными автоматами | Аннотация PDF (Rus) похожие документы |
| Н. Г. Кушик | ||
| "... The paper addresses the problem of deriving preset checking experiments for non-observable FSMs ..." | ||
| Том 29, № 3 (2017) | Эксперименты по построению параллельной композиции временных автоматов | Аннотация похожие документы |
| А. П. Сотников, Н. В. Шабалдина, М. Л. Громов | ||
| "... State Machines (TFSMs). We consider the composition of TFSMs with timeouts and output delays. We held ..." | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация похожие документы |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| "... State identification is a long standing problem in the area of Finite State Machine (FSM) based ..." | ||
| Том 26, № 6 (2014) | Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов | Аннотация PDF (Rus) похожие документы |
| М. С. Форостьянова | ||
| "... based on tree finite state machines (FSM) is proposed. The first step is the extraction ..." | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| "... FSM (Finite State Machines) are widely used for deriving tests with guaranteed fault coverage ..." | ||
| Том 30, № 3 (2018) | К проверке строго детерминированного поведения временных конечных автоматов | Аннотация похожие документы |
| Е. М. Винарский, В. А. Захаров | ||
| "... . In a Timed FSM (TFSM) inputs and outputs have timestamps, and each transition is equipped with a timed guard ..." | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... The derivation of checking sequences for Finite State Machines (FSMs) has a long history ..." | ||
| Том 26, № 6 (2014) | Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом | Аннотация PDF (Rus) похожие документы |
| Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко | ||
| "... автомата с таймаутами, который дополнен контекстными переменными, представляющими нефункциональные ..." | ||
| Том 30, № 3 (2018) | О верификации конечных автоматов-преобразователей над полугруппами | Аннотация похожие документы |
| А. Р. Гнатенко, В. А. Захаров | ||
| "... input alphabet of the transducer, and 2) each atomic proposition is specified by a regular expression ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| "... Transition Systems . Each path in this LTS represents all possible runs of and on the same input word. Every ..." | ||
| Том 29, № 4 (2017) | Генерация тестов для цифровой аппаратуры на основе высокоуровневых моделей | Аннотация похожие документы |
| М. М. Чупилко, А. С. Камкин, М. С. Лебедев, С. А. Смолов | ||
| "... models for low-level manufacturing testing. A particular test generation method is considered. The input ..." | ||
| Том 26, № 2 (2014) | Обход неизвестного графа коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... into the input format of the nuXmv model checking tool. nuXmv performs model checking and generates ..." | ||
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..." | ||
| Том 26, № 6 (2014) | Локализация неисправной компоненты в композиции расширенных автоматов | Аннотация PDF (Rus) похожие документы |
| Светлана Прокопенко | ||
| "... решаем эту проблему для бинарной сети из расширенных автоматов. Для каждой из компонент строится ..." | ||
| Том 31, № 3 (2019) | «Жизнь» в тензорах: реализация клеточных автоматов на видеокартах | Аннотация похожие документы |
| Наталья Андревна Шаляпина, Максим Леонидович Громов | ||
| "... В данной статье представлен подход к описанию клеточных автоматов с использованием тензоров. Такой ..." | ||
| Том 36, № 5 (2024) | Использование клеточного автомата для оценки влияния городской планировки на социоэкономические показатели при распространении эпидемий | Аннотация PDF (Rus) похожие документы |
| Степан Алексеевич ЕЛИСТРАТОВ | ||
| "... эпидемиологических показателей путем моделирования распространения эпидемии с помощью клеточного автомата ..." | ||
| Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
| Том 27, № 1 (2015) | Обход неизвестного графа коллективом автоматов. Недетерминированный случай | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... Исследование графов автоматами является корневой задачей во многих приложениях. К таким приложениям ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... вопроса – восстановления реализованного в программе протокольного автомата, а краеугольным камнем является ..." | ||
| Том 27, № 2 (2015) | Конечные автоматы в теории алгебраических схем программ | Аннотация PDF (Rus) похожие документы |
| Р. И. Подловченко | ||
| "... результата восходит к разрешимости проблемы эквивалентности конечных автоматов. Задача статьи состоит в ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... documentation tool) to declare the input and output types of methods or even declare methods that are added ..." | ||
| Том 26, № 6 (2014) | Параллельные вычисления автоматами на прямом и обратном остовах графа | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев, Виктор Кулямин | ||
| "... значений, находящихся в вершинах графа. Вычисления выполняются автоматами, размещенными в вершинах графа и ..." | ||
| Том 26, № 6 (2014) | Построение прямого и обратного остовов автоматами на графе | Аннотация PDF (Rus) похожие документы |
| Игорь Бурдонов, Александр Косачев | ||
| "... В работе представлен алгоритм параллельного исследования графа. Автомат на графе является аналогом ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... коллективом автоматов, расположенных в вершинах графа и обменивающихся сообщениями по рёбрам графа. Автоматы ..." | ||
| Том 29, № 6 (2017) | Подход к реализации системы верифицированного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... конечных автоматах над деревьями (КАД), аналогичных НКА и ДКА для регулярных языков над символьным ..." | ||
| Том 34, № 4 (2022) | Автоматическое тестирование LLVM-программ со сложными входными структурами данных | Аннотация PDF (Rus) похожие документы |
| Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ | ||
| "... for LLVM programs with complex input data structures. The approach is based on the well-known idea of lazy ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... : input generation for increasing test coverage for program, inputs of death generation, exploit ..." | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... to the complexity of input data generating. JavaScript engines process JavaScript code on a web page and require ..." | ||
| Том 27, № 3 (2015) | Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов | Аннотация PDF (Rus) похожие документы |
| И. . Мельниченко, А. . Камкин, С. . Смолов | ||
| "... . Расширенные конечные автоматы (extended finite state machines, EFSM) - удобный формализм для моделирования ..." | ||
| 1 - 40 из 152 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
