14:00 – 14:15

Н.А. НАДОЛИНСКИЙ.

(Таганрогский государственный радиотехнический университет)

ТРЕХМЕРНЫЕ ГЕОИНФОРМАЦИОННЫЕ СИСТЕМЫ.

14:20 – 14:35

Е.Б. РОССИНСКИЙ, А.В. ЯНКЕЛЕВИЧ.

(МГТУ им. Н.Э. Баумана)

КОМПЛЕКС ОБРАБОТКИ И АРХИВИРОВАНИЯ РАДИОГРАФИЧЕСКИХ СНИМКОВ

14:40 – 14:55

М.Ю. ФЕТИСОВ.

3(Московский инженерно-физический институт)

 ИСПОЛЬЗОВАНИЕ МЕТОДОВ ПРОЕКТИРОВАНИЯ ИНФОРМАЦИОННЫХ СИСТЕМ ПРИ СОЗДАНИИ СПЕЦИАЛИЗИРОВАННЫХ ГИС.

15:00 – 15:15

С.В. ЧЕРНЫШЕВ.

(МГУ им. М.В.Ломоносова, механико-математический факультет)

 СЖАТИЕ ГЕОМЕТРИЧЕСКИХ ДАННЫХ ГЕОИНФОРМАЦИОННЫХ СИСТЕМ И СПОСОБЫ ЭФФЕКТИВНОГО ОТСЕЧЕНИЯ ОБЪЕКТОВ ПРИ ВИЗУАЛИЗАЦИИ.

15:20 – 15:35

С.В. ГУСЕВ.

(МГТУ им. Н.Э. Баумана)

ВЕРОЯТНОСТНЫЙ СИНТАКСИЧЕСКИЙ АНАЛИЗ ТЕКСТОВ НА ЕСТЕСТВЕННОМ ЯЗЫКЕ.

15:40 – 16:00

Кофейный перерыв

16:00 – 16:15

Н.С. ПОЛИКАШИНА. (Московский авиационный институт)

 ИССЛЕДОВАНИЕ МЕТОДОВ АВТОМАТИЧЕСКОЙ КЛАССИФИКАЦИИ ТЕКСТОВЫХ ДАННЫХ.

16:20 – 16:35

С.В. ГУСЕВ, О.А. ОДИНЦОВ, А.В МАКАРОВ.

(МГТУ им. Н.Э. Баумана)

 СИСТЕМА АВТОМАТИЧЕСКОЙ КЛАССИФИКАЦИИ ИНФОРМАЦИОННЫХ СООБЩЕНИЙ.

16:40 – 16:55

А.Н. ГУСАРОВ.

(Московская государственная академия приборостроения и информатики)

  ИСПОЛЬЗОВАНИЕ ПЛАГИНОВ ПРИ РАЗРАБОТКЕ СИСТЕМ СИНХРОНИЗАЦИИ ДАННЫХ, ФУНКЦИОНИРУЮЩИХ В РАСПРЕДЕЛЕННОЙ СРЕДЕ.

16:55 – 17:10

П.И. КРЫЛОВ, А.А. ОЛЕНЕВ.

(МГТУ им. Н.Э. Баумана)

КОНЦЕПЦИЯ ПОСТРОЕНИЯ РАСПРЕДЕЛЕННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ УНИВЕРСИТЕТА

17:15 – 17:30

А.М. СЕНЬКО, М.М. ЯКШИН.

(МГТУ им. Н.Э. Баумана)

 СИСТЕМА ВИРТУАЛЬНОЙ ИНТЕГРАЦИИ РАЗНОРОДНЫХ БАЗ ДАННЫХ.

17:30 – 17:45

Д.А. САМАРСКИЙ.

(МГТУ им. Н.Э. Баумана)

