BrainStorm. Автоматизированная оптимизация аппаратно-программных архитектур
В докладе будут изложены результаты, полученные в ходе стажировки в Microsoft Research летом/осенью 2010 года под руководством Итана Джексона. Доклад посвящен применению технологий на основе SMT-солверов и машинного обучения к моделированию/автоматической разработке аппаратно-программных co-designs. В ходе стажировки моделировались планировщики ОС реального времени, протоколы передачи данных, драйверы и т.д., запускались полученные модели и собиралась статистика о том, насколько хорошо/плохо та или иная модель работает. Используя эту статистику, алгоритм машинного обучения определял, какие еще модели стоит попробовать. В результате удавалось среди огромного множества вариантов находить очень хорошие архитектуры, и, что самое интересное, автоматически определять, что именно делает их хорошими.
Страница лекции на сайте Computer Science Club
АвторАндрей Бреслав
ОрганизаторComputer Science клуб при ПОМИ РАН
Лекции курса
4Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный