Том 16

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

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

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

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

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

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

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

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

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

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