filmov
tv
BrainStorm. Автоматизированная оптимизация аппаратно-программных архитектур | Лекториум
Показать описание
BrainStorm. Автоматизированная оптимизация аппаратно-программных архитектур , Курс: Computer Science семинар (Весна 2011), Лектор: Андрей Бреслав, Организаторы: Computer Science клуб при ПОМИ РАН
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен применению технологий на основе SMT-солверов и машинного обучения к моделированию/автоматической разработке аппаратно-программных co-designs. В ходе стажировки моделировались планировщики ОС реального времени, протоколы передачи данных, драйверы и т.д., запускались полученные модели и собиралась статистика о том, насколько хорошо/плохо та или иная модель работает. Используя эту статистику, алгоритм машинного обучения определял, какие еще модели стоит попробовать. В результате удавалось среди огромного множества вариантов находить очень хорошие архитектуры, и, что самое интересное, автоматически определять, что именно делает их хорошими.
Следите за новостями:
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен применению технологий на основе SMT-солверов и машинного обучения к моделированию/автоматической разработке аппаратно-программных co-designs. В ходе стажировки моделировались планировщики ОС реального времени, протоколы передачи данных, драйверы и т.д., запускались полученные модели и собиралась статистика о том, насколько хорошо/плохо та или иная модель работает. Используя эту статистику, алгоритм машинного обучения определял, какие еще модели стоит попробовать. В результате удавалось среди огромного множества вариантов находить очень хорошие архитектуры, и, что самое интересное, автоматически определять, что именно делает их хорошими.
Следите за новостями:
1:38:23
0:13:32
0:01:39
0:00:56
0:50:40
1:00:22
0:44:57
0:24:57
1:31:52
0:05:33
0:20:57
0:03:29
0:07:51
1:27:27
0:04:53
0:04:24
0:06:30