Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://sp.cs.msu.ru/proseminar/2009/
Дата изменения: Wed Feb 11 22:28:57 2015
Дата индексирования: Sat Apr 9 23:32:58 2016
Кодировка: Windows-1251
Доклад Д. М. Мельника на тему «Оптимизирующие компиляторы на примере GCC».
В докладе рассматривается структура компилятора GCC, основные этапы компиляции,
внутреннее представление программы, «классические» и
машинно-зависимые оптимизации. Сообщается об оптимизациях в GCC,
разработанных в ИСП РАН: планировщике команд для Itanium,
оптимизации энергопотребления и производительности для процессоров ARM.
11 декабря
Доклад Д. Ю. Турдакова на тему «Семантический анализ текстов».
В связи с ростом Веба и объемов информации, которую приходится
воспринимать человеку, особую ценность приобрели системы
автоматической обработки и анализа текстов. В докладе приводится обзор
актуальных задач, связанных с обработкой и анализом текстовой
информации, и современных подходов к их решению. Основное внимание
уделяется исследованиям в данной области, ведущимся в Институте
системного программирования РАН.
4 декабря
Доклад доц. ст. преп. Кулямина В. В. на тему «Корректность программ».
Доклад посвящен проблемам анализа и обеспечения корректности сложных программных систем. Представлены некоторые подходы к решению таких проблем, основанные на методах верификации и формального тестирования. Основное внимание уделяется исследованиям в данной области, ведущимся в Институте системного программирования РАН, и полученным в ходе этих исследований результатам.