Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 6 (2018) О задаче эффективного управления вычислительной инфраструктурой Аннотация  PDF (Rus)  похожие документы
Д. А. Грушин, Н. Н. Кузюрин
"... : коротких, долгих, интерактивных, пакетных, и задач с различным приоритетом. Планировщик кластера решает ..."
 
Том 30, № 4 (2018) Способы сегментации медицинских изображений Аннотация  похожие документы
С. А. Мусатян, А. В. Ломакин, С. Ю. Сартасов, Л. К. Попыванов, И. Б. Монахов, А. С. Чижова
"... , связанных с человеческим фактором. Несмотря на то, что некоторые из методов решения задач могут быть ..."
 
Том 21 (2011) Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava Аннотация  PDF (Rus)  похожие документы
А. И. Аветисян, М. С. Акопян, С. С. Гайсарян
"... SPMD программ с явным обменом сообщениями, написанных на языке Java с обращениями к библиотеке MPI, и ..."
 
Том 28, № 1 (2016) Тестирование системы автоматов с буферизацией сообщений Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... тестовых воздействий порядка произведения чисел состояний автоматов компонентов, а с учётом гипотезы о ..."
 
Том 28, № 1 (2016) Система автоматов: композиция по графу связей Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом ..."
 
Том 28, № 1 (2016) Система автоматов: условия детерминизма и тестирование Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным ..."
 
Том 28, № 1 (2016) Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов Аннотация  PDF (Rus)  похожие документы
К. С. Кузьмина, И. К. Марчевский
"... формуле, полученной с помощью разложения выражения для конвективной скорости в ряд Тейлора. Влияние ..."
 
Том 28, № 3 (2016) Модель разграничения прав доступа для объектно-ориентированных и объектно-атрибутных приложений Аннотация  похожие документы
П. П. Олейник, С. М. Салибекян
"... первым автором, реализован с помощью иерархии классов, состав и структура которых детально описана в ..."
 
Том 28, № 3 (2016) Генерация динамических ключей и подписей с зависимостью от времени Аннотация  похожие документы
А. С. Кирьянцев, И. А. Стефанова
"... подписей для сообщений с зависимостью от времени начала взаимодействия двух абонентов. В предлагаемом ..."
 
Том 28, № 3 (2016) Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий Аннотация  похожие документы
К. В. Давыдова, С. А. Шершаков
"... основе журналов событий информационных систем с сервис-ориентированной архитектурой (SOA). Диаграммы ..."
 
Том 28, № 3 (2016) Применение MapReduce для проверки соответствия моделей процессов и логов событий Аннотация  похожие документы
И. С. Шугуров, А. А. Мицюк
"... соответствия на основе выравниваний является не слишком эффективной с точки зрения потребления памяти и времени ..."
 
Том 28, № 3 (2016) Метод представления мнений экспертов в виде Z-чисел Аннотация  похожие документы
Е. А. Глуходед, С. И. Сметанин
"... играет важную роль. Мы часто работаем с неполной информацией, основанной на опыте и оценках различных ..."
 
Том 28, № 3 (2016) Система деанонимизации пользователей теневого интернета Аннотация  похожие документы
С. М. Авдошин, А. В. Лазаренко
"... Tor с целью успешной деанонимизации пользователей. Описан эксперимент использования website ..."
 
Том 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 с целью ..."
 
Том 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) Методы деанонимизации пользователей биткоин Аннотация  похожие документы
С. М. Авдошин, А. В. Лазаренко
 
Том 30, № 2 (2018) Синтаксический анализ графов с использованием конъюнктивных грамматик Аннотация  PDF (Rus)  похожие документы
Р. Ш. Азимов, С. В. Григорьев
"... , статическом анализе кода и др. При этом оказывается необходимо вычислять запросы к большим графам с целью ..."
 
Том 30, № 2 (2018) Проблема отката в ориентированной распределенной системе Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... отображения: «быстрый» алгоритм с оценками T = O ( n ) и N = O ( n ) и «экономный» алгоритм с оценками T = O ..."
 
Том 30, № 3 (2018) К построению модульной модели распределенного интеллекта Аннотация  PDF (Rus)  похожие документы
Ю. Л. Словохотов, И. С. Неретин
 
Том 30, № 3 (2018) Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Аннотация  похожие документы
М. К. Горденко, С. М. Авдошин
 
Том 30, № 3 (2018) Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения Аннотация  похожие документы
Е. Н. Береснева, С. М. Авдошин
"... заключается в нахождении множества оптимальных замкнутых маршрутов с целью развозки товаров клиентам ..."
 
Том 23 (2012) Расширение модели ParJava для случая кластеров с многоядерными узлами Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
"... процессора. Разработанная модель позволяет оценивать время выполнения параллельной программы с явными ..."
 
Том 23 (2012) О построении расписаний выполнения параллельных задач на группах кластеров с различной производительностью Аннотация  PDF (Rus)  похожие документы
С. Н. Жук
"... Предложен онлайновый алгоритм распределения параллельных задач на группе кластеров с различными ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... синтаксического дерева. В данной статье рассматриваются преимущества и недостатки данного подхода, в сравнении с ..."
 
Том 20 (2011) Планирование строго периодических задач в системах реального времени Аннотация  PDF (Rus)  похожие документы
С. В. Зеленов
"... производится с учетом того, чтобы за приемлемое время строилось как можно более оптимальное расписание ..."
 
Том 27, № 2 (2015) Использование многопоточных процессов в среде ParJava Аннотация  PDF (Rus)  похожие документы
М. С. Акопян
 
133 - 176 из 274 результатов << < 1 2 3 4 5 6 7 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)