16 февраля - семинар "Технологии разработки и анализа программ"

5 views
Skip to first unread message

Eugene Kornykhin

unread,
Feb 7, 2017, 10:45:37 AM2/7/17
to Семинар <<Технологии разработки и анализа программ>>
Доброго времени суток!

Продолжается ежемесячный научно-практический семинар
"Технологии разработки и анализа программ".

На этот раз Вы можете послушать о верификации протоколов когерентности
памяти при разработке многоядерных микропроцессоров. Эта тема
одновременно и важная, и сложная (как и большинство задач
верификации). Докладчик - Буренков Владимир Сергеевич - расскажет не
только о чужих успехах в этой области, но, что не менее важно, о своих
успехах в этой задаче, как теоретических, так и практических в
применении к верификации процессоров серии Эльбрус. Владимир Сергеевич
окончил МГТУ имени Н.Э. Баумана и в данный момент является научным
сотрудником АО "МЦСТ".

Страница доклада на сайте семинара:
http://sdat.ispras.ru/?p=715.

Приходите в Институт системного программирования имени В.П. Иванникова
(ул. Александра Солженицына, дом 25) 16 февраля в 17:00, аудитория 110.
Вход в институт - из дворика.

Будем рады, если Вы расскажете о нашем семинаре своим коллегам,
поделитесь с ними или даже распечатаете постер семинара - он
прикреплен к этому письму.

До встречи!

С уважением,
Евгений Корныхин
poster.2017-02-16.pdf
Reply all
Reply to author
Forward
0 new messages