Сортировать по:
| Выпуск | Название | |
| Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..." | ||
| Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
| А. М. Троицкий, Д. В. Буздалов | ||
| "... При проектировании современных систем авионики, а также других ответственных систем, неотъемлемой ..." | ||
| Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... последнем случае проверяющая последовательность строится относительно не относительно редукции, а ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| Том 28, № 3 (2016) | Метод представления мнений экспертов в виде Z-чисел | Аннотация похожие документы |
| Е. А. Глуходед, С. И. Сметанин | ||
| "... которых (А) выражает ограничение на возможные (вероятные) значения рассматриваемой в конкретном приложении ..." | ||
| Том 28, № 3 (2016) | Система деанонимизации пользователей теневого интернета | Аннотация похожие документы |
| С. М. Авдошин, А. В. Лазаренко | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
| В. С. Буренков, А. С. Камкин | ||
| Том 28, № 4 (2016) | Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток | Аннотация PDF (Rus) похожие документы |
| В. О. Ермакова, И. А. Ломазова | ||
| Том 30, № 4 (2018) | Динамическая верификация контроллеров шин систем-на-кристалле | Аннотация похожие документы |
| М. М. Чупилко, Е. А. Дроздова | ||
| Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
| А. С. Твардовский, Н. В. Евтушенко | ||
| Том 30, № 4 (2018) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
| И. А. Писарев, Л. К. Бабенко | ||
| Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, А. В. Хорошилов | ||
| Том 27, № 4 (2015) | Методы построения социо-демографических профилей пользователей сети Интернет | Аннотация PDF (Rus) похожие документы |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, А. К. Петренко | ||
| "... необходимости появления версий (релизов) систем. Кроме того, у большой системы всегда есть несколько, а иногда ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... избавиться от такой проблемы, а также предлагаем формальное описание данного подхода в терминах формул путей ..." | ||
| Том 29, № 5 (2017) | Обещающая компиляция в ARMv8.3 | Аннотация PDF (Rus) похожие документы |
| А. В. Подкопаев, О. Лахав, В. Вафеядис | ||
| Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| Том 26, № 2 (2014) | О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти | Аннотация PDF (Rus) похожие документы |
| Д. А. Носов | ||
| "... В работе М. А. Тайцлина и А. П. Столбоушкина было введено понятие недетерминированной программы, и ..." | ||
| Том 27, № 3 (2015) | Инструментарий краудсорсинга для механизированного труда | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| Том 26, № 5 (2014) | Предисловие | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян | ||
| Том 26, № 5 (2014) | Мультиагентные методы и инструментальные средства управления в сервис-ориентированной распределенной вычислительной среде | Аннотация PDF (Rus) похожие документы |
| И. В. Бычков, Г. А. Опарин, А. Г. Феоктистов, В. Г. Богданова, А. А. Пашинин | ||
| Том 26, № 5 (2014) | Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера | Аннотация PDF (Rus) похожие документы |
| А. В. Трепачева | ||
| "... шифртекстами. Здесь мы проводим анализ существующей атаки по известным открытым текстам, а также показываем ..." | ||
| Том 25 (2013) | Автоматическое извлечение новых концептов предметно-специфичных терминов | Аннотация PDF (Rus) похожие документы |
| Н. А. Астраханцев | ||
| "... разработанный алгоритм превосходит существующие подходы, а также позволяет повысить точность разрешения ..." | ||
| Том 27, № 6 (2015) | Методы коррекции профильной информации в процессе компиляции | Аннотация PDF (Rus) похожие документы |
| О. А. Четверина | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... метода является то, что он предназначен в первую очередь для отладки конкретных проблемных оптимизаций, а ..." | ||
| Том 24 (2013) | Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| М. А. Трушников | ||
| 181 - 210 из 385 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
