Volume 6 (in Russian)


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

Edited by Academician V.P. Ivannikova

Table of Contents

I.M. Zakharyaschev, V.A. Zakharov. On the equivalence-checking problem for polysemantic models of sequential programs. Стр. 179-198.

A.V. Shokurov. An approach to quantitative analysis of resistance of equivalent transformations of algebraic circuits. Стр. 157-178.

K.S. Ivanov, V.A. Zakharov. Program obfuscation as obstruction of program static analysis. Стр. 137-156.

N.P. Varnovsky. A note on the concept of obfuscation. Стр. 127-136.

Н.Н. Кузюрин, С.А. Мартишин, М.В. Храпченко. Генетические алгоритмы в задаче поиска часто встречающихся комбинаций. Стр. 109-126.

N.N. Kuzjurin. Probabilistic analysis of the greedy algorithm. Стр. 101-108.

Н.Н. Кузюрин. Обобщенные покрытия и их аппроксимации. Стр. 85-100.

Т.В. Андреева. Об унимодальности декартовой степени звезд. Стр. 65-84.

М.Н. Вялый. Алгоритмические задачи с таблицами значений булевых полиномов. Стр. 51-64.

Н.Н. Кузюрин, О.А. Прокопьев. О распознавании сложности аппроксимации булевых функций. Стр. 41-50

С.А. Фомин. Быстрый приближенный алгоритм для задачи положительного линейного программирования. Стр. 27-40.

С.Н. Жук. Анализ некоторых эвристик в задаче упаковки прямоугольников в несколько полос. Стр. 13-26.

А.И. Поспелов. Анализ одного алгоритма упаковки прямоугольников, связанного с построением расписаний для кластеров. Стр. 7-12.

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

Back to the list of all volumes