Компьютерная литература
  • формат pdf
  • размер 1,27 МБ
  • добавлен 30 октября 2012 г.
Иванников В.П. (ред.). Труды Института системного программирования. Том 12. Методы синтеза и анализа алгоритмов
М.: Институт системного программирования РАН, 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.
И.А. Лавров. Сложность вычислений на абстрактных машинах.
Похожие разделы