BrainStorm. Автоматизированная оптимизация аппаратно-программных архитектур | Лекториум

Опубликовано 24 июля 2013, 20:18

BrainStorm. Автоматизированная оптимизация аппаратно-программных архитектур , Курс: Computer Science семинар (Весна 2011), Лектор: Андрей Бреслав, Организаторы: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13193

В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен применению технологий на основе SMT-солверов и машинного обучения к моделированию/автоматической разработке аппаратно-программных co-designs. В ходе стажировки моделировались планировщики ОС реального времени, протоколы передачи данных, драйверы и т.д., запускались полученные модели и собиралась статистика о том, насколько хорошо/плохо та или иная модель работает. Используя эту статистику, алгоритм машинного обучения определял, какие еще модели стоит попробовать. В результате удавалось среди огромного множества вариантов находить очень хорошие архитектуры, и, что самое интересное, автоматически определять, что именно делает их хорошими.

Страница лекции на сайте Computer Science клуба: compsciclub.ru/node/1017

Другие курсы на эту тему доступны тут lektorium.tv/medialibrary
Подписывайтесь на канал: youtube.com/channel/UCxAGkrJYN...
Следите за новостями:
vk.com/openlektorium
facebook.com/groups/Lektorium