Сортировать по:
Выпуск | Название | |
Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
"... предлагается проводить анализ программ, предоставляющих графический интерфейс, с помощью гибридного метода ..." | ||
Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
Д. В. Антонов, В. С. Рублев | ||
"... ODQL, позволяющий совместить сложность точного описания с простотой использования за счет введения двух ..." | ||
Том 26, № 4 (2014) | Метод инвариантного распознавания жестов для реализации человеко-компьютерного интерфейса | Аннотация PDF (Rus) похожие документы |
Д. В. Костырев, С. И. Анищенко, М. В. Петрушан | ||
"... В данной статье представлен способ человеко-компьютерного взаимодействия с помощью жестов рук ..." | ||
Том 21 (2011) | WikifyMe: создание модели сравнения для викификаторов | Аннотация PDF (Rus) похожие документы |
С. О. Бартунов, А. А. Болдаков, Д. Ю. Турдаков | ||
Том 18 (2010) | Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов | Аннотация PDF (Rus) похожие документы |
Д. Н. Воробьев, А. С. Камкин | ||
Том 30, № 6 (2018) | Программирование цифрового линейно-фазового фильтра в архитектуре ARMv8 | Аннотация PDF (Rus) похожие документы |
А. М. Водовозов, Д. С. Полетаев | ||
"... Рассматривается задача использования процессоров с архитектурой ARMv8 для ускорения работы ..." | ||
Том 30, № 2 (2018) | Анализ баллистокардиограммы на граничных вычислительных узлах | Аннотация PDF (Rus) похожие документы |
А. С. Нужный, А. А. Прозоров, В. И. Бугаев, Н. Д. Шувалов, В. В. Подымов | ||
"... фильтрации полезного сигнала является более экономичным с точки зрения необходимых вычислительных ресурсов ..." | ||
Том 30, № 5 (2018) | Формализация метамодели системы управления требованиями | Аннотация PDF (Rus) похожие документы |
Д. С. Кильдишев, А. В. Хорошилов | ||
"... представленной модели каталога требований с формальными моделями, позволяющими описывать семантику каждого ..." | ||
Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
Том 27, № 6 (2015) | Облачный сервис для решения многомасштабных задач нанотехнологии на суперкомпьютерных системах | Аннотация PDF (Rus) похожие документы |
С. В. Поляков, А. В. Выродов, Д. В. Пузырьков, М. В. Якобовский | ||
Том 26, № 1 (2014) | Texterra: инфраструктура для анализа текстов | Аннотация PDF (Rus) похожие документы |
Денис Турдаков, Никита Астраханцев, Ярослав Недумов, Андрей Сысоев, Иван Андрианов, Владимир Майоров, Денис Федоренко, Антон Коршунов, Сергей Кузнецов | ||
Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
"... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..." | ||
Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
"... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..." | ||
Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
Том 26, № 1 (2014) | Средства функциональной верификации микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А. Сортов | ||
Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
Том 28, № 2 (2016) | Обзор предметной области и концепция фреймворка для разработки моделей мемристоров и мемристорных нейронных сетей | Аннотация похожие документы |
Д. Д. Кожевников, Н. В. Красилич | ||
Том 24 (2013) | Инструментальные средства оценки качества научно-технических документов | Аннотация PDF (Rus) похожие документы |
С. В. Герасимов, Р. В. Курынин, И. В. Машечкин, М. И. Петровский, Д. В. Царёв, А. А. Шестимеров | ||
"... оценки качества научно-технических документов с использованием методов машинного обучения аналогично ..." | ||
Том 28, № 4 (2016) | Язык описания шаблонов для генерации тестовых программ для микропроцессоров | Аннотация похожие документы |
А. Д. Татарников | ||
Том 29, № 1 (2017) | Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
Д. И. Романова | ||
"... двухфазных сред с поверхностью раздела - метод переноса объёмной доли (VOF). Данный алгоритм реализован в ..." | ||
Том 29, № 1 (2017) | Обзор методов и средств генерации тестовых программ для микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. Д. Татарников | ||
"... генерации требует значительных усилий. Часто в таких случаях приходится создавать новую реализацию с нуля ..." | ||
Том 28, № 6 (2016) | Применение словарей и векторов слов для автоматического построения лексической онтологии | Аннотация похожие документы |
Д. А. Усталов | ||
"... построение и кластеризация графа синонимов с целью вывода отдельных значений слов и их объединения в ..." | ||
Том 29, № 4 (2017) | Обнаружение неточно повторяющегося текста в документации программного обеспечения | Аннотация похожие документы |
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов | ||
"... При создании документации программного обеспечения часто применяется копирование и вставка с ..." | ||
Том 26, № 1 (2014) | Инструментальные средства проектирования систем интегрированной модульной авионики | Аннотация PDF (Rus) похожие документы |
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов | ||
"... с одной стороны закрытые разработки крупных авиакомпаний, таких как Boeing и Airbus, а с другой ..." | ||
Том 27, № 6 (2015) | Min_с: стратегия неоднородной концентрации задач для энергосберегающих компьютерных расписаний | Аннотация PDF (Rus) похожие документы |
Ф. Армента-Кано, А. Черных, Х. М. Кортес-Мендоза, Р. Яхьяпур, А. Ю. Дроздов, П. Буври, Д. Клязович, А. И. Аветисян, С. Несмачнов | ||
"... повышения энергоэффективности с учитом конфликтов использования ресурсов. Мы предлагаем модель оптимизации и ..." | ||
Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
М. С. Малеванный, С. С. Михалкович | ||
"... фрагмент в коде. Эти контексты позволяют в рамках одной модели работать с кодом на различных языках, как ..." | ||
Том 28, № 1 (2016) | Высокопроизводительное численное моделирование стратифицированных течений около клина в OpenFOAM | Аннотация PDF (Rus) похожие документы |
Н. Ф. Димитриева, Ю. Д. Чашечкин | ||
"... жидкости. Поставленная задача решалась с использованием метода конечных объемов в открытом пакете OpenFOAM ..." | ||
Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
А. М. Троицкий, Д. В. Буздалов | ||
"... поведения, связанные с нелокальностью этой характеристики в ряде случаев. Был рассмотрен важный частный ..." | ||
Том 28, № 2 (2016) | Образовательный визуальный потоковый язык для программирования роботов | Аннотация похожие документы |
Г. А. Зимин, Д. А. Мордвинов | ||
"... сравнение широко распространенных сред программирования роботов с описанной в работе средой. Также в работе ..." | ||
Том 28, № 3 (2016) | К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов | Аннотация PDF (Rus) похожие документы |
А. Д. Ермаков, Н. В. Евтушенко | ||
"... автоматов таких публикаций достаточно мало; исследователи начали с того, что предложили алгоритм построения ..." | ||
Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
Д. И. Самохвалов, Л. В. Дворянский | ||
"... вычислительных устройствах. Число таких систем в современном мире растет вместе с увеличивающимся числом ..." | ||
Том 30, № 4 (2018) | Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем | Аннотация PDF (Rus) похожие документы |
Д. О. Лазарев, Н. Н. Кузюрин | ||
Том 28, № 6 (2016) | Извлечение аспектных терминов на основе условных случайных полей и векторных представлений слов | Аннотация PDF (Rus) похожие документы |
Д. О. Машкин, Е. В. Котельников | ||
"... работы программной системы извлечения аспектных терминов. Эксперименты с разработанной программной ..." | ||
Том 29, № 1 (2017) | Численное исследование характеристических мод и частот течения в высокоскоростных компрессорах | Аннотация похожие документы |
М. Д. Калугин, И. Е. Евдокимов | ||
"... В статье описан разработанный решатель pisoCentralDyMFoam с открытым исходным кодом и исследуется ..." | ||
Том 26, № 2 (2014) | О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти | Аннотация PDF (Rus) похожие документы |
Д. А. Носов | ||
Том 27, № 3 (2015) | Инструментарий краудсорсинга для механизированного труда | Аннотация PDF (Rus) похожие документы |
Д. А. Усталов | ||
Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
Д. А. Максименков | ||
"... выявления нерегулярно проявляющихся ошибок в программах с асинхронно работающим кодом. ..." | ||
Том 21 (2011) | Оценка Производительности Протокола Реализации Snapshot Isolation | Аннотация PDF (Rus) похожие документы |
Д. Н. Василик | ||
"... , распределенном хранилище данных с открытым исходным кодом. В данной работе представлена оценка его ..." | ||
40 - 78 из 281 результатов | << < 1 2 3 4 5 6 7 8 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)