Volume 16 (in Russian)

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

Proceedings of the Institute for System Programming. Volume 16 (in Russian), 2009, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

Мария Гринева, Максим Гринев. Анализ текстовых документов для извлечения тематически сгруппированных ключевых терминов. Стр. 155-165.

Максим Гринев, Иван Щеклеин. Ориентированные на приложения методы хранения XML-данных. Стр. 143-154.

В.В. Рубанов. Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования. Стр. 129-141.

А.С. Камкин. Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования. Стр. 107-128.

В.С. Мутилин. Метод проверки линеаризуемости многопоточных Java программ. Стр. 89-106.

В. В. Кулямин. Перспективы интеграции методов верификации программного обеспечения. Стр. 73-88.

В.А. Падарян, А.И. Гетьман, М.А. Соловьев. Программная среда для динамического анализа бинарного кода. Стр. 51-72.

А. Белеванцев, Д. Журихин, Д. Мельник. Компиляция программ для современных архитектур. Стр. 31-50.

А.И. Аветисян, В.В. Бабкова, А.В. Монаков. Обеспечение высокопродуктивного программирования для современных параллельных платформ. Стр. 9-24.

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

Back to the list of all volumes