Лекция
Лекция 9. Безопасность и надёжность виртуальных машин
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Лекция 7. Реализация исполняющей компоненты виртуальной машины на современных компьютерах
Интерпретация
Компиляция: статическая (AOT), динамическая (JIT),...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Лекция 11. Примеры открытых реализаций виртуальных машин
Форт-машина
(например kforth) Hotspot Java Virtual Machine – виртуальная машина для языка Java...
Лекция 12. Заключение
Проблемы существующих ВМ
Необходимость в новых виртуальных машинах
Новые направления в виртуализации
Лекция 8. Стандартизированный контекст исполнения
Лекция 1. Введение
Определения и общие понятия
Виртуализация как парадигма
Обзор курса
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 2. Управление вычислительными ресурсами:
Ресурсы как инварианты вычислительной системы
Ресурсно-агностическое программирование
Высокоуровневое...
Страница лекции на сайте Computer Science клуба
Предмет и история криптографии. Криптографические атаки. Криптографические примитивы: хеш–функции, протоколы с секретным и открытым ключом.
Рекурсивный спуск для бесконтекстных грамматик, его обобщение для конъюнктивных и булевых грамматик. Достижение линейного времени выполнения. Понятие об ...
Курс о фундаментальных основах криптографии.
Теорема Разборова о нижней оценке на сложность монотонных схем.
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике....
Метод Форда-Фалкерсона, алгоритм проталкивания предпотока, алгоритм «поднять-в-начало».
Вероятностные алгоритмы
Страница лекции на сайте Computer Science клуба
Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Страница лекции на сайте Computer Science клуба
Содержание лекции
Криптография с закрытым ключом
Поточные шифры: линейные сдвиговые регистры, линейная сложность функций, нелинейные сдвиговые регистры. Блочные шифры: ECB, CBC...
FPT-алгоритмы
Страница лекции на сайте Computer Science клуба
Курс о фундаментальных основах криптографии.
Нижние оценки для схем ограниченной глубины.
Арифметичность вычислимых функций. Арифметическая иерархия. m–сведения. Универсальные множества. Теоремы Тарского и Геделя.
Вероятностное округление для задачи о потоке в сетях с несколькими веществами.
Приближенные алгоритмы
Страница лекции на сайте Computer Science клуба
Страницы
Конференция
Страница курса на сайте Computer Science клуба.
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Java-конференция Joker 2015 University Day
Санкт-Петербург, 18.10.2015
18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of...
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Курс лекций
Теория игр занимается математическим моделированием конфликтных ситуаций, таких как конкуренция в экономике, политические конфликты, проблемы, связанные с...
Помимо стандартных результатов, которые обычно упоминаются в курсах по комбинаторной оптимизации, будут рассказаны не столь хорошо известные, но красивые...
В рамках курса рассказывается об одном из основных направлений теории сложности вычислений — схемной сложности булевых функций.
Программа занятий по функциональному программированию включает в себя лекции и решение задач на программирование в функциональном стиле на языке Haskell....