Proceedings of ISP RAS


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

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

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

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

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

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

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

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

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

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

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

Back to the list of all volumes