ПРОЕКТИРОВАНИЕ СИСТЕМ АВТОМАТИЗАЦИИ ПРОЦЕССОВ ДЕЛОПРОИЗВОДСТВА С ИСПОЛЬЗОВАНИЕМ ОБЪЕКТНО-ОРИЕНТИРОВАННЫХ ТЕХНОЛОГИЙ.

10:00 – 10:15

А.Ю. АГРОНИК, C.А. ЛЕСЬКО, О.В. ЛЫСЯКОВ, С.А. РОДЮШКИН

(Московская государственная академия приборостроения и информатики)

РАЗРАБОТКА АВТОМАТИЧЕСКОЙ СИСТЕМЫ ОПТИМИЗАЦИИ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА, НА ПРИМЕРЕ ИНТЕРНЕТ-ОРГАНАЙЗЕРА, С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИЙ .NET.

10:15 – 10:30

Т.Н. КАКАРЕКА, А.Л. КАЧАНОВ, К.П. ЧЕРНЫШ.

(Белорусский Государственный Университет)

ИЗУЧЕНИЕ И РЕАЛИЗАЦИЯ ПРИНЦИПОВ AUTONOMIC COMPUTING, ПОЗВОЛЯЮЩИХ ИСПОЛЬЗОВАТЬ MICROSOFT IIS SERVER КАК АВТОНОМНУЮ САМОКОНФИГУРИРУЮЩУЮСЯ СИСТЕМУ.

10:30 – 10:45

А.А. ЛЮБКО, Е.В. МИНАЕВА, А.А МАТРОСОВ, Е.В. ПАВЛОВА, А.А. СТАНКЕВИЧУС, К.Б. СЮЗЕВ, И.И. ТИТОВА.

(Московский инженерно-физический институт)

 ПРОГРАММИРОВАНИЕ БЕЗ ГРАНИЦ.

10:45 – 11:00

Т.А. РИДЕЛЬ.

(МГТУ им. Н.Э. Баумана)

 ОНЛАЙНОВЫЙ АНАЛИЗ БИРЖЕВЫХ КОТИРОВОК.

11:00 – 11:15

Ю.А. СИДОРОВ.

(Волгоградский государственный университет)

  СИСТЕМА АВТОМАТИЗИРОВАННОЙ РАЗРАБОТКИ ИМИТАЦИОННЫХ МОДЕЛЕЙ.

11:15 – 11:30

Пикалов И.Ю.

(Курский государственный университет)

Вопросы использования событийных графов в задачах сетевого планирования и управления.

11:30 – 11:45

Кофейный перерыв

11:45 – 12:00

О.С. ВАСИС, Д.В. КАЛЬЯНОВ, А.А. КРАМИН.

(Казанский Государственный Университет)

СИСТЕМА УЧЕТА СТРУКТУРЫ И ТОВАРООБОРОТА В МНОГОУРОВНЕВОМ МАРКЕТИНГЕ.

12:00 – 12:15

А.Ю. ДЕРЕЗА.

(Днепропетровский национальный университет)

 ИСПОЛЬЗОВАНИЕ ИНФОРМАЦИОННОЙ ТЕХНОЛОГИИ СОЗДАНИЯ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ОБРАБОТКИ ДАННЫХ ПРИ ОБРАБОТКЕ ДАННЫХ МЕДИЦИНСКОГО МОНИТОРИНГА.

12:15 – 12:30

С.Е. ДУБОВИК, П.C. ЗАДУМКИН, А.В. ФИЛИНОВА.

(Московский авиационный институт)

ОФИСНОЕ ПРИЛОЖЕНИЕ МОДЕЛИРОВАНИЯ И АНАЛИЗА ИНТЕЛЛЕКТУАЛЬНЫХ БИЗНЕС-ПРОЦЕССОВ.

12:30 – 12:45

В.Н. ТРЕГУБОВ.

(Саратовский государственный технический университет)

СИНХРОНИЗАЦИЯ ЭЛЕКТРОННОГО И БУМАЖНОГО ДОКУМЕНТООБОРОТА НА ОСНОВЕ ТЕХНОЛОГИИ XML.

