Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 27, выпуск 3, 2015, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Скачать полный выпуск
PDF


Содержание

А.С. Камкин, А.К. Петренко, А.Н. Терехов Предисловие Стр. 7-8

И.С. Раткевич Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio Стр. 9-28

Ю.В. Белякова, С.С. Михалкович Проблемы обобщений C# и способы их решения с помощью концептов Стр. 29-46

Д. Егорова, В. Жидченко Облачный PaaS-сервис визуального параллельного программирования в технологии графо-символического программирования Стр. 47-56

А. Наумчев Бесшовная разработка программного обеспечения: применимость на примере Стр. 57-72

А.Н. Коварцев, В.С. Смирнов, С.В. Смирнов Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных Стр. 73-86

О.А. Четверина Классификация процедур для выбора стратегии оптимизации Стр. 87-100

П.П. Олейник Унифицированная модель тестирования инструментов разработки объектно-ориентированных приложений Стр. 101-114

Н.В. Воинов, П.Д. Дробинцев, И.В. Никифоров, В.П. Котляров, А.В. Колчин Метод автоматической конкретизации символических тестовых сценариев Стр. 115-124

А.С. Камкин, А.С. Проценко, А.Д. Татарников Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов Стр. 125-138.

В.Н. Куцевол, А.Н. Мешков, М.П Рыжов, П.В. Фролов Подход к верификации модуля прямого доступа к памяти Стр. 139-148.

А.С. Камкин, М.В. Петроченков Подход к построению тестовых оракулов для подсистем памяти многоядерных микропроцессоров на основе моделей Стр. 149-160.

И.В. Мельниченко, А.С. Камкин, С.А. Смолов Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов Стр. 161-182.

В. Буренков О реализации формального метода верификации масштабируемых систем с когерентной памятью Стр. 183-196.

С.А. Черненок, В.А. Непомнящий Применение раскрашенных сетей Петри для верификации распределенных систем, специфицированных MSC-диаграммами Стр. 197-218.

Н. Никитина, А. Мицюк Редактор моделей процессов «Carassius» Стр. 219-236.

И. Шугуров, А. Мицюк Iskra: Инструмент починки моделей процессов Стр. 237-254.

С. Иванов, А. Каленкова Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML Стр. 255-266.

К. Маллачиев, Н. Пакулин Удаленное обслуживание системных вызовов в микроядерном гипервизоре Стр. 267-278.

А. Кирьянцев, И. Стефанова Создание приватного сервиса с использованием приложения CRYP2CHAT Стр. 279-290.

В. Тарасов, Е. Мезенцева, Д. Карбаев Совмещенный классификатор для фильтрации сообщений на веб сайтах Стр. 291-302.

В. Тарасов, С. Малахов Программа статистической обработки данных анализатора Wireshark и исследование входящего трафика Стр. 303-314.

И.П. Болодурина, Д.И. Парфёнов Эффективное использование ресурсов распределенной платформы облачных вычислений для обеспечения качества мультимедийных услуг Стр. 315-328.

Н. Лиманова, М. Седов Метод поиска реквизитов физических лиц в базах данных на основе нечёткого сравнения Стр. 329-342.

Д.В. Антонов, В.С. Рублев Эффективное взаимодействие с СУБД DIM Стр. 343-350.

Д.А. Усталов Инструментарий краудсорсинга для механизированного труда Стр. 351-364.

Л.С. Зеленко, Д.А. Конопелькин, В.С. Иванов, А.О. Григорьев, А.Е. Семенов, М.А. Савачаев, Е.Е. Поберёзкин Программные средства для организации и поддержки игровой дистанционной обучающей системы «3Ducation» Стр. 365-378.

А.А. Цыганов Ускорение создания профилей для трехмерного векторного видео с помощью GPGPU Стр. 379-388.

С. Латкина Двухшаговый генератор гармоничных мелодий Стр. 389-406.

Вернуться к списку всех томов