12.05.2009

Препроцессор пакета ANSIS и его недостатки

Докладчик: Наседкин А. В., д.ф.-м.н., проф.

Дополнительная информация о языке описания электронных схем (PADL)

Докладчик: Хайрудинов А./.

28.04.2009

Математические модели и методы дискретного анализа технической диагностики и их новые направления

Докладчик: Чернов А.В., зав. каф. прикладной математики РГСА

31.03.2009

О языке описания электронных схем PADL

Докладчик: Хайрудинов А.

О тестировании программного комплекса "Эльбрус"

Докладчик: Алымова Е/.

17.03.2009

Анализ потока данных элементов массива. Array SSA form

Докладчик: Шаповалов В.

16.12.2008

Нейросети. Восприятие мозгом пространства-времени

Докладчик: Цукерман В.Д. (НИИНК ЮФУ)

09.12.2008

Использование внтуреннего представления Reprise

Докладчик: Петренко В.

25.11.2008

Новое внутреннее представление ОРС - Repirse

Докладчик: Петренко В.

14.10.2008

Intel Parallel Studio

Докладчик: Лунев С. (Intel, Москва)

07.10.2008

О языке параллельного программирования Colamo

Докладчик: Кравченко Г.

08.07.2008

Тестирование преобразований ОРС

Докладчик: Морылев Р.

О новом внутреннем для ОРС

Докладчик: Петренко В.В.

13.05.2008

О задаче информатизации госуслуг России.

Докладчик: Садовов В.В.

06.05.2008

Построение решетчатых графов для программ с внешними переменными

Докладчик: Молотников З. В.

29.04.2008

Основы схемотехники. Часть третья

Докладчик: Маевский А.Э.

22.04.2008

Оптимизирующие преобразования на основе SSA формы в ОРС

Докладчики: Шаповалов В., Ивченко А., Поважный А.

15.04.2008

Основы схемотехники. Часть вторая

Докладчик: Маевский А.Э.

08.04.2008

Основы схемотехники

Докладчик: Маевский А.Э.

11.03.2008

Проект Compsys - cистемы компиляции и проектирования встроенного вычислительного ПО (DSP и VLIM-устройства)

Докладчик: Гуда С. А.

05.02.2008

Архитектура суперкомпьютера с глобально адресуемой памятью, разрабатываемая в НИЦЭВТ

Докладчик: Дёмин С.П.

О проекте архитектуры суперкомпьютера, разрабатываемого В.В. Корнеевым в ФГУП "КВАНТ" (г. Москва)

Докладчик: Штейнберг Б.Я.

11.12.2007

Результаты тестирования преобразований и парсера ОРС

Докладчики: Хайрудинов Антон, Юрушкин Михаил

Система автоматического тестирования преобразований

Докладчики: Бушманова Наталья, Лобачева Маргарита, Харитонова Любовь, Алымова Елена

23.10.2007

Сравнительный обзор компиляторов GNU, Intel, PGI

Докладчик: Коваль В.В., н.с. НИИ ФОХ ЮФУ

16.10.2007

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

Докладчик: Ильичева О.А., к.ф.-м.н., доц.

9.10.2007

Вычислительные системы с перестраиваемой архитектурой

Докладчик: Адигеев М.Г., к.т.н., доц.

Определение точек вставки фи-функций в SSA-форме с помощью определения границ доминаторов на управляющем графе программы

Докладчик: Шаповалов В.Н., маг. мехмата ЮФУ

17.04.2007

Инверсия циклов в ОРС.

Докладчик: З. Молотников.

Визуализация графа вызовов в ОРС.

Докладчик: Е. Кравченко.

Раскрутка и развёртка циклов в ОРС.

Докладчик: И. Скиба.

Приведение парсера ОРС к стандарту ANSI C-99.

Докладчик: А. Баглий.

10.04.2007

Проект StarBridge/ Использование ПЛИС.

Докладчик: З. Молотников.

03.04.2007

Опыт использования кластера НИИ НК ЮФУ.

Докладчик: Р. Такиджи-Хамбурян, с.н.с. НИИ НК ЮФУ.

Использование ПЛИС для вычислений с плавающей запятой.

Докладчик: А. Поважный.

01.04.2007

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

Докладчик: Великий Шаман, Говорящий с Духами Шериг-оол Ооржак.

20.03.2007

"Школа параллельного программирования Интел" в феврале 2007 г.

Докладчик: доц. каф. ПМП мехмата ЮФУ Чердынцева М.И.

05.12.2006

Работа с графом информационных зависимостей. Продолжение темы, начатой 28.11.

Докладчик: Зиновий Нис, Роман Штейнберг

05.12.2006

Цифровые фильтры и потоки данных.

Докладчик: О. Штейнберг

28.11.2006

Собрание разработчиков ОРС. Проверка эквивалентности преобразований на примере одного преобразования.

Докладчик: Зиновий Нис, Роман Штейнберг

21.11.2006

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

Докладчик: Цукерман Валерий Давыдович

16.05.2006

Построение решетчатых графов с внешними переменными.

Докладчик: М. Гуревич

Особенности параллельного программирования с помощью процессов и нитей.