12:45 – 13:00

Н.В. ЮМАГУЖИН.

(Институт программных систем РАН, Переславль-Залесский)

ИССЛЕДОВАНИЕ ВОЗМОЖНОСТЕЙ РАБОТЫ С ERP-СИСТЕМОЙ MICROSOFT NAVISION В РЕЖИМЕ OFFLINE.

14:00 – 14:15

Берчун Ю.В.

(МГТУ им. Н.Э. Баумана)

 Организация работ с цифровым макетом изделия при проектировании сложных технических систем.

14:15 – 14:30

Иванов А.И.

(ЛИТ, Москва)

 Трехмерное моделирование гладких поверхностей с возможностью тактильного манипулирования киберперчаткой (проект  Виртуальный скульптор).

14:30 – 14:45

Керницкий А.В.

(Тверской Государственный Технический Университет)

Программное обеспечение для моделирования процесса формования химических волокон.

14:45 – 15:00

Овсянников В.В. .

(МГТУ им. Н.Э. Баумана)

МОДЕЛИРОВАНИЕ ЭЛЕКТРОПРИВОДА КАК ГИБРИДНОЙ СИСТЕМЫ.

15:00 – 15:15

Ульянов Д.В., Толбатова А.А.

(Ухтинский государственный технический университет)

 Проектирование и создание автоматизированного рабочего места оператора газораспределительной станции ООО "Севергазпром" .

15:15 – 15:30

Афраймович Л. Г.

(Нижегородский государственный университет им. Н.И. Лобачевского)

ОПТИМАЛЬНОЕ РАСПРЕДЕЛЕНИЕ ОДНОРОДНОГО РЕСУРСА В ЗАДАЧАХ УПРАВЛЕНИЯ ПРЕДПРИЯТИЕМ.

15:30 – 15:50

Кофейный перерыв

15:50 – 16:05

Беломойцев Д.Е.

(МГТУ им. Н.Э. Баумана)

СИСТЕМА КОНТРОЛЯ ДОСТУПА ПО БЕСПРОВОДНОЙ СВЯЗИ ДЛЯ МОБИЛЬНЫХ ТЕЛЕФОНОВ.

16:05 – 16:20

Дыков В.А.

(Волгоградский государственный технический университет)

Применение нечеткой логики в задачах синтеза физического принципа действия сложных систем.

16:20 – 16:35

Зарин Д.А.,      Сидоркин А.В.

(Московский авиационный институт).

 Maorie – многоагентная децентрализованная система установления транзитивных контактов на основе онтологического описания.

16:35 – 16:50

Кизим А.В.

(Волгоградский государственный технический университет).

Поддержка процессов проектирования и управления на основе единой интегрирующей информационной модели объектов.

16:50 – 17:05

Овчинников С.А.

(Волгоградский государственный технический университет)

АЛГОРИТМ КЛАСТЕРИЗАЦИИ БОЛЬШИХ НАБОРОВ ДАННЫХ.

17:05 – 17:20

Петри С.Ю.

(Нижегородский государственный университет им. Н.И. Лобачевского).

Об одной задаче распределения ресурсов в сетевых канонических структурах.

10:00 – 10:15

Хаджинов А. А.

(Таганрогский государственный радиотехнический университет)

Кодек звуковых данных на основе оптимизированных дельта-преобразований второго порядка.

10:15 – 10:30

Погорелов К.В.

(Таганрогский государственный радиотехнический университет)

Видеокодек на основе оптимизированных дельта-преобразований второго порядка в формате драйвера для ОС Microsoft Windows.

10:30 – 10:45

Митин Р.О.

(Нижегородский государственный университет им. Н.И. Лобачевского).

СОВМЕСТНАЯ РАЗРАБОТКА ДЕКОДЕРА ПРОЦЕССОРА И ДВОИЧНЫХ УТИЛИТ К НЕМУ.

