Том 12

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

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

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

Содержание

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

С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности. Стр. 7-16.

Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу. Стр. 17-26.

Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование. Стр. 27-36.

I.V. Konnov, V.A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking. Стр. 37-58.

P.E. Bulychev, I.V. Konnov, V.A. Zakharov. Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures. Стр. 59-76.

N.N. Kuzjurin, R.I. Podlovchenko, V.S. Scherbina, V.A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares Стр. 77-94.

И.А. Лавров. Сложность вычислений на абстрактных машинах. Стр. 95-122.

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