Автоматизированная разработка генераторов тестовых программ для микропроцессоров на примере MIPS | CEE-SECR 2016 Автоматизированная разработка генераторов тестовых программ для микропроцессоров на примере MIPS – CEE-SECR 2016
2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005

Доклады

Автоматизированная разработка генераторов тестовых программ для микропроцессоров на примере MIPS

Мы представляем технологию создания генераторов тестовых программ для микропроцессоров и делимся своим 10-летним опытом в этой области. Технология описывается на примере MIPS, однако применима к широкому классу компьютерных архитектур. Полагаем, что наш опыт интересен людям из индустрии разработки микропроцессоров, а также системным программистам.

Александр Камкин

Александр Камкин

Ведущий научный сотрудник, ИСП РАН

Выпускник ВМиК МГУ (2003), к.ф.-м.н. (ИСП РАН, 2009). В настоящее время в.н.с. ИСП РАН (специализация – верификация микропроцессоров), руководитель проекта MicroTESK.

Comment

Your email address will not be published. Required fields are marked *

*

Gold

Технологический Центр Дойче БанкаJetBrainsSAPFirst Line Software

Silver

Dell Technologies

Embedded

Аурига

Sponsors

T-SystemsЛаборатория Касперского

Генеральные партнёры

РУССОФТАП КИТSECON

При содействии

Association for Computing MachineryACM Special Interest Group on Software Engineering

Технические партнёры

Хостинг-ЦентрVirtuozzoСофтИнвентСтудия „7пап“Print SalonГруппа МPrezent.ru

При поддержке

РАЭК

Организаторы

Software Russiai-Help

Конференция окончена
Ждём вас на SECR 2017!

Размещение в гостинице, транспортное и экскурсионное обслуживание по специальным ценам.