10:45 – 11:00

Надолинский Н.А.

(Таганрогский государственный радиотехнический университет)

ПРОГРАММИРОВАНИЕ ТРЕХМЕРНОЙ ГРАФИКИ НА ПЛАТФОРМЕ MICROSOFT WINDOWS CE.

11:00 – 11:15

Федосеев А.И.

(МГТУ им. Н.Э. Баумана).

Применение сжатия страниц для усовершенствования механизма страничного  обмена операционной системы.

11:15 – 11:35

Кофейный перерыв

11:35 – 11:50

Жереб К.А.

(Московский физико-технический институт).

АГЕНТНЫЙ ПОДХОД К ПОСТРОЕНИЮ СИСТЕМЫ ДЛЯ ГЕНЕРАЦИИ КОДА.

11:50 – 12:05

Лунев А.А., Омельченко Д.Ю., Пидоненко В.Л.

(Московский физико-технический институт)

КОГОРТНОЕ ПЛАНИРОВАНИЕ ПОТОКОВ В .NET РАНТАЙМЕ И АВТОМАТИЧЕСКИЙ ПЕРЕВОД СИНХРОННЫХ ВЫЗОВОВ В АСИНХРОННЫЕ.

12:05 – 12:20

Керницкий А.В.

(Тверской государственный технический университет)

Программное обеспечение для определения характеристик и типа процессора.

12:20 – 12:35

Герасимов А.М.

(Волгоградский государственный технический университет)

ЭФФЕКТИВНОЕ УПРАВЛЕНИЕ ПОЛЬЗОВАТЕЛЬСКИМ ИНТЕРФЕЙСОМ. МЕТОД РАСПОЗНАВАНИЯ ЖЕСТОВ МЫШИ.

14:00 – 14:15

Дубовицкая М.В., Любко А.А,   Никитин А.С.,   Пачин И.С.

(Московский инженерно-физический институт).

XKMS как средство Управления криптографическими сертификатами. Реализация XKMS клиента на смарт-карте.

14:20 – 14:35

Кузнецов А.А.

(МГТУ им. Н.Э. Баумана)

Применение криптографии для защиты от несанкционированной массовой рассылки.  

14:40 – 14:55

Кузнецов А.А.

(МГТУ им. Н.Э. Баумана). 

Организация защищенного обмена информацией по открытым каналам связи с помощью активных открытых ключей.

15:00 – 15:15

Котенко С.В., Левендян И.Б., Поликарпов С.В.

 (Таганрогский государственный радиотехнический университет)

МАТЕМАТИЧЕСКАЯ МОДЕЛЬ МЕТОДИКИ ОЦЕНКИ КАЧЕСТВА ЗАЩИТЫ АУДИОИНФОРМАЦИИ НА ОБЪЕКТЕ ИНФОРМАТИЗАЦИИ.

Оценка качества шифрования с позициЙ  теории информации.

15:15 – 15:35

Кофейный перерыв

15:35 – 15:50

Котенко С.В., Левендян И.Б., Поликарпов С.В.

(Таганрогский государственный радиотехнический университет)

Программный комплекс виртуального шифрования.

15:55 – 16:10

Любко А.А.

(Московский инженерно-физический институт) 

ЗАЩИТА РАСПРЕДЕЛЕННЫХ ПРИЛОЖЕНИЙ С ПОМОЩЬЮ ЦИФРОВЫХ СЕРТИФИКАТОВ НА ПЛАТФОРМЕ  MICROSOFT .NET FRAMEWORK.

16:15 – 16:30

Любко А. А., Минаева Е.В

(Московский инженерно-физический институт)

РАЗРАБОТКА КУРСА "ПРОГРАММИРОВАНИЕ ПРИЛОЖЕНИЙ ИНФРАСТРУКТУРЫ ОТКРЫТЫХ КЛЮЧЕЙ НА ПЛАТФОРМЕ MICROSOFT .NET".

