Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
"... , а именно инструкций чтения и записи, и устройств памяти, таких как блоки кэш-памяти и буферы ..." | ||
Том 29, № 5 (2017) | Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, С. В. Морозов, В. А. Семенов, О. А. Тарлапан | ||
"... расписаний. Благодаря наличию готовых компонентов для решения типовых задач, а также предусмотренным ..." | ||
Том 29, № 6 (2017) | Мелкогранулярная рандомизация адресного пространства программы при запуске | Аннотация PDF (Rus) похожие документы |
А. Р. Нурмухаметов, Е. А. Жаботинский, Ш. Ф. Курмангалеев, С. С. Гайсарян, А. В. Вишняков | ||
Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
"... . Рассмотрена возможность построения полного графа сетевых взаимодействий, а также создания временной диаграммы ..." | ||
Том 27, № 6 (2015) | Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM | Аннотация PDF (Rus) похожие документы |
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян | ||
Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
Том 30, № 5 (2018) | Отслеживание операций с файловой системой ext3 в эмуляторе QEMU | Аннотация PDF (Rus) похожие документы |
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев | ||
"... отсутствии вмешательства в работу ОС, а также отсутствии зависимости от ОС. Благодаря этому возможно ..." | ||
Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
Том 30, № 4 (2018) | Способы сегментации медицинских изображений | Аннотация похожие документы |
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова | ||
"... . Наш проект состоит из двух частей: набор алгоритмов для обработки снимков, а также инструменты для ..." | ||
Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
Том 28, № 1 (2016) | Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах | Аннотация PDF (Rus) похожие документы |
Е. В. Пальчевский, А. Р. Халиков | ||
"... вычислительную мощность центрального процессора. Продемонстрированы блок-схемы алгоритмов, а также итоговые ..." | ||
Том 28, № 1 (2016) | Тестирование системы автоматов с буферизацией сообщений | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... автоматами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система ..." | ||
Том 28, № 1 (2016) | Система автоматов: композиция по графу связей | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..." | ||
Том 28, № 1 (2016) | Система автоматов: условия детерминизма и тестирование | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..." | ||
Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
А. М. Троицкий, Д. В. Буздалов | ||
"... При проектировании современных систем авионики, а также других ответственных систем, неотъемлемой ..." | ||
Том 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) | Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa | Аннотация похожие документы |
И. А. Писарев, Л. К. Бабенко | ||
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
Том 27, № 4 (2015) | Методы построения социо-демографических профилей пользователей сети Интернет | Аннотация PDF (Rus) похожие документы |
А. Г. Гомзин, С. Д. Кузнецов | ||
Том 28, № 6 (2016) | Моделирование семейств программных систем | Аннотация PDF (Rus) похожие документы |
Е. М. Лаврищева, А. К. Петренко | ||
"... необходимости появления версий (релизов) систем. Кроме того, у большой системы всегда есть несколько, а иногда ..." | ||
Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация похожие документы |
А. Р. Гималетдинова, К. Ю. Дегтярев | ||
"... в системе нечеткого вывода (англ. FIS), а также представляется набор нечетких правил ЕСЛИ-ТО модели ..." | ||
Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
211 - 240 из 416 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)