Доброго времени суток!
Продолжается ежемесячный научно-практический семинар
"Технологии разработки и анализа программ".
На этот раз Вы можете послушать о верификации протоколов когерентности
памяти при разработке многоядерных микропроцессоров. Эта тема
одновременно и важная, и сложная (как и большинство задач
верификации). Докладчик - Буренков Владимир Сергеевич - расскажет не
только о чужих успехах в этой области, но, что не менее важно, о своих
успехах в этой задаче, как теоретических, так и практических в
применении к верификации процессоров серии Эльбрус. Владимир Сергеевич
окончил МГТУ имени Н.Э. Баумана и в данный момент является научным
сотрудником АО "МЦСТ".
Страница доклада на сайте семинара:
http://sdat.ispras.ru/?p=715.
Приходите в Институт системного программирования имени В.П. Иванникова
(ул. Александра Солженицына, дом 25) 16 февраля в 17:00, аудитория 110.
Вход в институт - из дворика.
Будем рады, если Вы расскажете о нашем семинаре своим коллегам,
поделитесь с ними или даже распечатаете постер семинара - он
прикреплен к этому письму.
До встречи!
С уважением,
Евгений Корныхин