Докладчик: Савельев В.А.

02.05.2006

ZS1 Central Processor.

Докладчики: Скиба И., Молотников З.

Алгоритм параллельного умножения разреженной матрицы на вектор на компьютере с сегментированной памятью.

Докладчик: Штейнберг Б.Я.

25.04.2006

An efficient, protected message interface.

Докладчик: Поважный А.

Automatic Code Mapping on an Intelligent Memory Architecture.

Докладчик: Баглий А.

18.04.2006

Анализ текстов на естественных языках.

Докладчик: Сумбатян М.А.

О курсах параллельного программирования Интел.

Докладчик: Савельев В.А.

11.04.2006

Об участии в Конференции Разработчиков Компьютерных Игр (КРИ-2006).

Докладчик: Петренко В.В.

04.04.2006

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

Докладчик: Тузаев А.

Автоматические оценки погрешностей вычислений в ОРС.

Докладчик: Черданцев Д.

28.03.2006

Расщепление гнезд циклов с условными операторами.

Докладчик: Гуфан К.

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

Докладчик: Шилов М.

21.03.2006

Совещание разработчиков ОРС.

14.03.2006

Совещание разработчиков ОРС.

13.12.2005

Распараллеливание рекуррентных циклов методом опережающего вычисления коэффициентов.

Докладчик: Штейнберг Олег

13.12.2005

Реализация динамического распараллеливания в ОРС.

Докладчик: Морылев Роман

06.12.2005

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

Докладчик: Ильичева О.А.

29.11.2005

Лямбда-исчисление.

Докладчик: Зиновий Нис.

22.11.2005

Особенности языка JAVA.

Докладчик: Ромоданов Н. А.

15.11.2005

Систолические структуры

Докладчик: Штейнберг Роман

15.11.2005

Data Stream

Докладчик: Гуревич М.

08.11.2005

Подстановка индексных переменных на основе решетчатых графов.

Докладчик: Шульженко А.

25.10.2005

SSA-FORM (продолжение)

Докладчик: Шаповалов В.

25.10.2005

О внутреннем представлении компилятора GCC.

Докладчики: Петренко В.В.

18.10.2005

Минимизация ширины стека при обходе дерева (при вычислении выражений).

Докладчики: Штейнберг Б.Я.

18.10.2005

SSA-FORM

Докладчик: Шаповалов В.

11.10.2005

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

Докладчики: Кваптинов Б. Ю., Крицкий С.П.

04.10.2005

О конференциях в Дюрсо и Дивноморском

17.05.2005

Приведение матрицы к эрмитовой форме.

Докладчик: Михаил Шилов, мехмат.

10.05.2005

Разрезание и слияние циклов в Открытой распараллеливающей системе. Статистика неразрезаемых циклов.

Докладчик: Александр Бутов, мехмат.

10.05.2005

Проект TRIPS.

Докладчик: Александр Пыхалов, мехмат.

03.05.2005

Автоматическая генерация MPI кода в Открытой распараллеливающей системе.

Докладчик: Сергей Науменко, мехмат.

03.05.2005

Распараллеливание рекуррентных циклов в Открытой распараллеливающей системе.

Докладчик: Милена Еремеева, мехмат.

26.04.2005

Ruby-Algebra.

Докладчик: Докладчик: Олег Штейнберг, мехмат.

19.04.2005

Программирование ПЛИС.

Докладчик: А. Береза, докторант ТРТУ.

12.04.2005

Тайлинг и разрыв итераций.

Докладчик: Михаил Гуревич, Мехмат.

12.04.2005

Индуктивные переменные и алгоритм их нахождения. По статье M. Wolf "Beyond Induction Variables"

Докладчик: Василий Шаповалов, Мехмат.

05.04.2005

Распараллеливающая система SUIF

Докладчик: Михаил Бушков, Мехмат.

05.04.2005

Нахождение и использование ориентированных разрезов реальных графов алгоритмов (по статье Фролова А.В.)

Докладчик: Константин Гуфан, Мехмат.

29.03.2005

Неунимодулярное преобразование пространства итераций

Докладчик: Михаил Шилов, Мехмат.

22.03.2005

Метод решения систем неравенств Фурье-Моцкина

Докладчик: Михаил Шилов, Мехмат.

22.03.2005

Проект "МиниТера"

Докладчик: Константин Гуфан, Мехмат.

15.03.2005

Язык описания аппаратуры VHDL

Докладчик: Владимир Уразовский, Физфак.

01.03.2005

Система обучения программированию PascalABC

Докладчик: Михалкович С.С., к.ф.м.н., Мехмат .

22.02.2005

Система преобразований программ "HATS"

Докладчик: Зиновий Нис, Мехмат.

22.02.2005

Язык синхронного программирования "Esterel"

Докладчик: Денис Черданцев, Мехмат.

15.02.2005

Система преобразований программ "Stratego"

Докладчик: Зиновий Нис, Мехмат.

15.02.2005

Решетчатый граф

Докладчик: Александр Шульженко, Мехмат.

08.02.2005

Перестраиваемые архитектуры

Докладчик: Милена Еремеева, Мехмат.