16:35 – 16:50

Устименко А.С.

(МГТУ им. Н.Э. Баумана).

Разработка технологии установки цифровых меток на звуковые компакт-диски формата CDDA.

16:55 – 17:10

Есин А.А.

(МГУ им. М.В. Ломоносова, механико-математический факультет).

Построение IDS сигнатур для распознавания атак  на Spanning Tree Protocol.

10:00 – 10:15

Камлюк В.А.

(Белорусский государственный университет)

 Разработка автоматизированного рабочего места администратора безопасности информационной системы.

10:20 – 10:35

Леошкевич И.О.

(Московский инженерно-физический институт)

РАЗРАБОТКА СИСТЕМЫ ЗАЩИТЫ ДАННЫХ НА ДИСКЕ, ОСНОВАННОЙ НА ДРАЙВЕРЕ-ФИЛЬТРЕ ФАЙЛОВОЙ СИСТЕМЫ.

10:40 – 10:55

Минаева Е.В., Любко А.А., Матросов А.А., Станкевичус А.А.

(Московский инженерно-физический институт) 

ИНТЕЛЛЕКТуальнАЯ архитектурА БЕЗОПАСНОСТИ ДЛЯ СОВРЕМЕННЫХ РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ.

11:00 – 11:15

Попов А.В.,       Шикин Е.А.

(Мордовский государственный университет им. Н.П. Огарева)

CIM-вирусы в Windows: методика и инструмент обнаружения.

11:20 – 11:35

Станкевичус А.А.

(Московский инженерно-физический институт)

МЕТОДИКА ЗАЩИТЫ КЛИЕНТСКОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ  РEER-TO-PEER СЕТИ ОТ МОДИФИКАЦИИ И АНАЛИЗА.

11:35 – 11:55

Кофейный перерыв

11:55 – 12:10

Степин А.А. .

(Московский инженерно-физический институт).

Проектирование системы обнаружения вторжений на основе структурного анализа типовых нарушений безопасности в сети.

12:15 – 12:30

Чугунов Е. И.

(Московский инженерно-физический институт)

Поэтапная методика и схема стенда по анализу программных средств на наличие закладных элементов.

12:35 – 12:50

Шашлов А.М.

(МГТУ им. Н.Э. Баумана).

Исследование способов противодействия установке программных закладок в ОС Microsoft Windows NT/2000/XP.

10:00 – 10:15

Олейников И.В.

(Волгоградский государственный технический университет)

Система построения и управления Web-системами “XWeb”

10:15 – 10:30

Морозов Р.Л.

(Волгоградский государственный технический университет)

АВТОМАТИЗИРОВАНАЯ ПОИСКОВАЯ ОПТИМИЗАЦИЯ ВЕБ-СЕРВЕРОВ.

10:30 – 10:45

Троценко Р.В.

(Таганрогский государственный радиотехнический университет) 

РЕАЛИЗАЦИЯ SIP-СЕРВЕРА ДЛЯ ОРГАНИЗАЦИИ ЛОКАЛЬНОГО ОБМЕНА МГНОВЕННЫМИ СООБЩЕНИЯМИ.

10:45 – 11:00

Лабутина А.А.

(Нижегородский государственный университет им. Н.И. Лобачевского).

ПРОГРАММНАЯ СИСТЕМА ДЛЯ ИЗУЧЕНИЯ И ИССЛЕДОВАНИЯ ПАРАЛЛЕЛЬНЫХ МЕТОДОВ РЕШЕНИЯ СЛОЖНЫХ ВЫЧИСЛИТЕЛЬНЫХ ЗАДАЧ.

11:00 – 11:15

Лабутин Д.Ю.

(Нижегородский государственный университет им. Н.И. Лобачевского).

