Сортировать по:
Выпуск | Название | |
Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
А. С. Камкин, А. М. Коцыняк | ||
"... управления памятью микропроцессоров с архитектурой MIPS64. Предлагаемое средство базируется на среде ..." | ||
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
"... итеративного динамического анализа с целью покрытия наибольшего числа путей выполнения программы. Для такого ..." | ||
Том 30, № 4 (2018) | К синтезу адаптивных различающих последовательностей для конечных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, Н. В. Евтушенко | ||
"... Конечные автоматы широко используются при построении проверяющих тестов для управляющих систем с ..." | ||
Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... формате ELF для архитектуры ARM. Предлагаемый метод включает возможности настройки инструментации с ..." | ||
Том 29, № 5 (2017) | Техника плоских схем для тестирования встроенных операционных систем | Аннотация похожие документы |
В. В. Никифоров, С. Н. Баранов | ||
"... тестировать с помощью соответствующего набора автоматических тестов. Такой набор тестов для тестирования ..." | ||
Том 29, № 4 (2017) | Смешанная задача китайского почтальона | Аннотация похожие документы |
М. К. Горденко, С. М. Авдошин | ||
"... основном связаны с определением оптимального набора путей в мультиграфе. Задача китайского почтальона (CPP ..." | ||
Том 29, № 4 (2017) | Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов | Аннотация похожие документы |
С. М. Авдошин, Е. Н. Береснева | ||
"... работы и точности решения в ходе экспериментального исследования. В связи с тем, что задача коммивояжера ..." | ||
Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
К. В. Давыдова, С. А. Шершаков | ||
"... исполнения, представленных в виде журналов событий, систем с сервис-ориентированной архитектурой (СОА). В то ..." | ||
Том 29, № 4 (2017) | Cтохастические методы анализа комплексных программно-аппаратных систем | Аннотация похожие документы |
А. А. Карнов, С. В. Зеленов | ||
"... инструмент должен работать - язык моделирования AADL с библиотекой Error Model Annex, набор инструментов ..." | ||
Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... -Борната, модель с регионами и полная модель памяти для теории интерпретируемых множеств элементов списков ..." | ||
Том 29, № 2 (2017) | Размер памяти для хранения упорядоченного корневого графа | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... совпадение номеров соответствующих вершин. Графы рассматриваются с точностью до слабого изоморфизма. Показано ..." | ||
Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
И. С. Раткевич | ||
Том 26, № 1 (2014) | Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища | Аннотация PDF (Rus) похожие документы |
С. С. Гайсарян, Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, С. С. Саргсян | ||
"... распространять приложения в промежуточном представлении LLVM. Описывается модификация компонентов LLVM с целью ..." | ||
Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
"... процессора. Разработанная модель позволяет оценивать время выполнения параллельной программы с явными ..." | ||
Том 23 (2012) | О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью | Аннотация PDF (Rus) похожие документы |
С. Н. Жук | ||
"... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..." | ||
Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
С. В. Сыромятников | ||
"... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..." | ||
Том 20 (2011) | Планирование строго периодических задач в системах реального времени | Аннотация PDF (Rus) похожие документы |
С. В. Зеленов | ||
"... производится с учетом того, чтобы за приемлемое время строилось как можно более оптимальное расписание ..." | ||
Том 27, № 2 (2015) | Использование многопоточных процессов в среде ParJava | Аннотация PDF (Rus) похожие документы |
М. С. Акопян | ||
Том 18 (2010) | Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров | Аннотация PDF (Rus) похожие документы |
А. С. Камкин | ||
Том 18 (2010) | Технология создания гетерогенных трасс, их анализа и генерации из них отчётов | Аннотация PDF (Rus) похожие документы |
С. Г. Грошев | ||
Том 21 (2011) | Разработка параллельной СУБД на основе PostgreSQL | Аннотация PDF (Rus) похожие документы |
К. С. Пан | ||
"... PargreSQL для многопроцессорных вычислительных систем с распределенной памятью. PargreSQL основана на СУБД с ..." | ||
Том 30, № 6 (2018) | Конфигурационная сборка варианта ядра Linux для прикладных систем | Аннотация PDF (Rus) похожие документы |
С. В. Козин | ||
"... правильности их идентификации и связей с другими элементами. Затем по этим моделям проводится конфигурирование ..." | ||
Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
К. Ю. Долгорукова, С. В. Аришин | ||
"... метод представляет собой работу исключительно на аннотациях, что позволяет работать с минимально ..." | ||
Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
И. С. Захаров, Е. М. Новиков | ||
Том 29, № 3 (2017) | Объектно-ориентированный каркас для программной реализации приложений теории расписаний | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
"... Статья адресована вопросам программной реализации моделей, методов и приложений теории расписаний с ..." | ||
Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
Н. Ю. Вьюгинов, В. С. Фондаратов | ||
"... исполнение строковых выражений. Даже в языках с динамической типизацией информация о типах важна, так как она ..." | ||
Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... считаются полуроботами, т.е. размер их памяти может расти вместе с ростом числа n вершин и числа m рёбер ..." | ||
Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) похожие документы |
А. С. Аничкин, В. А. Семенов | ||
Том 30, № 1 (2018) | О возможностях автоматного описания параллельной композиции временных автоматов | Аннотация PDF (Rus) похожие документы |
А. С. Твардовский, А. В. Лапутенко | ||
"... композиции для двух моделей временных автоматов, а именно, для автоматов с таймаутами и автоматов с ..." | ||
Том 30, № 1 (2018) | Методы деанонимизации пользователей биткоин | Аннотация похожие документы |
С. М. Авдошин, А. В. Лазаренко | ||
151 - 180 из 279 результатов | << < 1 2 3 4 5 6 7 8 9 10 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)