Алгоритмы, структуры данных

Программное обеспечение разрабатывают
Возникновение
Выход в свет
Хаос

Возрождение
CASE-инструментарий
Формальные методы
Совершенствование
С 2000 по 2009 год: инженерия?
Крупицы истины в формальных методах

Capability Maturity Model
Дополнительная литература о качестве программного обеспечения


Доступ в программах
Термины
Пользователи, права, роли и группы
Набор прав
Группы пользователей
Ролевая модель
Модель с ролями и группами
Оптимизация

Объекты
Права на объекты
Иерархии объектов
Заключение
Процесс разработки или… разрабатываем процесс!
XP

Алгоритм преобразует алгоритм!
Лирическое отступление
Осознание

Свойство неизменности: ООП под микроскопом
Необходимость контроля неизменности
С++
C#, Java
Eiffel
Предлагаемый вариант решения

Литература
Введение.
Терминология.
Моделирование и энтропия.
Адаптированные и неадаптированные модели.
Кодирование.
Модели с фиксированным контекстом.

Контекстуально-смешанные модели.
Вероятность ухода.
Исключения.
Алфавиты.
Практические контекстно-ограниченные модели.

Реализация.
ДРУГИЕ МЕТОДЫ СТАТИСТИЧЕСКОГО МОДЕЛИРОВАHИЯ.
Модели состояний.
Динамическое сжатие Маркова.
Грамматические модели.
Модели новизны.
Модели для сжатия изображений.
СЛОВАРHЫЕ МЕТОДЫ.

Стратегия разбора.
Статичные словарные кодировщики.
Полуадаптированное словарное кодирование.
Адаптированные словарное кодирование: метод Зива-Лемпела.
LZ77.
LZR.
LZSS.
LZB.
LZH.

LZ78.
LZW.
LZC.
LZT.
LZMV.
LZJ.
LZFG.
Структуры данных для метода Зива-Лемпела
Ограничения по памяти.

Подсчет.
СРАВHЕHИЕ.
Хаpактеpистики сжатия.
Требования скорости и памяти.
ДАЛЬHЕЙШИЕ ИССЛЕДОВАHИЯ.

Алгоритмы, структуры данных

Алгоритмы триангуляции

Сколько треугольников нужно?
Триангуляция полигонов
Поверхности, заданные набором точек

Алгоритмы, структуры данных

Параллельные алгоритмы компьютерной алгебры
Введение
Краткое описание среды ParJava.
Использование инструментов среды ParJava.

Параллельные программы компьютерной алгебры.
Умножение полиномов.
Введение

Матричные операции.
Простая параллельная схема умножения матриц.
Рекурсивная блочная схема умножения матриц.
Рекурсивная блочная схема вычисления присоединенной и обратной матриц.
Заключение.
ЛИТЕРАТУРА
Реализация авторизационного механизма корпоративной системы с помощью иерархической модели сущностей
Анализ и оптимизация циклов с помощью производящих функций
Аннотация

Введение
Описание метода
Выводы

Алгоритмы, структуры данных

Усовершенствованный алгоритм распространения констант с использованием GSA-представления
Введение
Алгоритм распространения констант, использующий GSA-представление
Исходный алгоритм
Недостатки и предлагаемые изменения
Новый алгоритм

Время работы алгоритма
Корпоративные информационные технологии
Наблюдение первое
Наблюдение второе
Наблюдение третье
Выводы на основании наблюдений

Содержание раздела

---

---