Современные проблемы конструирования программ

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Новосибирск: Институт систем информатики им. А. П. Ершова СО РАН, 2002. — 256 с.
Сборник является девятым в серии книг, издаваемых Институтом систем информатики им. А.П. Ершова СО РАН по проблемам конструирования и оптимизации программ. Он посвящен решению актуальных задач конструирования эффективных и надежных программ и систем на основе теоретико-графовых методов, функционального программирования, сетевой обработки и средств визуализации.
Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.
Содержание сборника:
Бабурин Д.Е. Иерархический подход для автоматического размещения ациклических графов.
Волянская Т.А. Методы и технологии адаптивной гипермедиа.
Глуханков М.П., Дортман П.А., Павлов А.А., Стасенко А.П. Транслирующие компоненты системы функционального программирования SFP.
Дунаев А.А., Лобив И.В., Мехонцев Д.Ю., Мурзин Ф.А., Половинко О.Н., Семич Д.Ф., Чепель А.В., Ярков К.А. Алгоритмы быстрого поиска фрагментов фотографических изображений.
Дылыков Ж.Л-Д., Мурзин Ф.А. Система TRIZ_Computing.
Дылыков Ж.Л-Д., Пустыльников В.А. Автоматизация методов принятия решений на железнодорожном транспорте как гарантия обеспечения безопасности движения.
Евстигнеев В.А. Конвейерная модель перевозок как модель пересылки протяженных сообщений.
Евстигнеев В.А., Мирзуитова И.Л. Развитие NUMA-архитектуры: текущее состояние
Иванов М.А. Обзор MPEG-подобных методов кодирования видеоданных.
Касьянов В.Н., Несговорова Г.П., Волянская Т.А. Виртуальный музей истории информатики в Сибири.
Кряженков П.Б. Пользовательский интерфейс интегрированной среды функционального программирования SFP.
Малинина Ю.В. ИС ТРАНСФОРМ: Автоматизация наполнения системы.
Маркин В.А., Маркина С.А. Проект системы для быстрого прототипирования распараллеливающего компилятора. Универсальное внутреннее представление системы.
Мельников Л.С., Петренко И.В. Путевые ядра и длины циклов в неориентированных графах
Мехонтцев Д.Ю., Лобив И.В., Селезнев К.С. Слежение и определение скорости движущихся на плоскости объектов в реальном времени.
Терехов В.И., Треногин Н.Г. Оптимальное размещение информации в вычислительных системах с учетом структурной надежности компонентов.

Author(s): Касьянов В.Н. (ред.)

Language: Russian
Commentary: 1189036
Tags: Информатика и вычислительная техника;Информатика (программирование)