Лекция
Cинтаксический анализ. Нисходящий синтаксический анализ
Порождающие грамматики, иерархия Хомского. Магазинные автоматы, предпросмотр, LL(k)-языки и грамматики...
NP-полные задачи
Задачи поиска, сведения, доказательство NP-полноты задач выполнимости, 3-выполнимости, задачи о независимом множестве, задачи о вершинном...
Точные алгоритмы для задачи коммивояжёра и задачи о гамильтоновом цикле
Метод динамического программирования (время: O∗(2n), память: O∗(2n)).
Метод включений-...
Десятая проблема Гильберта. Диофантовы уравнения. Перечислимые множества. Гипотеза Дейвиса
Страница лекции на сайте Computer Science Club
Компиляция и интерпретация
Смешанные вычисления. Проекции Футамуры-Ершова. Техника раскрутки (bootstrapping). Принципы организации компилятора. Просмотры,...
Введение
Обзор курса, мотивация изучения приближённых и точных экспоненциальных алгоритмов.
Страница лекции на сайте Computer Science Club
Алгоритм Тарского
Страница лекции на сайте Computer Science Club
Алгоритм Тарского (продолжение)
Страница лекции на сайте Computer Science Club
Машинное обучение: начало
Постановка задачи. Виды обучения. “Дедуктивные” и “индуктивные” методы обучения.
Страница лекции на сайте Computer Science Center
Один эксперимент
Векторизация, факторы, интерпретация решений.
Страница лекции на сайте Computer Science Center
Языки программирования, синтаксис, семантика, прагматика
Введение в архитектуру и технологию современных виртуальных машин.
Введение в архитектуру и технологию современных виртуальных машин.
Введение в архитектуру и технологию современных виртуальных машин.
Введение в архитектуру и технологию современных виртуальных машин.
Британскими учёными давно выяснено, что при попытке разработать модулярный софт повышается шанс заработать геморрой. В этом докладе мы пристально рассмотрим...
Нельзя просто так взять, и начать раздавать бинарники! На этом обожглись, например, GitHub и Google, а они умеют писать код. В чем же дело? А в том, что...
Чёрная пятница оказалась воистину чёрной для aмериканского интернет-универмагаKohl’s. Все сервера накрылись медным тазом именно в день рождественских распродаж.
Вы замучались работать с Ant’ом? Вас утомило отсутствие гибкости у Maven’a? Вам бы хотелось пользоваться наиболее современным и простым фреймворком для...
По ходу доклада мы последовательно рассмотрим несколько весьма непростых ситуаций, все глубже и глубже вникая в область оптимизации запросов. Для этого нам...
По ходу доклада мы последовательно рассмотрим несколько весьма непростых ситуаций, все глубже и глубже вникая в область оптимизации запросов. Для этого нам...
В докладе рассказывается о фреймворках jmh и jcstress.
В докладе рассказывается о текущем состоянии тестовой базы OpenJDK Test Base.
В докладе рассказывается о последних изменениях в OpenJDK.
В докладе рассказывается о тестировании в OpenJDK.
Начало конференции OpenJDK TestFest Russia 2013.
Мастер-класс посвящён отработке навыков адаптивного управления проектом на примере нескольких кейсов.
Перед нами выступит Georges Saab, Vice President of Development, Java Platform. Начав свой путь в Java Platform в далёком 1996 году как инженер проектов AWT и...
Алексей Шипилёв расскажет, что же такое ForkJoinPool, и зачем нам вообще нужен Fork/Join. Его технический доклад будет посвящён тому, что делает реализацию FJP...
Представьте ненадолго, что сейчас Вы работаете над сложной высоконагруженной системой. При этом проект настолько важен, что команда QA, техлиды и архитекторы ...