СИСТЕМА УДАЛЕННОГО ДОСТУПА К ВЫЧИСЛИТЕЛЬНОМУ КЛАСТЕРУ ПОД УПРАВЛЕНИЕМ ОПЕРАЦИОННОЙ СИСТЕМЫ MICROSOFT WINDOWS.

11:15 – 11:30

Лабутин Д.Ю.,    Свистунов А.Н.,         Сенин А.В,     Лопатин И.Б.

(Нижегородский государственный университет им. Н.И. Лобачевского).

РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ ВЫЧИСЛИТЕЛЬНЫМ КЛАСТЕРОМ.

11:30 – 11:45

Кофейный перерыв

11:45 – 12:00

Ковшов Н.В.,   Миненко М.И.

(Московский физико-технический институт)

СЕТЕВАЯ ВЫЧИСЛИТЕЛЬНАЯ МОДЕЛЬ ИНТЕНСИВНЫХ ИНФОРМАЦИОННЫХ ПОТОКОВ.

12:00 – 12:15

Котляров Д.В., Лазуткин В.А.,   Осипов М.А

(Московский энергетический институт)

ГРАФ-СХЕМНОЕ ПОТОКОВОЕ ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ И ЕГО РЕАЛИЗАЦИЯ НА КЛАСТЕРНЫХ СИСТЕМАХ.

12:15 – 12:30

Шкурко А Н., Хусаинов Н.Ш.

(Таганрогский государственный радиотехнический университет ) 

Архитектура и программная реализация системы многосторонней аудиовидеоконференцсвязи "Дельта-конференция".

12:30 – 12:45

Бартенев М.В. .

(МГТУ им. Н.Э. Баумана)

ПРИМЕНЕНИЕ СОТОВОЙ РАДИОСВЯЗИ В ПОСТРОЕНИИ МАСШТАБИРУЕМЫХ АСУ.

12:45 – 13:00

Карапетян Д.Р., Одинцов О.А.

 (МГТУ им. Н.Э. Баумана) 

.

Одинцов О.А.

(МГТУ им. Н.Э. Баумана)

Использование NET Remoting  для высокоскоростной обработки информации в кластерных системах

ИССЛЕДОВАНИЕ SCI-КЛАСТЕРА ПОД УПРАВЛЕНИЕМ ОС WINDOWS.

13:00 – 13:15

Баринова А.В.

(МГТУ им. Н.Э. Баумана).

Балансировка нагрузок и миграция данных в распределенной файловой системе

10:00 – 10:15

Арутюнов И.С., Лесько C.А.

(Московская государственная академия приборостроения и информатики)

 ИСПОЛЬЗОВАНИЕ ТЕХНОЛОГИЙ .NET ДЛЯ СОЗДАНИЯ ИНТЕРНЕТ СИСТЕМ ОБУЧЕНИЯ И ТЕСТИРОВАНИЯ.

10:15 – 10:30

Корчевский С.О., Попов А.Б.,        Фирсов А.В.

(Ухтинский государственный технический университет).

Применение средств мультимедиа и компьютерной графики для разработки автоматизированных обучающих систем.

10:30 – 10:45

Микова Т.В.

(Уфимский государственный авиационный технический университет)

Модели и алгоритмы управления в системах дистанционного обучения.

10:45 – 11:00

Гапанюк Ю.Е.

(МГТУ им. Н.Э. Баумана)

 СОЗДАНИЕ КОНСТРУКТОРА УЧЕБНЫХ ПОСОБИЙ С ИСПОЛЬЗОВАНИЕМ MICROSOFT OFFICE INFOPATH.

11:00 – 11:15

Наумов А.А.

(Курский государственный университет).

Представление процесса обучения для электронных учебников.

11:15 – 11:30

Ярошевич В.И.

(МГУ им. М.В. Ломоносова, механико-математический факультет).

ПРАКТИЧЕСКИЙ ПРИМЕР ИСПОЛЬЗОВАНИЯ XSLT MATHML LIBRARY.

11:30 – 11:45

Кофейный перерыв

