Примечание: С согласия редакций журналов и материалов конференций в сайте размещены Интернет-версии ряда опубликованных статей и тезисов.
- 2019 год -
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В СПИСОК ВАК
Труды института системного программирования РАН (2019)
https://ispranproceedings.elpub.ru/jour
SYRCoSE 2019 http://syrcose.ispras.ru/2019/SYRCoSE2019_Proceedings.pdf
П.А. Порошин, А.Н. Мешков Исследование подходов к реализации конвейера инструкций в рамках потактово-точного симулятора микропроцессоров «Эльбрус»
P. Poroshin, A. Meshkov «An exploration of Approaches to Instruction Pipeline for Cycle-Accurate Simulation of «Elbrus» microprocessors
П.В. Фролов Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров
P. Frolov Approach to Test Programm Development for Multilevel Veriification
Д.А. Лебедев, М.В. Петроченков Тестовое окружение для верификации блока подсистемы памяти многопроцессорной системы
D. Lebedev, M. Petrochenkov Test Enviiroment for Verification of Multi-Processor Memory Subsystem Unit
А.А. Петрыкин, И.А. Стотланд, А.Н. Мешков «Автономная верификация IOMMU с поддержкой виртуализации
A. Petrykin, I. Stotland, A. Meshkjv Standalone Verification of IOMMU with Virtualization Supporting
Радиопромышленность Том 29, 2019
№3
№2
№1
62-я Всероссийская научная конференция МФТИ
Тезисы. Радиотехника и компьютерные технологии 
Список работ:
А.А. Имкенов. Разработка межсетевого экрана второго класса защиты в операционной системе «Эльбрус»
А.А. Демидов. Отладка и мониторинг прикладных программ в операционной системе реального времени «БагрОС-4000» на базе архитектуры «Эльбрус»
С.А. Рыбаков. Виртуализация подсистемы прерываний ОС «Эльбрус»
Д.И. Самирханов. Статическая проверка конфигурации системы логических анализаторов микропроцессоров семейства «Эльбрус»
А.В. Сурченко, А.С. Кожин. Исследование и внедрение механизма скраббинга для повышения надежности кэш-памяти третьего уровня процессора «Эльбрус-16С»
Е.С.Носкова, А.Ф.Рожин. Поддержка работы со звуковой подсистемой ALSA в бинарном компиляторе уровня приложений X86-Эльбрус
Инжиниринг и телекоммуникации EN&T-2019
Программа конференции
Юрий А. Недбайло. Решение основных проблем масштабируемости при проектировании многоядерного процессора с общим кэшем
- 2018 год -
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В СПИСОК ВАК
Вопросы радиоэлектроники. 2018. №2.
Вычислительные системы на базе многоядерных микропроцессоров
Архитектура и микроархитектура микропроцессоров
Системы программирования
Горелов М.А. Оптимизация доступа к элементам массива при аппаратной поддержке архитектуры «Эльбрус». 
Операционные системы
Верификация и тестирование
Фролов П.В. Система интеграции инженерных тестов на основе статического распределения ресурсов.
Прототипирование
Робототехника
Труды института системного программирования РАН, Том 30, Выпуск 3
Лебедев Д.А., Стотланд И.А. Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи (на английском) аннотация на сайте ИСП РАН
Петроченков М.В., Муштаков Р.Е., Шпагилев Д.И. Верификация контроллеров связи в системах на кристалле (на английском) аннотация на сайте ИСП РАН
Информационные технологии и вычислительные системы 2018, №3
Приборы 2018, №8
Прохоров Н.Л., Ким А.К., Егоров Г.А. «60 лет в отечественной вычислительной технике»
ПУБЛИКАЦИИ И ДОКЛАДЫ НА НАУЧНЫХ КОНФЕРЕНЦИЯХ
Микроэлектроника-2018
Юрлин С.В, Воробьев А.С «Масштабируемая система эмуляции сложных вычислительных систем»
Билялетдинов И.Е. «Средства удаленной отладки процессоров Эльбрус»
Бычков И.Н., Ломако С.Г. «САПР проектирования коммутационных плат корпусов»
61-я научная конференция МФТИ
М.В. Козлов «Разработка буфера записи справочника процессора “Эльбрус-E16C”»
А.А. Петрыкин «Автономная верификация I/O Memory Management Unit»
С.А. Рыбаков «Драйвер программируемого контроллера прерываний ОС Эльбрус»
В.Е. Шампаров, А.Л. Маркин «Преобразование компилятором массива структур в несколько массивов»
International Conference on Tools and Methods for Program Analysis
Alexey Markin, Alexandr Ermolitsky «Simple Type-Based Alias Analysis for a VLIW Processor»
- 2017 год -
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В СПИСОК ВАК
М.В. Петроченков, Р.Е. Муштаков, И.А. Стотланд Верификация контроллеров 10 гигабитного Ethernet Труды Института системного программирования РАН. Том 29, выпуск 4, 2017 г. Стр. 257-268.
Полный текст статьи на английском 
Вопросы радиоэлектроники 3/2017
Микропроцессорные системы
А.К. Ким, В.И. Перекатов, В.М. Фельдман «Центры обработки данных на базе серверов «Эльбрус»
Архитектура и микроархитектура микропроцессоров
Н.Ю. Поляков «Трансляция виртуальных адресов DMA-обращений в МП «Эльбрус-8С»
Системы программирования
Операционные системы
С.А. Рыбаков «Автоматизация тестирования ОС «Эльбрус» на основе системы AUTOTEST»
Верификация и тестирование
Защита информации
Цифровое проектирование
А.В. Мальшин, И.К. Ноздрин, В.И. Крепак «Корректор скважности синхросигнала»
Робототехника
ПУБЛИКАЦИИ И ДОКЛАДЫ НА НАУЧНЫХ КОНФЕРЕНЦИЯХ
60-я научная конференция МФТИ
Р.В. Деменко, В.Б. Трофимов «Об аппаратной поддержке виртуализации системы прерываний в многоядерных микропроцессорах семейства “Эльбрус”»
А.С. Кожин «Алгоритмы сжатия данных в кэш-памяти микропроцессоров»
В.Е. Шампаров, А.Л. Маркин «Удаление немёртвых процедур, не влияющих на результат программы»
И.Е. Билялетдинов, А.В. Ометов, Л.С. Тимин «Тестирование высокоскоростных интерфейсов передачи данных и оптимизация их настроек»
А.А. Имкенов «Фильтрация сетевых пакетов на основе мандатных меток в операционной системе “Эльбрус”»
И.В. Прусов, А.А. Мухин «Развитие поддержки формата Device Tree в ОС “Эльбрус”»
П.А. Порошин, А.Н. Мешков, С.В. Черных «Способ построения симулятора архитектуры “Эльбрус” с поддержкой функционального и потактового режимов моделирования инструкций»
А.А. Демидов «Реализация состояния глубокого сна микропроцессора “Эльбрус-4С” при помощи средств ядра Linux»
Н.А. Бочаров «Оценка перспектив использования вычислительной техники с процессором “Эльбрус-8С” для решения задач робототехнического комплекса»
Д.А. Земляков «Автоматическая векторизация вызовов трансцендентных функций»
Международная конференция «Микроэлектроника 2017» Алушта. Крым
Кожин А.С. «Анализ производительности кэш-памяти микропроцессора с архитектурой «Эльбрус»
- 2016 год -
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В СПИСОК ВАК
Полный текст статьи на английском
Современные информационные технологии и ИТ-образование (ISSN 2411-1473)
Н.А. Бочаров «Реализация алгоритмов группового управления на языке Java в среде ОС «Эльбрус»
Программирование № 1
Четверина О.А. «Повышение производительности кода при однофазной компиляции»
Версия на английском:
O.A. Chetverina «Alternatives of profile-guided code optimizations for one-stage compilation»
Приборы № 7 (193)
И.Н. Бычков, Ю.С. Рябцев, Ю.Х. Халлиулин «Методы итеративной разработки вычислительного модуля многопроцессорного сервера»
Н.Б. Парамонов, Г.А. Егоров, С.В. Семенихин «Предпроектное проектирование систем управления наземных роботов»
Н.Л. Прохоров, Г.Г. Знайко, В.Е. Красовский «Новое поколение технических средств реабилитации»
Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Выпуск 3, 2016
Многоядерные микропроцессоры
Альфонсо Д.М., Деменко Р.В., Кожин А.С., Кожин Е.С., Колычев Р.Е., Костенко В.О., Поляков Н.Ю., Смирнова Е.В., Смирнов Д.А., Смольянов П.А., Тихорский В.В. «Микроархитектура восьмиядерного микропроцессора Эльбрус-8С»
Мороз Я.Н. «Основные этапы и методы физического проектирования микропроцессора Эльбрус-8С»
Микропроцессорные системы
Бычков И.Н., Молчанов И.А., Рябцев Ю.С. «Развитие конструкций микропроцессорных систем»
Архитектура и микроархитектура микропроцессоров
Абдуразаков М.Р., Волин В.С., Лаптев М.В. «Опыт реализации предсказания переходов в микропроцессоре с архитектурой Эльбрус»
Операционные системы
Ананьев Л.И., Семенихин С.В. «Модель и характеристика программного обеспечения реального времени»
Оптимизирующие компиляторы
Земляков Д.А. «Программная конвейеризация циклов в оптимизирующем компиляторе»
ПУБЛИКАЦИИ И ДОКЛАДЫ НА НАУЧНЫХ КОНФЕРЕНЦИЯХ
59-я научная конференция МФТИ
А.Л. Маркин, А.В. Ермолицкий «Inline-подстановка вызовов по указателю»
Н.А. Рослов Верификация устройства доступа в оперативную память процессора Эльбрус-8С2»
С.А. Рыбаков «Автоматизация тестирования ОС "Эльбрус" на основе системы Autotest»
М.А. Абакаров «Разработка контроллера высокоскоростного канала обмена»
Ю.А. Недбайло «Проблемы масштабирования общего кэша многоядерного процессора и методы их решения»
XIII Конференция разработчиков свободных программ
(OSSDEVCONF-2016)
Антон Новиков «Использование нативных данных конфигурации для сборки в кросс-режиме»
Михаил Шалаев «Проблемы кросс-сборки: исполнение бинарных файлов»
Мария Захарова, Николай Золотарёв «Разнородное регрессионное тестирование»
7-я Всероссийская научно-техническая конференция «Проблемы разработки перспективных микро- и наноэлектронных систем – 2016»
Камкин А.С., Буренков В.С. «Метод масштабируемой верификации PROMELA-моделей протоколов когерентности кэш-памяти»
Кожин А.С., Альфонсо Д.М., Кожин Е.С., Колычев Р.Е., Костенко В.О.,Смирнова Е.В., Смирнов Д.А., Смольянов П.А., Тихорский В.В. «Эльбрус8С – первый отечественный восьмиядерный микропроцессор, изготовленный по технологии 28 нм»
Международный форум «Электроника – 2016» г. Алушта, Крым
Воробьев А.С., Мороз Я.Н. «Планирование периферии кристалла с моделированием сетки питания микропроцессора»
Лозовая Е.В. «Исследование вычислительных модулей и системных плат АРМ на микропроцессоре 'Эльбрус'»
Халлиулин Ю.Х. «Система мониторинга и анализа данных высокопроизводительного вычислительного комплекса»
Гусев М.В. « Сравнительный анализ функциональностей и реализаций программ начального старта»
Бочаров Н.А, «Макеты задач робототехнических комплексов на языке Джава в среде ОС Эльбрус»
Межотраслевая конференция ОАО «НИИМЭ и Микрон» «Современные российские микропроцессоры космического назначения»
Всероссийская научно-техническая конференция "Расплетинские чтения"
- 2015 год -
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В «СПИСОК ВАК»
Труды ИСП РАН (том 27, вып. 6, 2015 г.)
Четверина О.А. «Методы коррекции профильной информации в процессе компиляции»
Ермолицкий А.В., Нейман-заде М.И., Четверина О.А., Маркин А.Л., Волконский В.Ю. «Агрессивная инлайн-подстановка функций для VLIW- архитектур»
Труды ИСП РАН (том 27, вып. 3, 2015 г.)
Alexander Kamkin, Mikhail Petrochenkov «A Model-Based Approach to Design Test Oracles for Memory Subsystems of Multi-Core Microprocessors»
V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov «An approach to Direct Memory Access module verification»
Vladimir Burenkov «On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems»
O.A. Chetverina «Procedures classification for optimizing strategy assignment»
Вопросы радиоэлектроники, серия «Электронная вычислительная техника (ЭВТ)», Выпуск 1. ОАО «ЦНИИ Электроника», Москва 2015
Архитектура и микроархитектура микропроцессоров
И.В.Белянин, П.Ю.Петраков, В.М.Фельдман «Функциональная организация и аппаратура сетевого взаимодействия модулей в вычислительном кластере на базе микропроцессоров с архитектурой “Эльбрус»”
А.С.Кожин, Ю.А.Недбайло «Оптимизация общего кэша третьего уровня микропроцессора “Эльбрус-8С”»
Д.А.Петрыкин «Развитие гетерогенных вычислительных систем типа CPU-GPU»
Операционные системы
Е.М.Кравцунов, М.С.Михайлов, С.В.Семенихин «Использование прерываний системного контроля SCI для управления энергопотреблением микропроцессоров семейства “Эльбрус”»
Л.И.Ананьев, С.В.Семенихин «Методы реализации точной синхронизации времени в ОС “Эльбрус”»
Оптимизирующие компиляторы
О.А.Четверина, П.А.Степанов, М.И.Нейман-заде «Автоматическая направленная оптимизация процедур»
Верификация и тестирование
И.А.Стотланд, В.Н.Куцевол, А.Н.Мешков «Проблемы функциональной верификации кэш-памяти второго уровня микропроцессоров с архитектурой “Эльбрус”»
А.С.Камкин, М.В.Петраченков «Метод построения тестового оракула для подсистемы памяти многоядерного микропроцессора на основе недетерменированной функциональной модели»
В.Н.Куцевол, А.Н.Мешков, М.П.Рыжов, П.В.Фролов «Метод верификации подсистемы прямого доступа периферийных устройств к оперативной памяти микропроцессоров семейства “Эльбрус”»
В.С.Буренков «Анализ применимости формальных методов к верификации протоколов когерентности кэш-памяти масштабируемых систем»
Физическое проектирование
И.Н.Бычков, А.С.Воробьев, Ю.С.Рябцев «Разработка таблицы выводов серверного процессора»
Г.В.Кристовский, Ю.Л.Погребной, Ю.М.Потовин, С.А.Соин «Новый подход к физическому проектированию кэша первого уровня для микропроцессоров серии “Эльбрус”
Приборы / №2(176) 2015, c.16-22
Бычков И.Н., Воробьев А.С., Рябцев Ю.С. «Стенд тестирования и разбраковки многоядерных процессоров»
ПУБЛИКАЦИИ И ДОКЛАДЫ НА КОНФЕРЕНЦИЯХ
58-я Научная конференция МФТИ
Н.А. Бочаров, И.Д.Сипачев, Н.Б.Парамонов «Макеты робототехнических комиплексов на языке Джава в среде ОС Эльбрус»
Р.В.Деменко, А.С.Кожин «Автоматизация построения моделей коммутационных систем, связывающих компоненты многоядерного микропроцессора»
С.А.Черепанов, В.И.Грачик «Разработка предсказателя зависимостей инструкций при обращении в память для МП МЦСТ R-2000»
Е.С.Кожин, А.С.Кожин «Настраиваемый интерливинг между банками памяти последнего уровня»
Ю.А.Недбайло «Разработка сети на кристалле перспективных микропроцессоров серии Эльбрус»
И.Е.Билялетдинов, А.Е.Ометов, Л.С.Тимин «Способы тестирования физуровня памяти DDR3»
Ю.М.Потовин, Ю.Л.Погребной «Проектирование многопортовых блоков памяти с повышенной помехоустойчивостью для кэш памяти первого уровня»
И.В.Прусов «Разработка системы для формализованного описания вычислительных комплексов»
В.И.Грачик, П.А.Смольянов «Поддержка когерентности на основе справочника в СнК МЦСТ- 8R»
Международная конференция “Engineering&Telecommunication” МФТИ
Кожин А.С., Альфонсо Д.М., Кожин Е.С., Костенко В.О., Поляков Н.Ю., Смирнова Е.В., Смольянов П.А. «Логическое проектирование восьмиядерного микропроцессора “Эльбрус-8С”»
Аверьянов В.С,, Черепанов С.А, «Блок предвыборки данных в кэш-памяти первого уровня»
P.V.Frolov, V.N.Kutsevol, A.N.Meshkov, N.Yu.Polyakov, M.P.Ryzhov “Direct Memory Access components verification system”
Земляков Д.А, «Программная конвейеризация циклов в оптимизирующем компиляторе для архитектур SPARC и Эльбрус»
Четверина О.А. «Сравнение использования различных функционалов в пространстве назначения стратегий оптимизации»
ОАО «НИИМЭ и Микрон», департамент РП Минпромторга, префектура Зел.АО
Отраслевая конференция, посвященная современным российским микросхемам
Международная конференция «Интегральные схемы и микроэлектронные модули» Микроэлектроника 2015
Фельдман В.М «Состояние и перспективы развития отечественной микропроцессорной аппаратно-программной платформы “Эльбрус”»
Альфонсо Д.М., Кожин А.С., Кожин Е.С., Костенко В.О., Поляков Н.Ю., Смирнова Е.В., Смольянов П.А. «Разработка первого отечественного микропроцессора на технологии 28 нм»
Бычков И.Н., Воробьев А.С., Молчанов И.А., Маняхин Д.В. «Проектные решения для микропроцессора и сервера на его основе»
Парахин Ю.Н., Севальнев О.С., Мороз Я.Н., Токарев Д.С., Ноздрин И.М., Сидоров И.И. «Физическое проектирование микропроцессора “Эльбрус-8С»”
Кристовский Г.В., Погребной Ю.Л., Потовин Ю.М. «Заказные блоки памяти на технологии 28 нм для кэш-памяти первого уровня микропроцессора серии “Эльбрус”»
- 2014 год -
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В «СПИСОК ВАК»
Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Выпуск 3, 2014-04-09
Верификация
Мешков А.Н. Рыжов М.П., Шмелев В.А. «Развитие средств верификации микропроцессора “Эльбрус-2S”»
Буренков В.С. «Генератор тестов для верификации протокола когерентности кэш-памяти»
Архитектура микропроцессоров
Оптимизирующие компиляторы
Горелов М.А. «Использование аффинных преобразований для автоматического распараллеливания циклов»
Энергопотребление микропроцессоров
Цифровое проектирование
Электронная компонентная база
Информационные системы
Управляющие системы
ПУБЛИКАЦИИ В ТРУДАХ НАУЧНЫХ КОНФЕРЕНЦИЙ
Московский физико-технический институт:
Международная конференция «Инжиниринг&Телекоммуникации – 2014»
Мешков А.Н. «Система логической верификации высокопроизводительных универсальных микропроцессоров»
57-я научная конференция с международным участием, посвященная 120-летию со дня рождения П.Л. Капицы
П.В. Фролов «О генерации системных тестов для многоядерных микропроцессоров»
М.А. Горелов «Автоматическое распараллеливание рекурсивных процедур»
Ю.А. Недбайло «Повышение пропускной способности подсистемы памяти СнК «Эльбрус-8С2»
М.В. Петроченков «Система верификации кэша третьего уровня в процессорах с архитектурой “Эльбрус”»
А.Б. Пунь «Мониторинг системных параметров высокопроизводительных микропроцессоров»
IX Международная научно-техническая конференция «Современные информационные технологии и ИТ-образование», МГУ
I Всероссийская научно-техническая конференция
«Расплетинские чтения»
Маркин А.Л., Ермолицкий А.В. "Анализ указателей в программах с вызовами библиотечных функций"
Четверина О.А., Нейман-заде М.И., Степанов П.А. "Система направленной оптимизации (СНОП)"
Козлов А.Е., Кравцунов Е.М. "Универсальный драйвер контроллера программируемой кнопки"
НАУЧНАЯ СЕССИЯ "МИФИ-2014"
Секция компьютерные системы и технологии
VI Всероссийская научно-техническая конференция
«Проблемы разработки перспективных микро – и наноэлектронных систем МЭС-2014»
И.Н. Бычков «Разработка корпуса многоядерного процессора на основе керамической коммутационной платы»
Презентация Статья
С.В. Юрлин, И.Н. Бычков «Прототипирование на основе ПЛИС для верификации многоядерных микропроцессоров»
Презентация Статья
Ю.М. Потовин, С.А. Соин «Разработка быстродействующего блока памяти с ассоциативной выборкой»
Презентация Статья
СТАТЬИ В ЖУРНАЛАХ, ИНТЕРНЕТ ПЕРИОДИКА
Отраслевой научно-технический журнал «ИСУП» № 1(49)_2014
Журнал «Мир телекома» № 3, 2014
Трушкин К.А. "Потенциал отечественных вычислительных платформ Эльбрус и МЦСТ-R с точки зрения импортозамещения в отрасли телекоммуникаций и связи"
- 2013 год -
КНИГА
- Ким А.К., Перекатов В.И., Ермаков С.Г. «Микропроцессоры и вычислительные комплексы семейства ”Эльбрус”» - СПб.: Питер, 2013 - 272 с.:ил
Купить электронную книгу на Google play
СТАТЬИ В РОССИЙСКИХ ЖУРНАЛАХ, ВКЛЮЧЕННЫХ В «СПИСОК ВАК»
Вопросы радиоэлектроники серия ЭВТ, выпуск 3, 2013
Архитектура микропроцессоров и вычислительных комплексов
- А.С. Кожин, Ю.Х. Сахин «Коммутация соединений процессорных ядер с общим кэшем третьего уровня микропроцессора “Эльбрус-4С+”»
- В.Н. Вараксин, М.В. Исаев, Ю.Х. Сахин «Оптимизация межпроцессорного протокола когерентности с помощью справочника микропроцессора “Эльбрус-4С+”»
- А.С. Кожин, Е.С. Кожин, В.О. Костенко, А.В. Лавров «Кэш третьего уровня и поддержка когерентности микропроцессора “Эльбрус-4С+”»
- Д.Ю. Перов, Н.Ю. Поляков «Обеспечение упорядоченности выполнения DMA-операций в NUMA-системах методом предварительного кэширования»
- С.А. Черепанов, О.И. Эсула «Методология проектирования протокола когерентности кэш-памяти 1-го и 2-го уровней микропроцессора “МЦСТ-R1000”»
- Д.В. Знаменский «Проблема управления выходным потоком данных кэш-памяти системы на кристалле “Эльбрус-2S”»
- А.Ю. Богданов, В.И. Перекатов, В.М. Фельдман «Коммуникационные интерфейсы межмашинных связей вычислительных средств семейства “Эльбрус”»
Верификация и тестирование
- Р.А. Баратов, А.С. Камкин, В.М. Майорова, А.Н. Мешков, А.А. Сортов, М.А. Якушева «Трудности модульной верификации аппаратуры на примере буфера команд микропроцессора “Эльбрус-2S”»
- Д.С. Горлушко «Аспекты применения объектно-ориентированного подхода в регрессионном тестировании компиляторов»
- В.Н. Куцевол, А.Н. Мешков, М.В. Петроченков «Методология верификации протокола когерентности микропроцессора “Эльбрус-2S”»
- М.П. Рыжов «Система шаблонной генерации тестов»
- В.С. Буренков «Анализ применимости инструмента Spin к верификации протоколов когерентности памяти»
Энергопотребление микропроцессоров
- В.С. Волин, Н.А. Щербина «Анализ потребляемой мощности для опытных образцов СНК “МЦСТ-R1000”»
- Е.М. Кравцунов, С.В. Семенихин «Управление энергопотреблением СНК “Эльбрус-2С+” в состоянии простоя процессорного ядра»
- И.Н. Бычков, Ю.С. Рябцев, С.В. Юрлин «Варианты распределенной сети питания для многоядерных процессоров»
- Г.В. Кристовский, Ю.Л. Погребной, С.А. Соин «Разработка быстродействующих маломощных блоков ассоциативной памяти для микропроцессоров “Эльбрус-4С+”
- 2012 год -
«Программирование»
- Р.А.Соколов, А.В.Ермолович «Фоновая оптимизация в системе динамической двичной трансляции», Программирование, 2012, №3;
- R.A.Sokolov and A.V.Ermolovich ”Backround Optimization in Full System Binary Translation”, Programming and Computer Software, 2012, Vol.38, #3.
Вопросы радиоэлектроники, серия ЭВТ, выпуск 3, 2012
Архитектура микропроцессоров и вычислительных комплексов
- В.С.Волин, С.А.Черепанов, Н.А.Щербина "Организация поддержки когерентности в системе на кристалле"
- В.С.Волин "Организация подкачки кода в процессорном ядре системы на кристалле "МЦСТ-R000"
- М.В.Исаев, А.С.Кожин, В.О.Костенко, Н.Ю.Поляков, Ю.Х.Сахин "Двухъядерная гетерогенная система на кристалле "Эльбрус-2С+"
- А.К.Ким, М.С.Михайлов, В.М.Фельдман "Подсистема ввода-вывода для систем на кристалле "МЦСТ-4R" и "Эльбрус-S" на основе микросхемы контроллера периферийных интерфейсов"
Программное обеспечение
- В.Ю. Волконский, А.В.Брегер, А.Ю.Бучнев, А.В.Грабежной, А.В.Ермолицкий, Л.Е.Муханов, М.И.Нейман-заде, П.А.Степанов, О.А.Четверина "Методы распараллеливания программ в оптимизирующем компиляторе"
- Н.В.Воронов, В.Д.Гимпельсон, М.В.Маслов, А.А.Рыбаков, Н.С.Сюсюкалов "Система динамической двоичной трансляции х86 → “Эльбрус”"
- В.Е.Логинов, П.А.Ишин "Оптимизация для архитектуры “Эльбрус” быстрого преобразования Фурье применительно к 32-разрядным числам с плавающей точкой"
Аппаратные средства
- Ю.Н.Парахин, О.С.Севальнев, Ю.И.Терентьев, Я.Н.Мороз, Д.С.Токарев "Особенности физического проектирования микропроцессоров на базе 90-нм технологий"
- Ф.К.Будылин, И.А.Полищук, М.В.Слесарев, С.В.Юрлин "Опыт прототипирования микропроцессоров компании ЗАО “МЦСТ”"
- И.Н.Бычков, В.В.Воробушков, В.И.Перекатов, Ю.С.Рябцев "Система обеспечения целостности сигналов в вычислительных комплексках разработки ЗАО “МЦСТ”"
- 2011 год -
Мехатроника, автоматизация, управление
Программирование
- А.В.Федоров «Оптимизация библиотеки нитей NPTL в составе ОС Linux для систем жесткого реального времени», Программирование, 2011, №4.
- A.V.Fedorov «Optimization of the NPTL Thread Library in Linux for Hard Real-Time Systems», Programming and Computer Software, 2011, vol.37, #4.
Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2011
Архитектура
- В.К.Гусев, А.К.Ким, В.И.Перекатов, В.М.Фельдман «Структура вычислительных средств серии “Эльбрус”: эволюция проектных решений»
- В.Ю.Волконский, А.В.Грабежной, Л.Е.Муханов, М.И.Нейман-заде «Исследование влияния подсистемы памяти на производительность распараллеленных программ»
- Ю.А.Недбайло «Проблема поддержки когерентности кэшей в системах на кристалле “Эльбрус-S”, “Эльбрус-2S”»
- М.В.Исаев «Основные тенденции в архитектуре высокопроизводительных многоядерных процессоров»
Программное обеспечение
- А.В.Федоров «Оптимизация библиотеки нитей NPTL в составе ОС Linux для систем жесткого реального времени», Программирование, 2011, №4.
- A.V.Fedorov «Optimization of the NPTL Thread Library in Linux for Hard Real-Time Systems», Programming and Computer Software, 2011, vol.37, #4.
- С.С.Гилязов, Е.М.Кравцунов, П.В.Пантелеев, «Оптимизация ядра ОС Linux для архитектуры “Эльбрус” с поддержкой NUMA»
- Д.С.Иванов «Распределение регистров при планировании инструкций для архитектуры “Эльбрус-90микро”»
- М.П.Рыжов «Опыт реализации системы верификации, управляемой тестовым покрытием»
Аппаратные средства
- Д.В.Снигирев, В.В.Азаров, И.А.Есаков, Ю.Л.Погребной, С.А.Соин, Г.В.Кристовский «Оптимизация маршрута физического проектирования на примере разработки L2-кэша»
- И.Н.Бычков, С.В.Егоров, И.Н.Лобанов, Г.М.Расулов «Учет трассировки корпуса при планировании периферии кристалла СБИС»
- И.А.Петров, А.Е.Шерстнев «Реализация справочника для аппаратной поддержки когерентности в вычислительном комплексе на базе микропроцессора “Эльбрус-2S”»
- А.С.Кожин «Проблемы передачи данных между асинхронными доменами вычислительного устройства»
- 2010 год -
Программирование
- Д.С.Иванов «Распределение регистров при планировании инструкций для VLIW-архитектур», Программирование, 2010, №6.
- D.S.Ivanov “Register Allocation with Instruction Scheduling for VLIW-Architecture”, Programming and Computer Software, 2010, vol.36, №6.
Вопросы радиоэлектроники
Архитектура и программное обеспечение
- Филиппов А.Н., Нейман-заде М.И., Грабежной А.В. "Использование профиля значений в инлайн-подстановках", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- Федотов Д.А. "Подходы к созданию операционной системы жесткого режима реального масштаба времени на базе ОС Unix в варианте ОС Solaris 2.5.1.", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- Ермолицкий А.В. "Методы повышения эффективности векторизации в оптимизирующем компиляторе", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- Максименков Д.А., Рогов Р.Ю. "Применение метода инструментирования тестовых программ при отладке оптимизирующих компиляторов", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
Аппаратные средства
- Гурин К.Л., Мешков А.Н., Сергин А.В., Якушева М.А. "Развитие модели подсистемы памяти вычислительных комплексов серии "Эльбрус"
- Исаев М.А., Костенко В.О., Поляков Н.Ю. "Проблемы интеграции универсальных ядер архитектуры "Эльбрус" и DSP-кластера в составе системы на кристалле", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- Воробушков В.В., Рябцев Ю.С. "Методы конструирования помехозащищенной системы питания для подложки современных микропроцессоров", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- Щербина Н.А. "Системный коммутатор для микропроцессора "МЦСТ-4R", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- Бобровский Д.В., Волин В.С., Калашников О.А., Некрасов П.В., Рябцев Ю.С. "Радиационная стойкость микропроцессора семейства "МЦСТ-4R", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010
- 2009 год -
Вопросы радиоэлектроники
Архитектура и программное обеспечение ВК
- Ким А.К., Волконский В.Ю., Груздов Ф.А., Михайлов М.С., Семенихин С.В., Слесарев М.В., Фельдман В.М. "Микропроцессорные вычислительные комплексы с архитектурой "Эльбрус" и их программное обеспечение", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
- Семенихин С.В., Ревякин В.А., Ананьев Л.И., Костин Д.А., Гилязов С.С., Харитонов М.И., Ситников А.В., Чернис Е.Н., Лебедев В.П. "ОС Linux и режим реального времени", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
- Гимпельсон В.Д. "Конвейеризация циклов в двоичном динамическом трансляторе"
- Мешков В.А. "Реализация программного комплекса, моделирующего многопроцессорные ВК с архитектурой SPARC V9", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
Аппаратные средства
- Шерстнев А.Е., Зайцев А.И. "Организация межпроцессорного обмена в многокластерных системах на базе микропроцессоров "Эльбрус-S" и "МЦСТ-4R""
- Шерстнев А.Е. "Применение конвейера переменной глубины для сокращения времени доступа в в модули памяти стандарта FBDIMM", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
- Кристовский Г.В., Погребной Ю.Л., Соин С.А. "Новый подход к созданию многопортовых регистровых файлов для микропроцессоров серии "Эльбрус"", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
- Мороз Я.Н. "Физическое проектирование подсистемы кэш-памяти 2-го уровня для микропроцессора "Эльбрус-S"", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
- Воробушков В.В., Рябцев Ю.С., Тимофеев В.К. "Особенности разработки топологии системы питания в моногослойных печатных платах современных вычислительных устройств", Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2009
Открытые системы
Приборы
- А.К.Ким, В.М.Фельдман «Вопросы создания суперЭВМ на основе архитектурной платформы “Эльбрус”», Приборы, №1(103), 2009
- 2008 год -
Информационные технологии
Приложение к журналу "Информационные технологии" №11/2008
"Проблемы проектирования вычислительных комплексов серии "Эльбрус".
Магистерские проекты кафедры информатики и вычислительной техники МФТИ"
- В.И. Перекатов "Учебный план в системе госзаказа",
- Недбайло Ю.В, Шерстнев А.Е. "Оптимизация доступа к памяти в вычислительном комплексе "Эльбрус-3S"",
- Воробушков В.В., Шмаев В.Б. "Проблемы проектирования вычислительных комплексов на базе микропроцессора "Эльбрус",
- Кибардин В.В. "Автоматизация проектирования flip-chip корпуса",
- Ермолицкий А.В., Шлыков С.Л. "Автоматическая векторизация выражений оптимизирующим компилятором",
- Загребин А.А., Гимпельсон В.Д. "Проблема восстановления профильной информации по неполным исходным данным в динамическом двоичном компиляторе",
- Соколов Р.А., Ермолович А.В. "Развитие технологии динамического сравнения трасс".
Вопросы радиоэлектроники
- Фельдман В.М. «Система на кристалле МЦСТ-R500S», Вопросы радиоэлектроники, серия ЭВТ, выпуск 2, 2008,
- Волконский В.Ю. «Безопасная реализация языков программирования на базе аппаратной и системной поддержки», Вопросы радиоэлектроники, серия ЭВТ, выпуск 2, 2008
- Ефимов А.И. Машина с виртуальным мультипроцессированием: новая архитектура параллельных вычислений общего назначения., Вопросы радиоэлектроники, серия ЭВТ, выпуск 2, 2008
Программирование
А.Б.Галазин, Е.В.Ступаченко, С.Л.Шлыков «Программный метод предварительной подкачки кода в архитектуре со статическим планированием», Программирование, №1, 2008 год.
A.B. Galazin, E.V.Stupachenko, and S.L.Shlykov “A Software Instruction Prefetching Method in Architectures with Static Scheduling”, Programming and Computer Software Vol. 34, No. 1, 2008
http://www.maik.ru/abstract/procom/8/procom1_8p49abs.htm
- 2007 год -
Нано- и микросистемная техника
Информационные технологии
- Кинсбурский С.А. "Концепция виртуальной файловой системы на распределенных носителях", Информационные технологии, №12, 2007
- Галазин А.Б., Степаненков А.М., Ступаченко Е.В. "Программная предварительная подкачка кода для микропроцессора "Эльбрус"", Информационные технологии, №11, 2007
- Шлыков С.Л. "Учет конфликтов по исполнительным устройствам при планировании операций в алгоритме "List Scheduling"", Информационные технологии, №7, 2007
- Бычков И.Н., Поляков А.Е., Федоткин А.С. "Создание символов библиотеки элементов и правил назначения сигналов их выводам в маршруте преоктирования печатных плат", Информационные технологии, №7, 2007
- Бычков И.Н. «Учет динамически рассеиваемой мощности при технологическом покрытии», Информационные технологии, №5, 2007
- Галазин А.Б., Грабежной А.В. «Эффективное взаимодействие микропроцессора и подсистемы памяти с использованием асинхронной предварительной подкачки данных», Информационные технологии, №5, 2007
- Волконский В.Ю., Гимпельсон В.Д. "Метолы определения порогов активизации динамического оптимизирующего транслятора", Информационные технологии, №4, 2007 (с. 32-41)
- 2006 год -
- С.Л.Шлыков "Использование приоритетов планирования операций в алгоритме "List Scheduling"", Информационные технологии, №5, 2006.
- Ю.В.Баскаков "О выборе метрик при организации контроля деградации показателей производительности компиляторов на этапе разработки", Информационные технологии, №5, 2006.
- 2005 год -
- В.М.Фельдман "Вычислительные комплексы "Эльбрус-90 микро", Информационные технологии и вычислительные системы, №1, 2005
- Ю.В.Баскаков, В.Ю.Волконский, А.В.Грабежной «Оценка влияния модификаций компилятора на быстродействие целевого кода» Информационные технологии и вычислительные системы, №3, 2005
- А.А.Иванов, Н.Ю.Преснов "Технология динамического сравнения трасс для отладки систем двоичной трансляции", Информационные технологии, №2, 2005,
- А.Ю.Дроздов, В.Е.Владиславлев "Межпроцедурный анализ указателей", Информационные технологии, №2, 2005 (Приложение),
- А.Ю.Дроздов, А.Г.Сыркин "Методы контекстного межпроцедурного распространения свойств значений переменных программы", Информационные технологии, №2, 2005 (Приложение),
- А.Ю.Дроздов, О.М.Тютюник, В.В.Шилов "Эффективная реализация графа потока зависимостей", Информационные технологии, №2, 2005 (Приложение),
- А.Ю.Дроздов, С.В.Новиков, В.В.Шилов "Эффективный алгоритм преобразования потока управления в поток данных", Информационные технологии, №2, 2005 (Приложение),
- Хартиков Д.М. "Эффективный способ мандатного управления доступом для сетей TCP/IP в ОС Unix", Информационные технологии, №3, 2005,
- А.Ю.Дроздов, С.В.Новиков "Эффективный алгоритм построения формы статического единственного присваивания", Информационные технологии, №3, 2005,
- Д.М.Хартиков "Особенности функционирования некоторых приложений при мандатном управлении доступом в ОС Unix", Информационные технологии, №4, 2005,
- О.В.Венгер, А.В.Жмурин, Д.А.Рыбин "Изменение маршрута проектирования БИС при переходе к нанотехнологиям", Информационные технологии, №5, 2005, (Приложение),
- О.В.Венгер, А.В.Жмурин, В.В.Лысый, Д.А.Рыбин, Н.В. Рыженко, А.А.Сорокин "Маршрут физического проектирования СБИС", Информационные технологии, №5, 2005 (Приложение),
- Д.А. Рыбин "Сравнение различных подходов к глобальному размещению стандартных элементов, основанному на разбиении", Информационные технологии, №5, 2005 (Приложение),
- А.Ю.Дроздов, А.Е.Кирнасов "Анализ предикатных выражений и его использование в оптимизирующих компиляторах для архитектур с явно выраженным параллелизмом", Информационные технологии, №7, 2005,
- А.И.Грушин "Аппаратная реализация стандарта на двоичную арифметику с плавающей запятой в быстродействующем устройстве сложения", Информационные технологии, №10 (Приложение)
- 2004 год -
- В.Ю.Волконский "Оптимизирующие компиляторы для архитектуры с явным параллелизмом команд и аппаратной поддержкой двоичной совместимости", Информационные технологии и вычислительные системы, №3, 2004,
- А.Ю.Дроздов, Р.М.Корнев, А.С.Боханко "Индексный анализ зависимостей по данным", Информационные технологии и вычислительные системы, №3, 2004,
- П.С.Василец, Д.М.Масленников, О.С.Драгошанский "Оптимизация обработки вещественного контекста в двоично-оптимизирующей системе", Информационные технологии и вычислительные системы, №3, 2004,
- А.Ю.Дроздов, А.М.Степаненков "Технология оптимизации циклов для архитектур с аппаратной поддержкой конвейеризации", Информационные технологии и вычислительные системы, №3, 2004,
- В.Ю.Волконский, А.Ю.Дроздов, Е.В.Ровинский "Метод использования мелкоформатных векторных операций в оптимизирующем компиляторе", Информационные технологии и вычислительные системы, №3, 2004,
- Ю.В.Баскаков, В.Ю.Волконский, А.В.Грабежной, М.И.Нейман-заде, Л.Г.Тарасенко"Поддержка процесса повышения производительности компиляторов", Информационные технологии и вычислительные системы, №3, 2004,
- А.Ю.Дроздов, А.М.Степаненков "Управляемые пакеты оптимизаций", Информационные технологии и вычислительные системы, №3, 2004,
- В.Ю.Волконский, В.Д.Гимпельсон, Д.М.Масленников "Быстрый алгоритм минимизации высоты графа зависимостей", Информационные технологии и вычислительные системы, №3, 2004,
- А.А.Лаврешников, Р.Ю.Рогов, Л.Г.Тарасенко "Система поддержки процесса разработки и выпуска версий программного комплекса", Информационные технологии и вычислительные системы, №3, 2004,
- В.К.Беляев, С.В.Забелин "Абстрактный пользовательский интерфейс в Java 2 Platform, Micro Edition: определение, задачи, принципы работы", Информационные технологии, №3, 2004,
- Грушин А.И. "Алгоритм выбора минимальной и максимальной величины", Информационные технологии, №7, 2004,
- Афремов П.Н., Беляев В.К., Мухин И.А. "Абстрактный пользовательский интерфейс в Java 2 Platform, Micro Edition: библиотека и ее поддержка", Информационные технологии, №7, 2004,
- Буров А.С. "Аппаратная поддержка защищенных вычислений и мультизадачность при асинхронной загрузке массивов", Информационные технологии, №12, 2004,
- А.Ю.Дроздов, А.С.Боханко "Дерево значений: новая структура данных, объединяющая информацию о потоке управления и доминировании", Информационные технологии, №12, 2004
Статьи в журналах, не вошедших в «список ВАК»
- А.Ю.Дроздов, А.В.Кан «Анализ “Межпроцедурная нумерация значений”», Компьютеры в учебном процессе, №6, 2005
- А.Ю.Дроздов, С.В.Новиков «Исследование методов преобразования программы в предикатную форму для архитектур с явно выраженной параллельностью», Компьютеры в учебном процессе, №5, 2005
- Дроздов А.Ю., Степаненков А.М. «Методы комбинирования алгоритмов анализа и оптимизации в современных оптимизирующих компиляторах», Компьютеры в учебном процессе, №11, 2004
Сборник "Высокопроизводительные вычислительные системы и микропроцессоры" ИМВС РАН
- 2006 год -
Выпуск 9
- А.В. Грабежной, А.А. Калякин, М.И. Нейман-заде, Е.В. Ступаченко, Л.Г. Тарасенко
"Оценка быстродействия процессора Е3М" - И.А. Петров
"Сохранение и восстановление операционного окружения исходной платформы (контрольной точки) в ВК 'Эльбрус-3М'" - И.В. Бескоровайный
"Динамическое предсказание переходов с использованием расширенной глобальной истории" - Д.А. Максименков
"Метод создания самопроверяющих тестов для систем бинарной компиляции" - В.Д. Гимпельсон
"Статистически оптимальное время начала оптимизаций в динамическом двоично-оптимизирующем комплексе" - А.Н.Филиппов, С.Л.Шлыков
"Удаление частичных избыточностей" - А.Б. Галазин
"Оптимизация участков кода с малым количеством исполнений"
- 2005 год -
Выпуск 8
- Е.Ю. Архангельская, Ю.В. Баскаков, А.В. Н.Н. Серебряная, Л.Г. Тарасенко
"Принципы построения тестов для исследования оптимизационных возможностей компиляторов для архитектур с явной параллельностью", - Ю.В. Баскаков
"Об организации контроля деградаций показателей производительности компилятора на этапе разработки", - В.Ю. Волконский, А.В. Ермолицкий, Е.В. Ровинский
"Развитие метода векторизации циклов при помощи оптимизирующего компилятора", - А.А. Рыбаков
"Преобразование, выполняемые оптимизирующим компилятором для повышения эффективности работы с системой памяти", - А.С. Боханко, А.Ю. Дроздов, С.В. Новиков, С.Л. Шлыков
"Распределение регистров методом раскраски графа несовместимости для VLIW- архитектур",
А.С. Боханко, А.Ю. Дроздов, С.В. Новиков, А.Б. Галазин
"Глобальный граф потока данных и его роль в проведении оптимизирующих преобразований программ",
Публикации в трудах научных конференций
- 2013 год -
Труды 56-й научной конференции МФТИ
Секция высокопроизводительных вычислительных систем
- Д.В.Знаменский Варианты реализации аппаратной поддержки виртуализации архитектуры Эльбрус
- К.В.Шабанов, М.Р.Абдуразаков Устройство передачи управления с использованием предсказания переходов для микропроцессоров с архитектурой Эльбрус
- А.В.Колотов Подготовка маршрута физического проектирования СБИС на примере подблока контроллера периферийных устройств
- Д.Ф.Альфонсо, М.В.Исаев Разработка схем BIST для SRAM-памяти, изготовленной по технологическим нормам 28 нм
- М.А.Горелов Аффинные преобразования в распараллеливании кодов
- П.В.Фролов, М.П.Рыжов Разработка программного комплекса для верификации процессора с помощью прототипов
- Н.Ю.Поляков Обеспечение упорядоченности выполнения DMA-операций в NUMA-системах методом отмены
- Д.А.Земляков Нелокальная оптимизация арифметических выражений
- П.В.Фролов О генерации системных тестов для подсистемы памяти микропроцессора
- Р.В.Деменко, А.С.Кожин Исследование влияния структуры коммутатора общего кэша на эффективность подсистемы памяти многоядерного микропроцессора
- О.А.Четверина Методы сравнения и выпор стратегии компиляции процедур
- П.А.Юдин Реализация индексного анализа для деревьев циклов любого вида сложности
- Ю.В.Недбайло Проблема организации межсоединений в многоядерных СнК серии Эльбрус
Доклады молодых специалистов ЗАО «МЦСТ» и ОАО «ИНЭУМ им.И.С.Брука» на Всероссийской молодежной научно-технической конференции «Прикладные научно-технические проблемы современной теории управления системами и процессами»
- И.А. Баранов «Разработка прикладных программ для вычислительных комплексов на базе отечественных микропроцессоров с архитектурой SPARC с использованием языков высокого уровня стандарта IEC 61131-3»
- А.Ю. Богданов «Организация программного интерфейса RapidIO для обмена сообщениями»
- Д.С. Горлушко «Применение асинхронного подхода к регрессионному тестированию компиляторов на сложных задачах»
- М.П. Рыжов «Система верификации, управляемая тестовым покрытием»
- Л.С. Тимин «Проверка корректности реализации механизмов встроенного самотестирования современных микропроцессоров»
- Н.А. Щербина «Применение концепции сетей межсоединений при проектировании СБИС»
- 2012 год -
55-я научная конференция МФТИ
- В.С.Буренков «Метод проверки модели для верификации протоколов когерентной памяти»
- А.П.Гребенкин «Исследование аппаратной предвыборки данных в кэш второго уровня микропроцессора»
- М.В.Исаев «Разработка внешнего когерентного протокола на базе директории для восьмиядерного микропроцессора «Эльбрус-4С+»
- А.С.Кожин, Е.С.Кожин «Особенности поддержки когерентности в подсистеме памяти с двумя точками сериализации микропроцессора «Эльбрус-4С+»
- В.Н.Куцевол, А.Н.Мешков «Модель подсистемы памяти для вычислительных комплексов на базе микропроцессора «Эльбрус-2S»
- А.Е.Козлов, Е.М.Кравцунов, А.С.Куян, С.О.Радченко «Программная поддрежка управляемого I2C прецизионного источника питания, построенного на базе микросхем ISL 22317, PCA 9536»
- А.В.Лавров «Разработка контроллера обмена между процессорным ядром и общим кэшем 3-го уровня для микропроцессора «Эльбрус-4С+»
- Ю.А.Недбайло «Оптимизация кэша справочника системы на кристалле «Эльбрус-2S»
- Д.Ю.Перов «Устройство обработки процессорных запросов в пространство ввода-вывода для микропроцессора «Эльбрус-4С+»
- М.В.Петроченков «Верификация протокола поддержки когерентности памяти процессора «Эльбрус-2S»
- Д.А.Петрыкин «Аппаратная поддержка порядка операций обращения в память в системе на кристалле «Эльбрус-2S»
- Н.Ю.Поляков «Проблема упорядоченности DMA-операций в NUMA-системах и способы ее решения»
- М.П.Рыжов «Разработка системы шаблонной генерации тестов»
- Д.В.Степнов «Оптимизация управляющего графа программ, имеющих избыточные условия вычисления»
- Л.С.Тимин «Генераторы псевдослучайных чисел, оптимизированные для опеределенной микропроцессорной архитектуры»
- Д.С.Токарев «Оптимизация временных характеристик на финальном этаме проектирования устройства с помощью сдвига синхросигнала»
- Я.А.Райзман, П.А.Юдин «Разработка базовой технологии экзопротеза с электроны муправлением».
The 12th Conference of Open Innovations Association FRUCT Oulu, Finland
VII Международная конференция «Современные информационные технологии и ИТ-образование», Московский государственный университет
- А.К.Ким, И.Н.Бычков, В.Ю.Волконский, В.В.Воробушков, Ф.А.Груздов, М.С.Михайлов, Ю.Н.Парахин, Ю.Х.Сахин, С.В.Семенихин, М.В.Слесарев, В.М.Фельдман «Архитектурная линия “Эльбрус” сегодня: микропроцессоры, вычислительные комплексы, программное обеспечение»
- Горлушко Д.С. «Особенности организации регрессионного тестирования компиляторов на вычислительных комплексах серий «Эльбрус-3М1» и «МЦСТ-R»
Доклады специалистов ЗАО «МЦСТ» и ОАО «ИНЭУМ им. И.С. Брука» на 5-й Всероссийской научно-технической конференция: «Проблемы разработки перспективных микро- и наноэлектронных систем – 2012 (МЭС-2012)»
- И.Н.Бычков «Разработка корпуса сложно-функциональной СБИС при выпуске малой серии микросхем»
- Я.Н.Мороз «Особенности проектирования систем питания высокопроизводительных микропроцессоров на этапе физического проектирования кристалла»
- М.М.Ровнягин «Использование UVM для автономной верификации цифровой аппаратуры»
- В.В.Шмелев, И.Н.Стотланд «Автономная верификация микропроцессоров на основе эталонных моделей разного уровня»
Доклады молодых специалистов ЗАО «МЦСТ» и ОАО «ИНЭУМ им. И.С. Брука» на Всероссийской молодежной научно-технической конференции «Прикладные научно-технические проблемы современной теории управления системами и процессами». Концерн радиостроения «Вега»
- И.А.Баранов «Разработка прикладных программ для вычислительных комплексов на базе отечественных микропроцессоров с архитектурой SPARC с использованием языков высокого уровня стандарта IEC 61131-3»
- А.Ю. Богданов «Организация программного интерфейса RapidIO для обмена сообщениями»
- Д.С.Горлушко «Применение асинхронного подхода к регрессионному тестированию компиляторов на сложных задачах»
- М.П.Рыжов «Ситема верификации, управляемая тестовым покрытием»
- Л.С.Тимин «Проверка корректности реализации механизмов встроенного самотестирования современных микропроцессоров»
- Н.А.Щербина «Применение концепции сетей межсоединений при проектировании СБИС»
- 2011 год -
VI Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование», МГУ, 2011
54-я научная конференция МФТИ
Секция высокопроизводительных вычислительных систем
- Я.Н.Мороз «Оптимальное планирование топологии кристалла на этапе физического проектирования»
- Н.Ю.Поляков «Расширение возможностей МП «Эльбрус» по обработке вещественных чисел»
- Ю.Н.Парахин, О.С.Севальнев «Проблемы повышения выхода годных микросхем при проектировании топологии кристаллов на базе 90 нм технологических норм»
- И.В.Белянин, П.Ю.Петраков «Разработка SATA-IO-link контроллера с поддержкой программных интерфейсов Legacy и AHCI для использования в составе вычислительных комплексов, выпускаемых ЗАО “МЦСТ”»
- М.В.Исаев «Анализ способов эффективной оптимизации внешнего протокола когерентности на базе когерентной директории»
- А.С.Кожин «Анализ методов объединения процессорных ядер на основе кэша третьего уровня»
- М.С.Михайлов «Архитектура контроллера периферийных интерфейсов»
- В.С.Буренков «Метод перебора состояний для верификации протоколов когерентности памяти»
- В.Н.Вараксин, Е.С.Кожин «Применение протокола AXI для микропроцессоров семейства “Эльбрус”»
- П.О.Зайченков «Язык программирования Eq»
- В.Н.Куцевол, А.Н.Мешков, С.В.Черных «Разработка методологии и инструментов создания потактовых программных моделей цифровых устройств»
- А.Ю.Григорьев «Аппаратная поддержка порядка обращения в память в процессоре “Эльбрус-2S”»
- Ю.А.Недбайло «Организация потоков обменов в системе на кристалле “Эльбрус-2S”»
- И.А.Медведев (ГУ НПЦ “Элвис”) «Анализ эффективности применения виртукальных каналов для маршрутизации в сети-на-кристалле»
- И.Н.Бычков «Топология и решения для перспективного сервера»
- В.С.Волин, Н.А.Щербина «Анализ потребляемой мощности СнК «МЦСТ-4R»
- А.Е.Шерстнев «Методики ускорения доступа в память в чипсетах систем на основе микропроцессора “Эльбрус-2S”»
Секция микропроцессорных технологий
- И.И.Сидоров «Использование метода импульсных защелок для снижение потребляемой мощности схемы»
- Ю.И. Терентьев «Алгоритм построения локальных деревьев синхронизации в микросхемах с большим числом потребителей»
- Ю.И.Терентьев, И.К.Ноздрин, В.С.Бровко «Построение сетей синхронизации в многоядерной СНК по технологии 65 нм»
4-я Всероссийская межвузовская научно-практическая конференция «Актуальные проблемы информатизации в науке, образовании и экономике – 2011», МИЭТ, 2011
Конференция молодых ученых и специалистов, посвященная 55-летию со дня образования НИИ автоматической аппаратуры им.В.С.Семенихина
- Аблуразаков М.Р., Черепанов С.А., Шабанов К.В. «Построение сети на кристалле для перспективных систем на основе микропроцессора “МЦСТ-4R”»
- Баратов Р.А., Гурин К.Л., Мешков А.Н. «Моделирование работы справочника «Эльбрус-2S» для подбора оптимальных параметров реализации кэша»
- Вараксин В.Н., Кожин А.С., Кожин Е.С. «Применение протокола AXI для микропроцессоров семейства “Эльбрус”»
- Знаменский Д.В. «Проблемы обработки потока запросов и поддержка когерентности на уровне банка кэш-памяти 2-го уровня системы на кристалле “ЭльбрусS”»
- Кравцунов Е.М. «Пути реализации стандарта ACPI 4.0 для многопроцессорных вычислительных комплексов на базе процессора Эльбрус-2S»
- Куцевол В.Н., Мешков А.Н. «Разработка модели межкластерного коммутатора, используемого для построения многокластерных систем на базе микропроцессора “Эльбрус-2S”»
- Рыжов М.П. «Реализция системы верификации, управляемой тестовым покрытием»
SYRCoSE (5-th Spring/Summer Young Researchers’ Colloquium), 12-13 May, 2011,
Yekaterinburg, Russia, Proceedings
XXXVIII Гагаринские чтения
Международная молодежная научная конференция
(Сборник научных трудов)
- Буренков В.С., Тимин Л.С. «Применение скан-технологии для обеспечения контролепригодности интегральных микросхем сверхвысокого уровня интеграции»
- Воронов Н.В., Савченко Р.А. «Методы оптимизации шаблонной трансляции»
- Иванов Д.С. «Удаление лишних инструкций при планировании инструкций и распределении регистров»
- Иванов С.С. «Реализация инженерного пульта в составе системы на кристалле “Эльбрус-S”»
- Кравцунов Е.М. «Оптимизация подсистемы памяти ядра ОС Linux для ВК “Эльбрус-3S” с поддержкой NUMA»
- Петров И.А. «Механизм эмуляции периферийных устройств исходной платформы в динамически-транслирующей системе»
- Шмелев В.А., Литвинов Е.И. «Функциональная верификация аппаратной реализации протокола поддержания когерентности памяти в мультипроцессорной многокластерной системе»
- Щербина Н.А. «Проблемы реализации сетевых подходов при создании СНК и NUMA-систем на их основе (на примере микропроцессора МЦСТ-4R)»
- Юрлин С.В., Бекниязова А.В. «Практика создания систем прототипирования на основе программируемой логики»
- 2010 год -
V Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование", Москва, МГУ
Сборник избранных трудов
- А.К.Ким, В.Ю.Волконский, Ф.А.Груздов, Ю.Х.Сахин, С.В.Семенихин "Защищенное исполнение программ на базе аппаратной и системной поддержки архитектуры "Эльбрус""
- Н.В.Воронов, Р.А.Савченко "Использование шаблонного транслятора в системе двоичной трансляции"
- М.Исаев "Основные тенденции в архитектуре высокопроизводительных многоядерных процессоров"
- Рыбаков А.А., Маслов М.В. "Быстрый регионный компилятор системы двоичной трансляции для архитектуры "Эльбрус"
- А.Е.Ермолицкий, С.Л.Шлыков "Автоматическая векторизация циклов со сложным управлением"
The IASTED International Conferences on Informatics 2010, USA
Parallel and Distributed Computing and Systems (PDCS 2010) L.Mukhanov, P.Ilyin
Международная научная школа «Микроэлектронные информационно-вычислительные системы», МИЭТ
Сборник докладов
- Ю.А.Недбайло «Проблема синхронизации в микропроцессорных системах и ее решение в системе “Эльбрус-2S”»
- А.Е.Шерстнев «Применение справочника для поддержки когерентности памяти в системе “Эльбрус-2S”»
Параллельные вычисления и задачи управления, РАСО-2010
Сборник трудов
Проблемы разработки перспективных микро- и наноэлектронных систем, МЭС-2010
Сборник трудов
- В.В.Воробушков «Методы обеспечения помехозащищенности питания системы на кристалле «Эльбрус-S»
- А.А.Ветошкин «System Verilog утверждения для верификации и имитационного моделирования».
53-я научная конференция МФТИ
- Исаев М.В. (студент 5-го курса) «Основные тенденции в архитектуре высокопроизводительных многоядерных процессоров» (аналитический обзор)
- Кожин А.С. (студент 5-го курса) «Аппаратная поддержка виртуализации вычислительных ресурсов» (аналитический обзор)
- Недбайло Ю.А. (выпускник) «Особенности реализации поддержки когерентных кэшей в системах на кристалле “Эльбрус-S” и “Эльбрус-2S” »
- Петров И.А. (студент 5-го курса) «Разработка кэша справочника для вычислительных комплексов на базе микропроцессора “Эльбрус-2S”»
- Петроченков М.Ф. (студент 5-го курса) «Инициализация регистров конфигурации в могокластерной системе на базе микропроцессора “Эльбрус-S”»
- Петрыкин Д.А.(студент 5-го курса) «Коммутатор когерентных запросов и ответов системы на кристалле “Эльбрус-2S”»
- Рогов А.С. (студент 5-го курса) «Адаптация буферизирующего коммутатора данных системы на кристалле»
- Рыжов М.П. (выпускник) «Система верификации модулей микропроцессора, управляемая тестовым покрытием»
- Тимин Л.С. (выпускник) «Моделирование неисправной работы встроенной памяти микропроцессора»
- Федоров А.В. (выпускник) «Разработка библиотеки нитей POSIX реального времени»
- Шерстнев А.Е. (выпускник) «Аппаратное определение трассы доступа к оперативной памяти ВК “Эльбрус-3М1”»
- 2009 год -
IV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование». Сборник избранных трудов. МГУ. факультет ВМК. 2009.
Научная сессия МИФИ-2009
Аннотации докладов. Том 3. Компьютерные системы и технологии
- В.В. Воробушков, Ю.С. Рябцев «Опыт проектирования системных панелей на базе микропроцессора “Эльбрус”»
- Р.А. Соколов, А.В. Ермолович «Фоновая компиляция в системе динамической двоичной трансляции»
Международная научная конференция, посвященная 80-летию со дня рождения академика В.А.Мельникова. Сборник докладов
- В.Д.Гимпельсон "Статический метод определения времени начала оптимизаций в динамическом оптимизирующем оптимизаторе"
- А.Н.Мешков "Реализация программного комплекса, моделирующего вычислительные комплексы с архитектурой SPARC V9"
- Д.А.Федотов "Разработка планировщика задач реального масштаба времени для ОС UNIX"
- А.И.Зайцев, А.Е.Шерстнев "Построение многопроцессорного NUMA-сервера на базе процессорного модуля "Эльбрус-3S"
52-я научная конференция МФТИ
На секции высокопроизводительных вычислительных систем (факультет радиотехники и кибернетики, ФРТК) были представлены доклады:
- В.А.Битнер (студ. МФТИ 5к., инж-прогр.) "Система интерпретации промежуточного представления программы в оптимизирующем компиляторе"
- А.Ю.Богданов (студ. МГТУ 5к., инж.) "Комплексная отладка контроллера периферийных интерфейсов"
- В.А.Воробушков (асп. МФТИ, н. с.) Ю.С.Рябцев (вып. МФТИ, глав. специалист). "Использование развязывающих конденсаторов на подложке микропроцессора "Эльбрус-S""
- М.В.Исаев (студ. МФТИ 5к., инж) "Объединение двух процессорных ядер с архитектурой "Эльбрус" для создания двухядерной системы на кристалле "Эльбрус-2S""
- А.С.Кожин (студ. МФТИ 5к., инж.) "Контроллер памяти DDR2 SDRAM и его система синхронизации в составе системы на кристалле "Эльбрус-S2"
- А.Н.Мешков (н.с.) "Разработка модели вычислительного комплекса "Эльбрус-S"
- И.В.Москаленко (студ. МАТИ 6к., инж-прогр.)
- Н.Ю.Поляков (студ. МФТИ 5к., инж.), П.А.Смольянов (студ. МФТИ, 5к., инж.) "Разработка контроллера встроенного интерфейса AXI в составе системы на кричталле"
- Г.М.Расулов (асп. МИЭТ, м.н.с.) "Конструктивно-технологические задачи создания прототипа двухядерного микропроцессора с архитектурой "Эльбрус""
- М.П.Рыжов (студ. МФТИ 6к., инж-прогр) "Создание генератора тестов с самомодифицирующимися кодами для многопроцессорной системы на базе микропроцессора "Эльбрус-S""
- А.Е.Шерстнев (вып.МФТИ, м.н.с.,) "Применение программируемых логических интегральных схем для решения задачи автоматической генерации тестовых кодов"
- Н.А.Щербина (студ. МФТИ 6к., инж) "Разработка системного коммутатора для микропроцессора МЦСТ-4R"
Международная научная конференция "Гагаринские чтения".
Секция "Информационные технологии" (Федеральное агентство по образованию)
- Битнер В.А. «Интерпретация промежуточного представления исходной программы в оптимизирующем компиляторе на основе трансляции представления в программный код языка С»
- Мешков А.Н. «Реализация программного комплекса, моделирующего вычислительные комплексы с архитектурой SPARC v9»
- Федоткин А.С. «Трассировка коммутационной платы корпуса микросхемы в САПР для корпусирования технологии Flip-Chip»
- Федотов Д.А. «Разработка планировщика задач реального масштаба времени для ОС Unix»
- Филиппов А.Н. «Условная подстановка тела процедуры в место вызова на основе профильной информации»
- Шерстнев А.Е. «Разработка межкластерного коммутатора для организации многопроцессорного вычислительного комплекса на базе процессора «Эльбрус-3S»
- 2008 год -
ОИЯИ – Объединенный институт ядерных исследований
III Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование», 6-9 декабря 2008 года, Москва, МГУ им.М.В.Ломоносова
А.К.Ким, В.Ю.Волконский, Ю.Х.Сахин, С.В.Семенихин, В.М.Фельдман, Ф.А.Груздов, Ю.Н.Парахин, М.С.Михайлов М.В.Слесарев «Микропроцессорные вычислительные комплексы с архитектурой «Эльбрус» и их развитие»
Четвертая Международная конференция «Параллельные вычисления и задачи управления» PACO 2008, 27 – 29 декабря 2008 года, Институт проблем управления РАН
В.Ю.Волконский, А.К.Ким «Развитие идей параллелизма в архитектуре вычислительных комплексов серии «Эльбрус»
- 2007 год -
Материалы 14-й Международной конференции студентов, аспирантов и молодых ученых "Ломоносов" Москва, МГУ
Международная научная конференция "Гагаринские чтения".
Секция "Информационные технологии" (Федеральное агентство по образованию)
- Бычков И.Н. "Автоматизация расчета временных диаграмм для синхронных цифровых схем
- Бычков И.Н. "Методология корпусирования интегральных схем с применением технологии проводного монтажа"
- Воронцов М.В., Гондарь А.В., Диденко В.Б., Кондрашин А.А., Петров А.В. "Высокоскоростной межмашинный внутриситемный интерфейс RDMA"
- Галазин А.Б. "Методы предварительной подкачки в микропроцессоре "Эльбрус".
- Гимпельсон В.Д. "Оптимизация циклов методом наложения итераций в динамическом трансляторе для архитектуры "Эльбрус"
- Грабежной А.В. "Оптимизация алгоритма быстрого преобразования Фурье для микропроцессора "Эльбрус"
- Долотов П.С. "Проблема выбора оптимальной схемы усилителя чтения при разработке блока статического ОЗУ"
- Зуев А.Л. "Разработка и оптимизация времязадающих цепей статических синхронных ОЗУ"
- Кинсбурский С.А. "Подход к реализации распределенной виртуальной файловой системы для многомашинных крмплексов"
- Костенко В.О. "Принципы аппаратной организации суперскалярного микропроцессора, эффективно обрабатывающего неудачно предсказанные переходы"
- Петров И.А. "Механизм отложенных записей в память для динамической двоично-транслирующей системы"
- Соколов Р.А. "Развитие технологии динамического сравнения трасс"
- Филиппов А.Н. "Метод нумерации значений и его использование в оптимизирующих программах"
Научные конференции Московского физико-технического института
- Федотов Д.А. (студент 6-го курса базовой кафедры) Оптимизация ОС Solaris для выполнения задач реального времени
- Иванов Д.С. (студент 6-го курса базовой кафедры) Особенности распределения регистров при планировании команд для
архитектур с широким командным словом - Максименков Д.А. (выпускник базовой кафедры) Механизм создания самопроверяющихся тестов для архитектуры IA-32 с произвольным набором инструкций
- Рогов Р.Ю. Некоторые вопросы организации процесса выпуска надежного программного обеспечения
- Долотов П.С. Методы функциональной верификации сложных заказных блоков
- Зуев А.Л. (преподаватель базовой кафедры) Ячейка памяти с управлением по питанию
- Желнин С.В. (студент 5-го курса базовой кафедры) Программный интерфейс на основе средств языка описания аппаратуры
Verilog для параллельного моделирования RTL-описаний вычислительных систем - Белякова О.И. (студентка 5-го курса базовой кафедры) Устройство выборки цифр частного
- Федоров В.В. (студент 5-го курса базовой кафедры) Проектирование устройства предсказания переходов для суперскалярного RISC микропроцессора
- Воробушков В.В. (аспирант базовой кафедры) Моделирование целостности земли и питания в быстродействующих цифровых системах
- Расулов Г.М. (студент 6-го курса МИЭТ) Алгоритм назначения выводов кристалла выводам матричного корпуса
- Лобанов И.Н. (студент 6-го курса базовой кафедры) Проблемы создания и редактирования выводов матричного корпуса
- 2006 год -
Научные конференции Московского физико-технического института
- Костенко В.О. (аспирант)
«Переименование регистров в суперскалярном микропроцессоре архитектуры SPARC» - Шерстнев А.Е. (6-й курс)
«Аппаратная оптимизация доступа к ОЗУ в высокопроизводительных вычислительных системах» - Долотов П.С., Зуев А.Л. (аспиранты)
«Устройство и принципы работы регистрового файла микропроцессора «Эльбрус» - Воронцов М.А. (аспирант), Кондрашин А.А. (5-й курс)
«Высокоскоростной межмашинный/внутрисистемный интерфейс RDMA» - Федоткин А.С. (5-й курс), Поляков А.Е. (ассистент)
«Автоматизация расчета временных диаграмм», - Лобанов И.Н. (5-й курс)
«Создание библиотеки элементов в маршруте проектирования печатных плат», - Бычков И.Н. (аспирант)
«Автоматизация этапа корпусирования при проектировании ИС - Николаев И.А. (5-й курс), Шмаев В.Б. (6-й курс), Воробушков В.В. (6-й курс)
«Проектирование печатных плат вычислительных систем на основе микропроцессора «Эльбрус» - Соколов Р.А. (6-й курс)
«Развитие технологии динамического сравнения трасс» - Тодер Е.Л. (6-й курс)
«Реализация обработки исключительных ситуаций, гарантирующих межмодульную защиту» - Иванов Д.С. (6-й курс)
«Распределение регистров при планировании операций для архитектуры Эльбрус-90 микро» - Ермолицкий А.В. (6-й курс)
«Развитие метода автоматической векторизации циклов оптимизирующим компилятором» - Волков П.Н. (6-й курс)
«Покомпонентное UNIT-тестирование оптимизирующего бинарного компилятора, базирующегося на структурном анализе» - Выступление сотрудника ЗАО "МЦСТ", аспиранта МФТИ, Бычкова И.Н. в финале Всероссийского конкурса инновационных проектов студентов и аспирантов с докладом"Система управления и информационной поддержки маршрута проектирования электронной аппаратуры".
Международная научная конференция "Гагаринские чтения".
Секция "Информационные технологии"
(Федеральное агентство по образованию)
- Кинсбурский С.А. "Распределенная виртуальная файловачя система для многомашинных комплексов",
- Муслинов Р.Г. "Точное вычисление областей жизни переменных по графу потока данных",
- Петров И.А. "Системная поддержка механизмов отладки динамической двоично-транслирующей системы",
- Семенов В.С. "Проверка целостности данных в микропроцессорных системах на кристалле",
- Соколов Р.А. "Развитие механизмов долговременного хранения двоично-транслирующих кодов",
- Степанов П.А. "Динамический индексный анализ",
- Филиппов А.Н. "Вычисление диапазонов бит для арифметических и логических выражений",
- Чудновец А.А. "Использование вращающихся регистров в двоичном оптимизирующем компиляторе",
- Щербаков Е.С. "Разработка эталонной потактовой модели микропроцессорной системы "Эльбрус-3М" на базе функциональной модели".
- 2005 год -
Международная научная конференция "Гагаринские чтения".
Секция "Информационные технологии" (Федеральное агентство по образованию)
- Боханко А.С. "Новый подход к учету влияния предикатности при анализе времени жизни переменных",
- Варакса А.Н. "Объектно-ориентированная модель вычислений с обменом сообщениями как основа разработки архитектуры перспективной высокопроизводительной вычислительной системы",
- Василец П.С. "Метод повышения производительности вещественных и мультимедийных кодов в процессе двоичной трансляции с IA32 архитектуры на архитектуру с явно выраженным параллелизмом",
- Владиславлев В.Е. "Развитие методов межпроцедурного анализа указателей",
- Гайдюков А.А., Мальшин А.В., Поставной А.А. "Генератор, управляемый цифровым кодом для полностью цифровой системы ФАПЧ",
- Диденко А.Б. "Специализированные средства отладки и тестирования при разработке сложных вычислительных комплексов",
- Дмитриев Н.С. "Использование генератора направленных тестов для верификации микропроцессора с EPIC-архитектурой",
- Новиков С.В. "Развитие методов глобального планирования программ, используемых в современных оптимизирующих компиляторах для архитектур с явно выраженным параллелизмом на уровне команд",
- Ровинский Е.В. "Метод векторизации циклов в оптимизирующем компиляторе",
- Сыркин А.Г. "Методы копирования процедур, используемые в современных оптимизирующих компиляторах".