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


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

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

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


Содержание

В.П. Иванников. Предисловие. Стр. 5-8.

С.П. Вартанов, А.Ю. Герасимов. Применение динамического анализа для поиска дефектов в программах на языке Java Стр. 9-28.

М.К. Ермаков, А.Ю. Герасимов. Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей. Стр. 29-38.

Н.Г. Зельцер. Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге. Стр. 39-50.

Н.Л. Луговской, С.В. Сыромятников. Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов. Стр. 51-66.

И.Е. Бронштейн. Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования. Стр. 67-84.

Захаров И.С., Мутилин В.С., Новиков Е.М., Хорошилов А.В. Моделирование окружения драйверов устройств операционной системы Linux. Стр. 85-112.

Мендкович Н.А., Кузнецов С.Д. Оценка эффективности минимизации ограничений запросов к СУБД. Стр. 113-130.

Золотов В.А., Семенов В.А. Исследование и развитие метода декомпозиции для анализа больших пространственных данных. Стр. 131-166.

Федоренко Д.Г., Астраханцев Н.А. Автоматическое извлечение новых концептов предметно-специфичных терминов. Стр. 167-178.

Антон Коршунов, Иван Белобородов, Андрей Гомзин, Кристина Чуприна, Никита Астраханцев, Ярослав Недумов, Денис Турдаков. Определение демографических атрибутов пользователей микроблогов. Стр. 179-194.

Шокуров А.В. Нахождение корней систем алгебраических уравнений с помощью базиса Гребнера. Стр. 195-206.

Воеводин А.В., Косяченко С.А. Оптимальное упорядочение конфликтующих объектов и задача коммивояжера. Стр. 207-224.

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