11:45 – 12:00

Сычев А.В.

(Волгоградский государственный технический университет)

Разработка концепции адаптивной обучающей системы для обучения общепрофессиональным дисциплинам.

12:00 – 12:15

Жданов И.С.

(Волгоградский государственный технический университет)

Организация интеллектуальной поддержки решения учебных задач в автоматизированной обучающей системе.

12:15 – 12:30

Воробкалов П.Н.

(Волгоградский государственный технический университет).

КРИТЕРИИ ОЦЕНКИ КАЧЕСТВА АДАПТИВНЫХ СИСТЕМ.

12:30 – 13:00

Воног С. Н.

Воног С. Н.,          Жереб К.А.,         Кушко Т. Ю.,      Сурин Н. В.

Жереб К.А.

(Московский физико-технический институт).

Построение интерактивных систем обучения на основе адаптивных персональных обучающих агентов.

Система для обучения и развития творческих способностей детей младшего школьного возраста Inspirational Classroom Environment.

Построение алгоритма функционирования персонального агента в системе Inspirational Classroom Environment.

13:00 – 13:15

Ладыгин Д.О.

(Волгоградский государственный технический университет)

Перспективы применения банка вибрационных эффектов для проектирования новых технических систем и обучения.

14:00 – 14:15

Колесников А.С., Перченок А.А., Пюрецкий А.А.

(МГТУ "Станкин")

Интерпретатор языка FP.

14:15 – 14:30

Алексеевский Д.А., Савченко М.А.,     Цаун О.С.

(МГУ им. М.В. Ломоносова, ВМиК)

Библиотечная реализация языка Дейталог в мультипарадигмальной среде.

14:30 – 14:45

Алексеевский Д.А., Савченко М.А.,     Цаун О.С. 

(МГУ им. М.В. Ломоносова, ВМиК)

Микрокод для реализации языка Рефал-5.

14:45 – 15:00

Скоробогатов С.Ю.

(МГТУ им. Н.Э. Баумана)

РЕАЛИЗАЦИЯ ЯЗЫКА REFAL ДЛЯ ПЛАТФОРМЫ MICROSOFT .NET.

15:00 – 15:15

Филатов В.В.

(МГУ им. М.В. Ломоносова, механико-математический факультет)

Анализ линейных вычислительных процессов при помощи сценариев.

15:15 – 15:30

Новиков А.Г.

(МГУ им. М.В. Ломоносова, механико-математический факультет).

Использование операционной семантики фрагмента языка C# для распознавания некоторых инвариантов программ.

15:30 – 15:50

Кофейный перерыв

15:50 – 16:05

Костылев Е.В.

(МГУ им. М.В. Ломоносова, ВМиК) 

Методы вычисления инвариантов программ.

16:05 – 16:20

Русаков Д.М.

(МГУ им. М.В. Ломоносова, ВМиК)

О проблеме включения для схем программ с константами.

16:20 – 16:35

Иванов К.С.

(МГУ им. М.В .Ломоносова, ВМиК)

Об одном подходе к обфускации программ

16:35 – 16:50

Климов Ю.А.

(Институт прикладной математики им. М.В. Келдыша РАН).

ПОЛИВАРИАНТНЫЙ АНАЛИЗ ВРЕМЕН СВЯЗЫВАНИЯ В СПЕЦИАЛИЗАТОРЕ CILPE ДЛЯ COMMON INTERMEDIATE LANGUAGE ПЛАТФОРМЫ MICROSOFT.NET.

16:50 – 17:05

Миханов С.В.

(Московский авиационный институт).

Алгоритм оценки онтологической релевантности в дескриптивных логиках.

17:05 – 17:20

Чернов А.В.

(Московский инженерно-физический институт ) 

Модель определения временных точек перехода между видами представлений БД.

17:20 – 17:35

Коробейников А.Ю.

(Тверской государственный университет)

Применение контрактного программирования.