Сортировать по:
Выпуск | Название | |
Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) похожие документы |
В. Н. Юдин, Л. Е. Карпов | ||
"... В рамках прецедентного подхода к управлению сложными объектами, не поддающимися формализации в виде ..." | ||
Том 28, № 4 (2016) | Обзор современных методов планирования движения | Аннотация PDF (Rus) похожие документы |
К. А. Казаков, В. А. Семенов | ||
"... Автоматизация технологически сложных процессов в машиностроении, энергетике, транспорте, медицине ..." | ||
Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, Н. В. Евтушенко | ||
"... гарантированной полнотой обнаружения неисправностей. В ряде случаев такие тесты достигают экспоненциальной длины ..." | ||
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
"... В статье рассматривается задача дедуктивной верификации кода ядра ОС Linux, написанного на языке Си ..." | ||
Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... В данной статье мы предлагаем метод автоматического построения так называемых «гибридных» UML ..." | ||
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... В данной работе рассматривается марковский анализ моделей комплексных программно-аппаратных систем ..." | ||
Том 28, № 6 (2016) | Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов | Аннотация PDF (Rus) похожие документы |
Д. О. Машкин, Е. В. Котельников | ||
"... В интернете существует множество площадок, которые предоставляют пользователям возможность ..." | ||
Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... В статье приведен обзор существующих подходов к моделированию памяти Си-программ в инструментах ..." | ||
Том 26, № 2 (2014) | Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов | Аннотация PDF (Rus) похожие документы |
О. В. Горемыкин | ||
"... различных платформ. В данной статье описывается разработанный способ описания аппаратных конфигураций ..." | ||
Том 26, № 2 (2014) | Обзор методов упрощения полигональных моделей на графическом процессоре | Аннотация PDF (Rus) похожие документы |
В. И. Гонахчян | ||
"... параллельной реализации данных алгоритмов. В работе обсуждаются некоторые известные алгоритмы упрощения ..." | ||
Том 26, № 1 (2014) | Предисловие | PDF (Rus) похожие документы |
В. П. Иванников | ||
Том 26, № 5 (2014) | Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера | Аннотация PDF (Rus) похожие документы |
А. В. Трепачева | ||
"... , предложенной Доминго-Феррером. В предыдущих работах было показано, что для раскрытия секретного ключа ..." | ||
Том 24 (2013) | Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов | ||
"... к поведения программных или аппаратных компонентов. В статье описываются наиболее значимые ..." | ||
Том 24 (2013) | Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... В данной статье изложены материалы сравнения и критики SQL по поводу соответствия операторов SQL ..." | ||
Том 20 (2011) | Извлечение ключевых терминов из сообщений микроблогов с помощью Википедии | Аннотация PDF (Rus) похожие документы |
А. В. Коршунов | ||
"... В статье описывается способ извлечения ключевых терминов из сообщений микроблогов с использованием ..." | ||
Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников | ||
"... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..." | ||
Том 20 (2011) | О моделировании счётчиков с бесконечным числом значений в обыкновенных сетях Петри | Аннотация PDF (Rus) похожие документы |
Л. В. Дворянский | ||
"... В статье проведен анализ моделирования в обыкновенных сетях Петри счетчиков с бесконечным числом ..." | ||
Том 20 (2011) | Планирование строго периодических задач в системах реального времени | Аннотация PDF (Rus) похожие документы |
С. В. Зеленов | ||
"... . Классические алгоритмы планирования периодических задач работают лишь в случае, когда время запуска каждой ..." | ||
Том 21 (2011) | Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... В операторах ограничения предлагается логические выражения интерпретировать как реляционные. Точнее ..." | ||
Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
В. А. Захаров | ||
"... этих действий. В данной статье предложен общий подход к решению двух задач анализа вычислений ..." | ||
Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
"... Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но ..." | ||
Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
Е. В. Корныхин | ||
"... , более точно модулей управления памяти. В статье описывается метод построения тестов (тестовой программы ..." | ||
Том 20 (2011) | Использование аппаратной виртуализации в контексте информационной безопасности | Аннотация PDF (Rus) похожие документы |
Д. В. Силаков | ||
Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
С. В. Козин | ||
"... варианта ОС в виде конфигурационного файла. Этот файл верифицируется, и проходит комплексное тестирование ..." | ||
Том 30, № 6 (2018) | Автоматический поиск фрагментов, содержащих биографическую информацию, в тексте на естественном языке | Аннотация PDF (Rus) похожие документы |
А. В. Глазкова | ||
"... применение в поисковых системах, электронных библиотеках и каталогах, системах сбора и обработки информации ..." | ||
Том 30, № 6 (2018) | Многомасштабный подход к моделированию сложных переходных процессов движения жидкостей в технических системах | Аннотация PDF (Rus) похожие документы |
М. В. Крапошин | ||
"... В работе приводится описание многомасштабного подхода для моделирования процессов течений ..." | ||
Том 30, № 6 (2018) | Минимальный базис модуля сизигий старших членов | Аннотация PDF (Rus) похожие документы |
А. В. Шокуров | ||
Том 30, № 6 (2018) | Тестирование различных методов моделирования внутренних течений несжимаемой жидкости | Аннотация PDF (Rus) похожие документы |
В. Г. Мельникова | ||
"... Математическое моделирование течения в гидравлических элементах относится к отдельному классу задач ..." | ||
Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов | ||
"... эксплуатации уязвимостей и т.д. В то же время значительное падение производительности при динамическом ..." | ||
121 - 150 из 314 результатов | << < 1 2 3 4 5 6 7 8 9 10 11 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)