RUSSIAN

Труды Института системного программирования. Том 12. Методы синтеза и анализа алгоритмов

By Иванников В.П. (ред.).

Book information

Language
russian
Format
PDF
Filesize
1 MB (1333344 bytes)
Pages
\122
Library
twirpx
Time added
2017-08-07 07:01:42
Библиотека;Компьютерная литература;Алгоритмы и стр

Description

М.: Институт системного программирования РАН, 2006. – 122 с.Двенадцатый том Трудов Института системного программирования составлен из научных статей, посвященных актуальным вопросам построения и анализа алгоритмов для различных задач дискретной математики и теоретического программирования.Содержание:С.Н. Жук. Онлайновый алгоритм упаковки прямоугольников в несколько полос с гарантированными оценками точности.Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ различных шельфовых алгоритмов упаковки прямоугольников в полосу.Н.П. Варновский, А.В. Шокуров. Гомоморфное шифрование.I.V. Konnov, V. A. Zakharov. On the verification of asynchronous parameterized networks of communicating processes by model checking.P. E. Bulychev, I.V. Konnov, V. A. Zakharov. Computing (bi)simulation relations preserving CTL for ordinary and fair Kripke structures.N. N. Kuzjurin, R. I. Podlovchenko, V. S. Scherbina, V. A. Zakharov. Using algebraic models of programs for detecting metamorphic malwares.И.А. Лавров. Сложность вычислений на абстрактных машинах.

Similar books