Лекция
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 10. Производительность виртуальных машин
Ленивая динамическая оптимизация
Эффективная организация основных структур данных
Динамическая кодогенерация...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 3. Обратная совместимость и выбор стратегии реализации оной:
Соображения сложности
Скорость программирования vs. скорость исполнения, требования...
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Лекция 4. Концепция виртуальной машины:
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Лекция 6. Менеджеры памяти:
Лекция 5. Виртуализация набора инструкций реальных компьютеров:
Все машины Тьюринга равны, но…
Требования производительности и безопасности (критерии Попека-...
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Лекция 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. Введение
Определения и общие понятия
Виртуализация как парадигма
Обзор курса
Курс о фундаментальных основах криптографии.
SAT-based software model checking.
Содержание лекции
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике....
Метод условных вероятностей, метод малых пространств событий.
NP-полные задачи
Страница лекции на сайте Computer Science клуба
Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Страница лекции на сайте Computer Science клуба
Предмет и история криптографии. Криптографические атаки. Криптографические примитивы: хеш–функции, протоколы с секретным и открытым ключом.
Рекурсивный спуск для бесконтекстных грамматик, его обобщение для конъюнктивных и булевых грамматик. Достижение линейного времени выполнения. Понятие об ...
Курс о фундаментальных основах криптографии.